English
Related papers

Related papers: On the logical structure of physics

200 papers

Linear logic was conceived in 1987 by Girard and, in contrast to classical logic, restricts the usage of the structural inference rules of weakening and contraction. With this, atoms of the logic are no longer interpreted as truth, but as…

Logic in Computer Science · Computer Science 2021-10-04 Florian Chudigiewitsch

This book concerns the metasemantics of quantum mechanics (QM). Roughly, it pursues an investigation at the intersection of philosophy of physics and philosophy of language, and it offers a critical analysis of rival explanations of the…

History and Philosophy of Physics · Physics 2025-09-12 Iulian D. Toader

As examples of models having interesting constraint structures, we derive a quantum mechanical model from the spatial freezing of a well known relativistic field theory - the chiral Schwinger model. We apply the Hamiltonian constraint…

Mathematical Physics · Physics 2009-07-10 Sudipta Das , Subir Ghosh

As is well known, Einstein was dissatisfied with the foundation of quantum theory and sought to find a basis for it that would have satisfied his need for a causal explanation. In this paper this abandoned idea is investigated. It is found…

General Physics · Physics 2011-05-18 J. F. Geurdes

We present a pseudoclassical mechanics model which exhibits gauge symmetry and time-reparametrization invariance. As such, first- and second-class constraints restrict the phase space, and the Hamiltonian weakly vanishes. We show that the…

High Energy Physics - Theory · Physics 2023-04-07 Mauricio Valenzuela

We show that the Dirac equation can be rewritten as a relation describing the fundamental symmetry group of special topological manifold corresponding to the Dirac wave field. It leads to unification of the time-space and internal…

Quantum Physics · Physics 2007-05-23 O. A. Olkhov

We formulate physically-motivated axioms for a physical theory which for systems with a finite number of degrees of freedom uniquely lead to Quantum Mechanics as the only nontrivial consistent theory. Complex numbers and the existence of…

Quantum Physics · Physics 2013-06-04 Anton Kapustin

We apply the covariant analytic mechanics with the differential forms to the Dirac field and the gravity with the Dirac field. The covariant analytic mechanics treats space and time on an equal footing regarding the differential forms as…

General Relativity and Quantum Cosmology · Physics 2016-05-25 Satoshi Nakajima

We generalize previous results and demonstrate that the Dirac representation theory can be effectively adjusted and applied to continuous or discrete signals of infinite time duration. The role of the identity and projection operators is…

Medical Physics · Physics 2009-10-31 A. Gersten

This paper proposes a basic theory on physical reality, and a new foundation for quantum mechanics and classical mechanics. It does not only solve the problem of the arbitrariness on the operator ordering for the quantization procedure, but…

Quantum Physics · Physics 2007-05-23 Toshihiko Ono

Most approaches towards a quantum theory of gravitation indicate the existence of a minimal length scale of the order of the Planck length. Quantum mechanical models incorporating such an intrinsic length scale call for a deformation of…

General Relativity and Quantum Cosmology · Physics 2025-05-21 Won Sang Chung , Georg Junker , Hassan Hassanabadi

The most general Dirac Hamiltonians in $(1+1)$ dimensions are revisited under the requirement to exhibit a supersymmetric structure. It is found that supersymmetry allows either for a scalar or a pseudo-scalar potential. Their spectral…

Mathematical Physics · Physics 2020-06-05 Georg Junker

The theory of scale relativity provides a new insight into the origin of fundamental laws in physics. Its application to microphysics allows to recover quantum mechanics as mechanics on a non-differentiable (fractal) space-time. The…

High Energy Physics - Theory · Physics 2007-05-23 Marie-Noelle Celerier , Laurent Nottale

We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras. We discuss axiomatization and…

Logic in Computer Science · Computer Science 2023-06-22 Tadeusz Litak , Dirk Pattinson , Katsuhiko Sano , Lutz Schröder

In this essay, I argue that mathematics is a natural science---just like physics, chemistry, or biology---and that this can explain the alleged "unreasonable" effectiveness of mathematics in the physical sciences. The main challenge for…

History and Philosophy of Physics · Physics 2016-08-05 M. S. Leifer

We suggest an alternative mathematical model for the massless neutrino. Consider an elastic continuum in 3-dimensional Euclidean space and assume that points of this continuum can experience no displacements, only rotations. This framework…

General Relativity and Quantum Cosmology · Physics 2010-07-20 Olga Chervova , Dmitri Vassiliev

The usual treatment of a (first order) classical field theory such as electromagnetism has a little drawback: It has a primary constraint submanifold that arise from the fact that the dynamics is governed by the antisymmetric part of the…

Mathematical Physics · Physics 2014-05-21 Santiago Capriotti

The Dirac Equation is solved approximately for relativistic generalized Woods-Saxon potential including Coulomb-like tensor potential in exact pseudospin and spin symmetry limits. The bound states energy eigenvalues are found by using…

Nuclear Theory · Physics 2021-01-05 J. Akbar , A. Suparmi , C. Cari

Self-consistent Hamiltonian formulation of scalar theory on the null plane is constructed following Dirac method. The theory contains also {\it constraint equations}. They would give, if solved, to a nonlinear and nonlocal Hamiltonian. The…

High Energy Physics - Theory · Physics 2010-11-01 Prem P. Srivastava

The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas. Surprisingly, this logic is constructive and so…

Logic · Mathematics 2018-10-19 Federico Aschieri