Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

The logic of quantum mechanics derived from classical general relativity

No author provided

Published Sep 10, 2026• 0 citations
Publisher

Abstract

For the first time it is shown that the logic of quantum mechanics can be derived from classical physics. An orthomodular lattice of propositions characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general relativity. A particle is modelled by a topologically non-trivial 4-manifold with closed timelike curves--a 4-geon, rather than as an evolving 3-manifold. It is then possible for both the state preparation and measurement apparatus to constrain the results of experiments. It is shown that propositions about the results of measurements can satisfy a non-distributive logic rather than the Boolean logic of classical systems. Reasonable assumptions about the role of the measurement apparatus leads to an orthomodular lattice of propositions characteristic of quantum logic.

DOI
10.82444/warw.33539248

Related papers

The logic of quantum mechanics derived from classical general relativity

Mark J Hadley

For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general relativity. A particle is modelled by a topologically non-trivial 4-manifold with closed timelike curves - a 4-geon, rather than as an evolving 3-manifold. It is then possible for both the state preparation and measurement apparatus to constrain the results of experiments. It is shown that propositions about the results of measurements can satisfy a non-distributive logic rather than the Boolean logic of classical systems. Reasonable assumptions about the role of the measurement apparatus leads to an orthomodular lattice of propositions characteristic of quantum logic.

•Feb 1, 1997•0 citations

The logic of quantum mechanics derived from classical general relativity

Mark J Hadley

For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein’s theory of general relativity. A particle is modelled by a topologically non-trivial 4-manifold with closed timelike curves- a 4-geon, rather than as an evolving 3-manifold. It is then possible for both the state preparation and measurement apparatus to constrain the results of experiments. It is shown that propositions about the results of measurements can satisfy a non-distributive logic rather than the Boolean logic of classical systems. Reasonable assumptions about the role of the measurement apparatus leads to an orthomodular lattice of propositions characteristic of quantum logic. 1 Comment This paper has been published in Foundations of Physics Letters [1]. The work forms the basis of my doctoral thesis [2]. A short, less formal talk about my work is archived in quant-ph/9609021 [3]. 2

•Jan 1, 1997•18 citations

A gravitational theory of quantum mechanics

Mark J Hadley

An explanation for quantum mechanics is given in terms of a classical theory (general relativity) for the first time. Specifically, it is shown that certain structures in classical general relativity can give rise to the non-classical logic normally associated with quantum mechanics. An artificial classical model of quantum logic is constructed to show how the Hilbert space structure of quantum mechanics is a natural way to describe a measurement-dependent stochastic process. A 4-geon model of an elementary particle is proposed which is asymptotically flat, particle-like and has a non-trivial causal structure. The usual Cauchy data are no longer sufficient to determine a unique evolution; the measurement apparatus itself can impose further non-redundant boundary conditions. When measurements of an object provide additional non-redundant boundary conditions, the associated propositions would fail to satisfy the distributive law of classical physics. Using the 4-geon model, an orthomodular lattice of propositions, characteristic of quantum mechanics, is formally constructed within the framework of classical general relativity. The model described provides a classical gravitational basis for quantum mechanics, obviating the need for quantum gravity. The equations of quantum mechanics are unmodified, but quantum behaviour is not universal; classical particles and waves could exist and there is no graviton.

•Sep 12, 2026•4 citations

Quantum Logic as Classical Logic

Simon Kramer

We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic is a completion of the quantum logic QL. In other words, we refute Birkhoff and von Neumann's classic thesis that the logic (the formal character) of Quantum Mechanics would be non-classical as well as Putnam's thesis that quantum logic (of his kind) would be the correct logic for propositional inference in general. The propositional logic of Quantum Mechanics is modal but classical, and the correct logic for propositional inference need not have an extroverted quantum character. One normal necessity modality suffices to capture the subjectivity of observation in quantum experiments, and this thanks to its failure to distribute over classical disjunction. The key to our result is the translation of quantum negation as classical negation of observability.

arXiv:1406.3526•Jun 13, 2014•1 citation

An Epistemological Derivation of Quantum Logic

John Foy

This paper deals with the foundations of quantum mechanics. We start by outlining the characterisation, due to Birkhoff and Von Neumann, of the logical structures of the theories of classical physics and quantum mechanics, as boolean and modular lattices respectively. We then derive these descriptions from what we claim are basic properties of any physical theory - i.e. the notion that a quantity in such a theory may be analysed into parts and that the results of this analysis may be treated in languages with an underlying boolean structure. We shall see that in the course of constructing a model of a theory with these properties different indistinguishable possibilities will arise for how the elements of the model may be named, that is to say different possibilities arise for how they can be associated with points from Set. Taking a particular collection of possibilities gives the usual boolean lattice of the propositions of classical physics. Taking all possibilities - in a sense, the set of all things that may be described by physical theories - gives the lattice of quantum mechanical propositions. This gives an interpretation of quantum mechanics as the complete set of such possible descriptions, the complete physical description of the world.

arXiv:quant-ph/0001074•Jan 20, 2000•0 citations

Non-Boolean derived logics for classical systems

Michael D. Westmoreland, Benjamin W. Schumacher

Birkhoff and von Neumann [Ann. Math. 37, 823 (1936)] proposed a nonstandard logic to describe quantum mechanics, in which the distributive laws of Boolean logic do not hold. In this paper we develop two algebras of propositions for classical mechanics that, like the quantum logical algebra, are based on a measurement theory. We adopt a simple classical measurement theory that allows the determination of any continuous phase-space function to any finite precision. Surprisingly, the resulting ``classical logics'' are non-Boolean, though the distributive laws hold. It appears that any physical theory with a mathematical space of physical states and an adequate description of measurement naturally yields a logiclike structure of experimental propositions, and that this ``derived logic'' can be non-Boolean even for theories much less radical than quantum theory.

