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

arXiv:quant-ph/9902042

Quantum logic. A brief outline

Karl Svozil

Published Feb 10, 1999• 8 citations
arXivHTMLPDF

Abstract

Quantum logic has been introduced by Birkhoff and von Neumann as an attempt to base the logical primitives, the propositions and the relations and operations among them, on quantum theoretical entities, and thus on the related empirical evidence of the quantum world. We give a brief outline of quantum logic, and some of its algebraic properties, such as nondistributivity, whereby emphasis is given to concrete experimental setups related to quantum logical entities. A probability theory based on quantum logic is fundamentally and sometimes even spectacularly different from probabilities based on classical Boolean logic. We give a brief outline of its nonclassical aspects; in particular violations of Boole-Bell type consistency constraints on joint probabilities, as well as the Kochen-Specker theorem, demonstrating in a constructive, finite way the scarcity and even nonexistence of two-valued states interpretable as classical truth assignments. A more complete introduction of the author can be found in the book "Quantum Logic" (Springer, 1998)

DOI
10.48550/arxiv.quant-ph/9902042

Related papers

Introduction to a Quantum Logic

Enrico G. Beltrametti, Gianni Cassinelli, Peter Carruthers

Sentences Associated with a Quantum System and Their Truth Values In a sense this chapter is marginal to the content of this volume; the reader can skip it without prejudice to the comprehension of chapters to follow. Quantum logic is a discipline that branched off from the 1936 paper of Birkhoff and von Neumann and has the orthomodular-poset structures encountered in previous chapters as basic mathematical carriers: that is why we think it worthwhile to devote some pages to the subject. But the main interests quantum logic calls into play are in the territory of logicians and philosophers: that is why we (who are neither logicians nor philosophers) shall confine ourselves to a very simplified introduction to the subject. Roughly, the starting question is whether the propositions of a quantum system can be associated with, or can be interpreted as, sentences of a language (or propositional calculus) and which rules this language inherits from the ordered structure of propositions. In raising this question one has in mind the fact that when the physical system is classical its propositions form a Boolean algebra, and Boolean algebras are the algebraic models of the calculus of classical logic. Thus the question above can also be phrased as follows: when a Boolean algebra is relaxed into an orthomodular nondistributive lattice, which logic is it the model of? “Quantum logic” is the name that designates the answer, but there are several views about the content of this name. Here we sketch one approach to a quantum logic.

Cambridge University Press eBooks•Dec 28, 1984•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

Foundations of Quantum Theory

Klaas Landsman

This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes comprehensive appendices on functional analysis and C*-algebras, as well as a briefer one on logic, category theory, and topos theory. Matters of foundational as well as mathematical interest that are covered in detail include symmetry (and its "spontaneous" breaking), the measurement problem, the Kochen-Specker, Free Will, and Bell Theorems, the Kadison-Singer conjecture, quantization, indistinguishable particles, the quantum theory of large systems, and quantum logic, the latter in connection with the topos approach to quantum theory.

Fundamental theories of physics•Jan 1, 2017•161 citations

Quantum Logic and Its Role in Interpreting Quantum Theory

Gelo Noel, M. Tabia

Summary Foundational studies in quantum theory have consisted in large part of attempts to avoid paradoxical situations in describing properties of a physical system. Quantum logic addresses some of the perplexing problems that plague interpretations of quantum theory by invoking a non-classical propositional calculus for the set of propositions of a quantum system. Historically, quantum logic derives from von Neumann’s observation that the set of projection operators on a Hilbert space constitute a ‘logic’ of experimental propositions. More than two decades passed from the pioneering work of Birkho and von Neumann before interest in quantum logic was re-ignited by Mackey’s probabilistic analysis of quantum theory. Piron’s axiomatization provided a signicant

•Jan 1, 2010•0 citations

Introduction to quantum probability

Cong Cui

