Quantum Logic

Quantum logic is the study of logical systems that arise naturally from the algebraic structure of quantum mechanical propositions. Unlike classical logic, whose lattice of propositions forms a Boolean algebra, quantum logic replaces the Boolean structure with an orthomodular lattice — a lattice in which the distributive law fails. The failure is not a bug. It is a structural signature of complementarity: in quantum mechanics, not all observables can be measured simultaneously, and the lattice of projection operators on a Hilbert space encodes this non-commutativity directly into the logic of yes-no questions.

The field was initiated in 1936 by Garrett Birkhoff and John von Neumann, who observed that the closed subspaces of a Hilbert space — each representing a quantum mechanical proposition — form a lattice under set inclusion. In this lattice, conjunction corresponds to intersection, disjunction to the closed linear span, and negation to orthogonal complement. What distinguishes this lattice from a Boolean algebra is the failure of the distributive identity P ∧ (Q ∨ R) = (P ∧ Q) ∨ (P ∧ R). The equality holds in classical logic because every proposition can be decomposed into atomic cases. It fails in quantum logic because quantum propositions are not jointly decidable: the conjunction P ∧ Q may be well-defined while Q ∧ R is not, and the lattice operations do not commute across incompatible observables.

From Projections to Propositions

In the standard formulation of quantum mechanics, a physical system is represented by a Hilbert space H, and an observable corresponds to a self-adjoint operator. A yes-no proposition — the