Related papers: Parametricity, automorphisms of the universe, and …
We give a type system in which the universe of types is closed by reflection into it of the logical relation defined externally by induction on the structure of types. This contribution is placed in the context of the search for a natural,…
The propositional logic is generalized on the real numbers field. the logical function with all properties of the classical probability function is obtained. The logical analog of the Bernoulli independent tests scheme is constructed. The…
Although cosmic expansion at very small distances is usually dismissed as entirely inconsequential, it appears that these extraordinarily small effects may in fact have a real and significant influence on our world. Calculations suggest…
Classical variational principles can be deduced from quantum variational principles via formal reparameterization of the latter. It is shown that such reparameterization is possible without invoking any assumptions other than classicality…
Hidden-variable models aim to reproduce the results of quantum theory and to satisfy our classical intuition. Their refutation is usually based on deriving predictions that are different from those of quantum mechanics. Here instead we…
We investigate the role of external constraints in quantum field theory using the path integral formalism. We begin by reviewing the quantization of constrained systems and extend the analysis to cases where constraints are added to the…
Causal rigid particles whose action includes an {\it arbitrary} dependence on the world-line extrinsic curvature are considered. General classes of solutions are constructed, including {\it causal tachyonic} ones. The Hamiltonian…
Relativity and classical dynamics, as defined so far, form distinct parts of classical physics and are formulated based on independent principles. We propose that the formalism of classical dynamics can be considered as the theoretical…
Classical physics is generally regarded as deterministic, as opposed to quantum mechanics that is considered the first theory to have introduced genuine indeterminism into physics. We challenge this view by arguing that the alleged…
All measurable predictions of classical mechanics can be reproduced from a quantum-like interpretation of a nonlinear Schrodinger equation. The key observation leading to classical physics is the fact that a wave function that satisfies a…
To make precise the sense in which nature fails to respect classical physics, one requires a formal notion of classicality. Ideally, such a notion should be defined operationally, so that it can be subjected to a direct experimental test,…
Cosmological models that are locally consistent with general relativity and the standard model in which an object transported around the universe undergoes P, C and CP transformations, are constructed. This leads to generalization of the…
We study a class of theories in which space-time is treated classically, while interacting with quantum fields. These circumvent various no-go theorems and the pathologies of semi-classical gravity, by being linear in the density matrix and…
This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized…
A tradition handed down among physicists maintains that classical physics is a perfectly deterministic theory capable of predicting the future with absolute certainty, independently of any interpretations. It also tells that it was quantum…
In this article one introduces a formalism of classical mechanics where complex Lagrangian functions are admitted. The results include complex versions of the Lagrangian function, of the Euler-Lagrange equation, of the Hamilton principle, a…
This the first of a series of articles dealing with abstract classification theory. The apparatus to assign systems of cardinal invariants to models of a first order theory (or determine its impossibility) is developed in [Sh:a]. It is…
We consider the problem of characterizing isomorphisms of types, or, equivalently, constructive cardinality of sets, in the simultaneous presence of disjoint unions, Cartesian products, and exponentials. Mostly relying on results about…
The origin of nonclassicality in quantum mechanics (QM) has been investigated recently by a number of authors with a view to identifying axioms that would single out quantum mechanics as a special theory within a broader framework such as…
In this paper of "The Epistemology of Contemporary Physics" series we investigate the epistemological significance and sensibility (and hence interpretability and interpretation) of classical mechanics in its Newtonian and non-Newtonian…