This thesis is a review of the quantum logic approach to quantum probability theory which was first studied by Birkhoff and von Neumann in 1936. Our study is based on the more general quantum structure which is known as the $\\sigma$-orthocomplete orthomodular poset or quantum logic. We introduce the definitions of states and observables and show that the quantum probability theory is a generalization of the classical probability theory due to Kolmogorov. Discussions about joint distributions of observables are given, and we also give the general expression of the uncertainty relation in the logico-algebraic sense which generalizes the well-known Heisenberg uncertainty relation. Two examples, the classical probability structure of Kolmogorov and the Hilbert space quantum logic, are given as illustrations throughout the whole discussion.

•Aug 1, 2011•2 citations

Introduction to Quantum Theory

Andrei Yu. Khrennikov

This chapter contains a brief introduction to mathematical formalism and QM axiomatics. It is oriented to non-physicists. Since QM is a statistical theory it is natural to start with the classical probability model (Kolmogorov [ 191 ], 1933). Then we present the basics of the theory of Hilbert spaces and Hermitian operators and the representation of pure and mixed states by normalized vectors and density operators. This introduction is sufficient to formulate the axiomatics of QM in the form of five postulates. The projection postulate (the most questionable postulate of QM) is presented in a separate section. We sharply distinguish between the cases of quantum observables represented by Hermitian operators with nondegenerate and degenerate spectra, von Neumann’s and Ltiders’s forms of the projection postulate. The axiomatics is completed by a short section on the main interpretations of QM. The projection postulate (LUders’s form) plays a crucial role in the definition of quantum conditional (transition) probability. By operating with the latter we consider interference of probabilities for two incompatible observables as a modification of the formula of total probability by adding the interference term. This viewpoint to interference of probabilities was elaborated in a series of works by Khrennikov. Since classical probability theory is based on the 142 Boolean algebra of events, a violation of the law of total probability can be treated as the probabilistic sign of a violation of the laws of the Boolean logics. From this viewpoint, quantum theory can be considered as representing a new kind of logic, so-called quantum logic. The latter is also briefly presented in a separate section. We continue this review with a new portion of quantum mathematics, namely the notion of the tensor product of Hilbert spaces and the tensor product of operators. After the section on Dirac’s notation with ket and bra vector, we discuss briefly the notion of qubit and entanglement of a few qubits. This chapter concludes with a presentation of the detailed analysis of the probabilistic structure of the two-slit experiment in a bunch of different experimental contexts. This contextual structure leads to a violation of the law of total probability and non-Kolmogorovean probabilistic structure of this experiment.