Physical Review A•Aug 1, 1993•19 citations
For the first time it is shown that the logic of quantum mechanics can be derived from classical physics. An orthomodular lattice of propositions characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general relativity. A particle is modelled by a topologically non-trivial 4-manifold with closed timelike curves--a 4-geon, rather than as an evolving 3-manifold. It is then possible for both the state preparation and measurement apparatus to constrain the results of experiments. It is shown that propositions about the results of measurements can satisfy a non-distributive logic rather than the Boolean logic of classical systems. Reasonable assumptions about the role of the measurement apparatus leads to an orthomodular lattice of propositions characteristic of quantum logic.
For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein's theory of general relativity. A particle is modelled by a topologically non-trivial 4-manifold with closed timelike curves - a 4-geon, rather than as an evolving 3-manifold. It is then possible for both the state preparation and measurement apparatus to constrain the results of experiments. It is shown that propositions about the results of measurements can satisfy a non-distributive logic rather than the Boolean logic of classical systems. Reasonable assumptions about the role of the measurement apparatus leads to an orthomodular lattice of propositions characteristic of quantum logic.
For the first time it is shown that the logic of quantum mechanics can be derived from Classical Physics. An orthomodular lattice of propositions, characteristic of quantum logic, is constructed for manifolds in Einstein’s theory of general relativity. A particle is modelled by a topologically non-trivial 4-manifold with closed timelike curves- a 4-geon, rather than as an evolving 3-manifold. It is then possible for both the state preparation and measurement apparatus to constrain the results of experiments. It is shown that propositions about the results of measurements can satisfy a non-distributive logic rather than the Boolean logic of classical systems. Reasonable assumptions about the role of the measurement apparatus leads to an orthomodular lattice of propositions characteristic of quantum logic. 1 Comment This paper has been published in Foundations of Physics Letters [1]. The work forms the basis of my doctoral thesis [2]. A short, less formal talk about my work is archived in quant-ph/9609021 [3]. 2
An explanation for quantum mechanics is given in terms of a classical theory (general relativity) for the first time. Specifically, it is shown that certain structures in classical general relativity can give rise to the non-classical logic normally associated with quantum mechanics. An artificial classical model of quantum logic is constructed to show how the Hilbert space structure of quantum mechanics is a natural way to describe a measurement-dependent stochastic process. A 4-geon model of an elementary particle is proposed which is asymptotically flat, particle-like and has a non-trivial causal structure. The usual Cauchy data are no longer sufficient to determine a unique evolution; the measurement apparatus itself can impose further non-redundant boundary conditions. When measurements of an object provide additional non-redundant boundary conditions, the associated propositions would fail to satisfy the distributive law of classical physics. Using the 4-geon model, an orthomodular lattice of propositions, characteristic of quantum mechanics, is formally constructed within the framework of classical general relativity. The model described provides a classical gravitational basis for quantum mechanics, obviating the need for quantum gravity. The equations of quantum mechanics are unmodified, but quantum behaviour is not universal; classical particles and waves could exist and there is no graviton.
We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic is a completion of the quantum logic QL. In other words, we refute Birkhoff and von Neumann's classic thesis that the logic (the formal character) of Quantum Mechanics would be non-classical as well as Putnam's thesis that quantum logic (of his kind) would be the correct logic for propositional inference in general. The propositional logic of Quantum Mechanics is modal but classical, and the correct logic for propositional inference need not have an extroverted quantum character. One normal necessity modality suffices to capture the subjectivity of observation in quantum experiments, and this thanks to its failure to distribute over classical disjunction. The key to our result is the translation of quantum negation as classical negation of observability.
This paper deals with the foundations of quantum mechanics. We start by outlining the characterisation, due to Birkhoff and Von Neumann, of the logical structures of the theories of classical physics and quantum mechanics, as boolean and modular lattices respectively. We then derive these descriptions from what we claim are basic properties of any physical theory - i.e. the notion that a quantity in such a theory may be analysed into parts and that the results of this analysis may be treated in languages with an underlying boolean structure. We shall see that in the course of constructing a model of a theory with these properties different indistinguishable possibilities will arise for how the elements of the model may be named, that is to say different possibilities arise for how they can be associated with points from Set. Taking a particular collection of possibilities gives the usual boolean lattice of the propositions of classical physics. Taking all possibilities - in a sense, the set of all things that may be described by physical theories - gives the lattice of quantum mechanical propositions. This gives an interpretation of quantum mechanics as the complete set of such possible descriptions, the complete physical description of the world.
Birkhoff and von Neumann [Ann. Math. 37, 823 (1936)] proposed a nonstandard logic to describe quantum mechanics, in which the distributive laws of Boolean logic do not hold. In this paper we develop two algebras of propositions for classical mechanics that, like the quantum logical algebra, are based on a measurement theory. We adopt a simple classical measurement theory that allows the determination of any continuous phase-space function to any finite precision. Surprisingly, the resulting ``classical logics'' are non-Boolean, though the distributive laws hold. It appears that any physical theory with a mathematical space of physical states and an adequate description of measurement naturally yields a logiclike structure of experimental propositions, and that this ``derived logic'' can be non-Boolean even for theories much less radical than quantum theory.