In this paper we provide a structural derivation of Birkhoff–von Neumann quantum logic starting from an extended statistical interpretation of quantum mechanics. Quantum logic is not introduced as an independent logical hypothesis, but is shown to arise naturally from the non-classical structure of quantum probability, in particular from interference, non-additivity, and the priority of the whole over its alternatives. We demonstrate that the failure of Boolean logic in quantum mechanics is not a semantic or philosophical anomaly, but a direct consequence of the probabilistic structure encoded in Hilbert space. Within this framework, quantum logic appears as the logical form of quantum probability itself. This interpretation clarifies the physical meaning of quantum logic and highlights its contemporary relevance in quantum information and quantum computation.
In this paper we provide a structural derivation of Birkhoff–von Neumann quantum logic starting from an extended statistical interpretation of quantum mechanics. Quantum logic is not introduced as an independent logical hypothesis, but is shown to arise naturally from the non-classical structure of quantum probability, in particular from interference, non-additivity, and the priority of the whole over its alternatives. We demonstrate that the failure of Boolean logic in quantum mechanics is not a semantic or philosophical anomaly, but a direct consequence of the probabilistic structure encoded in Hilbert space. Within this framework, quantum logic appears as the logical form of quantum probability itself. This interpretation clarifies the physical meaning of quantum logic and highlights its contemporary relevance in quantum information and quantum computation.
In this paper we propose a unified conceptual framework in which quantum probability, quantum logic, and classical probability theory are understood as different structural levels of a single theoretical hierarchy. Starting from a statistical interpretation of quantum interference, previously developed by the authors, we argue that quantum probability is not an alternative to classical Kolmogorov probability, but a more general structure. Classical probability theory emerges as a limiting case corresponding to the disappearance of interference and the effective decomposition of the whole into independent elements. Within this framework, the Birkhoff–von Neumann quantum logic appears as a natural logical expression of quantum probability rather than as an abstract algebraic construction detached from physical meaning. The priority of the whole over its parts plays a central role in both quantum probability and quantum logic, while classical logic and probability arise when this priority becomes trivial. We emphasize that the proposed interpretation does not reject existing quantum formalism, but reinterprets its logical and probabilistic foundations. This approach may have implications for the conceptual understanding of quantum algorithms and quantum information processing.
We develop a statistical interpretation of quantum interference in which probabilities, rather than wave amplitudes as primitive objects, form the fundamental descriptive level of quantum phenomena. Interference effects are treated as structural relations between alternative probabilistic contributions, governed by a principle of global consistency (priority of the whole over parts). Within this framework, quantum probabilities are non-Kolmogorovian but remain objectively defined. We show that this interpretation naturally leads to the lattice-theoretic structure of quantum propositions introduced by Birkhoff and von Neumann. Quantum logic thus emerges not as an abstract postulate, but as a structural consequence of quantum probability itself. Finally, we illustrate how this viewpoint provides a clear conceptual reading of quantum algorithms. As an appendix, the Grover search algorithm is analyzed as an example where interference-based probability redistribution can be understood without invoking metaphysical superposition, but purely through statistical structure.
Quantum logic as it is presented in Birkhoff-von Neumann’s 1936 paper arose within the framework of the mathematical elaboration of the foundations of quantum mechanics. Birkhoff-von Neumann’s axiomatic was an alternative of the traditional formulation of foundations of quantum mechanics proceeding from the technique of the Hilbert space. It provided more economic formulation of the foundations of the theory. In Mackay’s writings it has been transformed into the axiomatic of quantum theory of probability. However, Mackay came back to the concept of Hilbert space as the fundamental for quantum mechanics. He also adopted the rules of super-selections in his presentation of the foundations of quantum mechanics. The contemporary approach to Birkhoff-von Neumann’s axiomatic is twofold: the criticism of their too rigid construction from the point of view of physics and the development in connection with mathematical intuitionism.
Abstract Birkhoff and von Neumann make it clear what the goal of their October, 1936 paper, “The logic of quantum mechanics”, is: “The object of the present paper is to discover what logical structure one may hope to find in physical theories which, like quantum mechanics, do not conform to classical logic. Our main conclusion, based on admittedly heuristic arguments, is that one can reasonably expect to find a calculus of propositions which is formally indistinguishable from the calculus of linear subspaces with respect to set products, linear sums, and orthogonal complements-and resembles the usual calculus of propositions with respect to and, or, and not.” (Birkhoff and von Neumann, 1936, p.823; underline added). Specifically, “Up to now, we have only discussed formal features of logical structure which seem to be common to classical dynamics and the quantum theory. We now turn to the central difference between them-the distributive identity of the propositional calculus: L6: a U (b ꓵ c) = (a U b) ꓵ (a U c) and a ꓵ (b U c) = (a ꓵ b) U (a ꓵ c) which is a law in classical, but not in quantum mechanics.” (Birkhoff and von Neumann, 1936, p.830; underline added) Continuing, Birkhoff and von Neumann comment: “From a deeper mathematical viewpoint, L6 is the characteristic property of set-combination. More precisely, every "field" of sets is isomorphic with a Boolean algebra, and conversely.21 This throws new light on the well-known fact that the propositional calculi of classical mechanics are Boolean algebras.” (Birkhoff and von Neumann, 1936, p.831). Birkhoff and von Neumann then show on p.831 that the distributive law breaks down in quantum mechanics and that the generalized distributive law of logic breaks down in the related field “in the quotient algebra of the field of Lebesgue measurable sets by the ideal of sets of Lebesgue measure 0, which is so fundamental in statistics and the formulation of the ergodic principle.” (ibid., p.831). However, it must be noted that Birkhoff and von Neumann are talking about the Jevons-Pierce-Schroder interpretation (two -valued) of Boole’s original approach (four -valued), which Boole completely rejected. (See Hailperin, 1986, 1996), The reason for this rejection is that the Jevons-Peircean approach required strict complementation, which translated into additivity and linearity in probability assessments, as opposed to Boole’s realization that real world decision making required sub additivity and non-linearity, Thereafter, we will refer to the Jevons-Pierce-Schroder approach as Jevons’s approach to the interpretation of Boolean logic, which uses standard classical logic to underpin discussions of standard probability logic. Jevons’s approach removed the basic algebra which Boole combined with his new relational, propositional logic, so as to deal with indeterminate, imprecise probabilities, which are nonstandard. Jevons’s approach can’t deal with the non-standard probability logics used by Boole in chapters XVIII-XX of The Laws of Thought (1854) and by Keynes in chapters XII, XV-XVII of the A Treatise on Probability (1921) in order to deal with indeterminate, interval valued probabilities.
. We put forward a new take on the logic of quantum mechanics, following Schrödinger's point of view that it is composition which makes quantum theory what it is, rather than its particular propositional structure due to the existence of superpositions, as proposed by Birkhoff and von Neumann. This gives rise to an intrinsically quantitative kind of logic, which truly deserves the name ‘logic’ in that it also models meaning in natural language, the latter being the origin of logic, that it supports automation, the most prominent practical use of logic, and that it supports probabilistic inference. The physics and the logic of quantum-ish logic. In 1932 John von Neumann formalized Quantum Mechanics in his book “Mathematische Grundlagen der Quantenmechanik”. This was effectively the official birth of the quantum mechanical formalism which until now, some 75 years later, has remained the same. Quantum theory underpins so many things in our daily lives including chemical industry, energy production and information technology, which arguably makes it the most technologically successful theory of physics ever. However, in 1935, merely three years after the birth of his brainchild, von Neumann wrote in a letter to American mathematician Garrett Birkhoff: “I would like to make a confession which may seem immoral: I do not believe absolutely in Hilbert space no more.” (sic)—for more details see [73]. Soon thereafter they published a paper entitled “The Logic of Quantum Mechanics” [13]. Their ‘quantum logic’ was cast in order-theoretic terms, very much in the spirit of the then reigning algebraic view of logic, with the distributive law being replaced with a weaker (ortho)modular law. This resulted in a research community of quantum logicians [68, 71, 47, 30]. However, despite von Neumann's reputation, and the large body of research that has been produced in the area, one does not find a trace of this activity neither in the mainstream physics, mathematics, nor logic literature. Hence, 75 years later one may want to conclude that this activity was a failure. What went wrong? The mathematics of it. Let us consider the raison d'être for the Hilbert space formalism.
Born’s probabilistic interpretation of quantum mechanics is commonly assumed to rely on classical probability theory in the sense of Kolmogorov. In this paper we argue that this assumption is methodologically unjustified. We show that quantum probabilities naturally arise from an analytic method fundamentally different from the synthetic approach underlying classical probability theory. In the analytic framework, the whole (the totality of alternatives) is primary, while probabilities of individual alternatives are derived quantities. Interference appears at the level of the realization probability of the whole, whereas conditional probabilities of alternatives remain additive within a given context. We demonstrate that many well-known quantum paradoxes originate from the inappropriate application of synthetic probabilistic reasoning. The proposed formulation is consistent with the Born rule, its extensions developed in our earlier works, and with Birkhoff–von Neumann quantum logic. Classical probability theory appears only as a degenerate formal limit and is not methodologically universal.