•Jul 30, 2020•0 citations
Quantum logic has been introduced by Birkhoff and von Neumann as an attempt to base the logical primitives, the propositions and the relations and operations among them, on quantum theoretical entities, and thus on the related empirical evidence of the quantum world. We give a brief outline of quantum logic, and some of its algebraic properties, such as nondistributivity, whereby emphasis is given to concrete experimental setups related to quantum logical entities. A probability theory based on quantum logic is fundamentally and sometimes even spectacularly different from probabilities based on classical Boolean logic. We give a brief outline of its nonclassical aspects; in particular violations of Boole-Bell type consistency constraints on joint probabilities, as well as the Kochen-Specker theorem, demonstrating in a constructive, finite way the scarcity and even nonexistence of two-valued states interpretable as classical truth assignments. A more complete introduction of the author can be found in the book "Quantum Logic" (Springer, 1998)
Sentences Associated with a Quantum System and Their Truth Values In a sense this chapter is marginal to the content of this volume; the reader can skip it without prejudice to the comprehension of chapters to follow. Quantum logic is a discipline that branched off from the 1936 paper of Birkhoff and von Neumann and has the orthomodular-poset structures encountered in previous chapters as basic mathematical carriers: that is why we think it worthwhile to devote some pages to the subject. But the main interests quantum logic calls into play are in the territory of logicians and philosophers: that is why we (who are neither logicians nor philosophers) shall confine ourselves to a very simplified introduction to the subject. Roughly, the starting question is whether the propositions of a quantum system can be associated with, or can be interpreted as, sentences of a language (or propositional calculus) and which rules this language inherits from the ordered structure of propositions. In raising this question one has in mind the fact that when the physical system is classical its propositions form a Boolean algebra, and Boolean algebras are the algebraic models of the calculus of classical logic. Thus the question above can also be phrased as follows: when a Boolean algebra is relaxed into an orthomodular nondistributive lattice, which logic is it the model of? “Quantum logic” is the name that designates the answer, but there are several views about the content of this name. Here we sketch one approach to a quantum logic.
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.
This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes comprehensive appendices on functional analysis and C*-algebras, as well as a briefer one on logic, category theory, and topos theory. Matters of foundational as well as mathematical interest that are covered in detail include symmetry (and its "spontaneous" breaking), the measurement problem, the Kochen-Specker, Free Will, and Bell Theorems, the Kadison-Singer conjecture, quantization, indistinguishable particles, the quantum theory of large systems, and quantum logic, the latter in connection with the topos approach to quantum theory.
Summary Foundational studies in quantum theory have consisted in large part of attempts to avoid paradoxical situations in describing properties of a physical system. Quantum logic addresses some of the perplexing problems that plague interpretations of quantum theory by invoking a non-classical propositional calculus for the set of propositions of a quantum system. Historically, quantum logic derives from von Neumann’s observation that the set of projection operators on a Hilbert space constitute a ‘logic’ of experimental propositions. More than two decades passed from the pioneering work of Birkho and von Neumann before interest in quantum logic was re-ignited by Mackey’s probabilistic analysis of quantum theory. Piron’s axiomatization provided a signicant
This thesis is a review of the quantum logic approach to quantum probability theory which was first studied by Birkhoff and von Neumann in 1936. Our study is based on the more general quantum structure which is known as the sigma\\sigmasigma-orthocomplete orthomodular poset or quantum logic. We introduce the definitions of states and observables and show that the quantum probability theory is a generalization of the classical probability theory due to Kolmogorov. Discussions about joint distributions of observables are given, and we also give the general expression of the uncertainty relation in the logico-algebraic sense which generalizes the well-known Heisenberg uncertainty relation. Two examples, the classical probability structure of Kolmogorov and the Hilbert space quantum logic, are given as illustrations throughout the whole discussion.
This chapter contains a brief introduction to mathematical formalism and QM axiomatics. It is oriented to non-physicists. Since QM is a statistical theory it is natural to start with the classical probability model (Kolmogorov [ 191 ], 1933). Then we present the basics of the theory of Hilbert spaces and Hermitian operators and the representation of pure and mixed states by normalized vectors and density operators. This introduction is sufficient to formulate the axiomatics of QM in the form of five postulates. The projection postulate (the most questionable postulate of QM) is presented in a separate section. We sharply distinguish between the cases of quantum observables represented by Hermitian operators with nondegenerate and degenerate spectra, von Neumann’s and Ltiders’s forms of the projection postulate. The axiomatics is completed by a short section on the main interpretations of QM. The projection postulate (LUders’s form) plays a crucial role in the definition of quantum conditional (transition) probability. By operating with the latter we consider interference of probabilities for two incompatible observables as a modification of the formula of total probability by adding the interference term. This viewpoint to interference of probabilities was elaborated in a series of works by Khrennikov. Since classical probability theory is based on the 142 Boolean algebra of events, a violation of the law of total probability can be treated as the probabilistic sign of a violation of the laws of the Boolean logics. From this viewpoint, quantum theory can be considered as representing a new kind of logic, so-called quantum logic. The latter is also briefly presented in a separate section. We continue this review with a new portion of quantum mathematics, namely the notion of the tensor product of Hilbert spaces and the tensor product of operators. After the section on Dirac’s notation with ket and bra vector, we discuss briefly the notion of qubit and entanglement of a few qubits. This chapter concludes with a presentation of the detailed analysis of the probabilistic structure of the two-slit experiment in a bunch of different experimental contexts. This contextual structure leads to a violation of the law of total probability and non-Kolmogorovean probabilistic structure of this experiment.