The other non-classical logics were invented by philosophers. This one was demanded by nature.
Links: A History of Logic, Non-Classical Logics, Aristotelian Logic, Logic and Mathematics, Computation and Information Theory, Measurement, Causality, and Free Will
Every other non-classical logic in the vault’s series was motivated by philosophical argument. Brouwer rejected excluded middle on epistemological grounds. Priest accepted contradictions on semantic grounds. Zadeh introduced fuzzy truth for engineering convenience. Each was a choice — a “what if we tried it this way?”
Quantum logic wasn’t a choice. Physics forced it. The experimental results of quantum mechanics are inconsistent with classical logic. Not “hard to express” in classical logic — actively contradicted by it. When Birkhoff and von Neumann proposed quantum logic in 1936, they weren’t exploring a philosophical what-if. They were trying to find a logic that could describe what they were seeing in the lab.
This makes quantum logic the vault’s strongest evidence for the core thesis: logic is a tool that models reality, and when reality doesn’t fit the tool, we build a new one.
Fire individual particles (photons, electrons) at a barrier with two slits. Put a detector screen behind it.
Classical prediction: Each particle goes through one slit or the other. The pattern on the screen should be two bands (one behind each slit).
What actually happens: An interference pattern — bands of light and dark — appears on the screen. This is the pattern you’d get from waves passing through both slits and interfering with each other. But we’re firing individual particles, one at a time. Each particle hits the screen as a single dot. After thousands of dots, the interference pattern emerges.
The logical problem: Each particle appears to pass through both slits simultaneously, interfering with itself. This violates the Law of Identity (the particle isn’t one thing with definite properties) and arguably the Law of Excluded Middle (it didn’t go through slit A OR slit B — it went through… both? neither? the question doesn’t have a classical answer).
The measurement twist: Put a detector at one slit to see which slit the particle goes through. Now the interference pattern disappears. The particle behaves classically — one slit or the other. The act of measuring forces a definite outcome. Remove the detector, the interference returns.
This is not a gap in our knowledge. It’s not that we don’t know which slit the particle went through. The particle genuinely does not have a definite position until measured. This has been confirmed by every experiment for nearly a century, including Bell’s theorem experiments that rule out hidden variables (1982, Aspect; 2015, loophole-free tests).
In classical logic, the distributive law always holds:
A AND (B OR C) = (A AND B) OR (A AND C)
This is as basic as it gets. In Boolean algebra, in everyday reasoning, in Aristotle — this is a law. It seems impossible for it to fail.
In quantum mechanics, it fails.
The setup: A particle approaches a barrier. Let:
Left side: A AND (B OR C) = “the particle reaches the screen AND it goes through slit 1 or slit 2”
This is TRUE. The particle does reach the screen. It does go through the slits (there’s nowhere else to go). So A ∧ (B ∨ C) = true.
Right side: (A AND B) OR (A AND C) = “the particle reaches the screen via slit 1” OR “the particle reaches the screen via slit 2”
This is FALSE — or at least, it doesn’t produce the right predictions. If the particle went through one definite slit, you’d get two bands on the screen. You get an interference pattern instead. The particle didn’t go through slit 1 and didn’t go through slit 2 — not in the classical sense of “definite path through one or the other.” Assigning it a definite path gives wrong predictions.
Therefore: A ∧ (B ∨ C) ≠ (A ∧ B) ∨ (A ∧ C). The distributive law fails.
This isn’t a technicality. It’s not a matter of interpretation. The interference pattern is physically real — you can photograph it. Any logical system that insists on the distributive law makes predictions that are experimentally falsified. Reality broke the law.
Heisenberg’s uncertainty principle: you cannot simultaneously know a particle’s exact position AND exact momentum. This isn’t about measurement imprecision — it’s a fundamental limit. A particle with a definite position does not HAVE a definite momentum, and vice versa.
Classical logic says: For any particle, either “it has momentum p” or “it does not have momentum p.” Excluded middle. The property exists; we just might not know it.
Quantum mechanics says: When position is definite, momentum is not “unknown” — it’s genuinely undefined. There is no fact of the matter about the momentum. Excluded middle doesn’t fail because we lack information. It fails because the information doesn’t exist.
This is what physicists mean by “complementarity” — position and momentum are complementary properties that cannot be simultaneously definite. Asking “what is the momentum of a particle with a definite position?” is like asking “what is north of the North Pole?” — the question assumes something that doesn’t hold.
| A quantum system in superposition is in multiple states simultaneously — not “one state that we don’t know,” but genuinely multiple states at once. A qubit can be | 0⟩ and | 1⟩ simultaneously, with probabilities of each outcome upon measurement. |
Classical identity says: A is A. A thing is what it is, with definite properties.
Quantum superposition says: A is a weighted combination of A₁ and A₂ and A₃… The system doesn’t have a definite state. It has a superposition of states, and the superposition IS the state. Saying “but it must REALLY be one of them” (hidden variables) is experimentally falsified by Bell inequality violations.
At the quantum level, identity isn’t the clean, definite thing Aristotle assumed. Objects don’t have definite properties until measured. The “it is what it is” of the Law of Identity is an approximation that works at the macro scale (because quantum effects average out) but fails at the fundamental level.
Garrett Birkhoff (mathematician) and John von Neumann (polymath) published “The Logic of Quantum Mechanics” (1936). Their insight: the mathematical structure of quantum mechanics naturally gives rise to a logic that differs from classical logic.
The structure: In classical physics, the set of all possible states of a system forms a Boolean algebra — the same structure as classical propositional logic. AND, OR, NOT work exactly as Boole described. The distributive law holds.
In quantum mechanics, the set of all possible states forms a Hilbert space, and the propositions about the system correspond to closed subspaces of that space. These subspaces form a lattice — similar to a Boolean algebra but with one critical difference: the distributive law fails.
The lattice of quantum propositions is:
This isn’t Birkhoff and von Neumann choosing to drop distributivity. It’s the mathematical structure of quantum mechanics not having distributivity. They described what was already there.
| Feature | Classical Logic | Quantum Logic |
|---|---|---|
| Truth values | True or false | Probability between 0 and 1 |
| AND | Boolean intersection | Subspace intersection |
| OR | Boolean union | Subspace span (closure of union) |
| NOT | Boolean complement | Orthogonal complement |
| Distributive law | Holds | Fails |
| Excluded middle | Holds | Modified (orthocomplementation) |
| Commutativity of AND | Always | Only for compatible observables |
“Compatible observables” is the key concept. Two quantum properties are compatible if they can be simultaneously measured (e.g., the x-component and the z-component of spin for different particles in certain setups). For compatible observables, quantum logic reduces to classical logic. For incompatible observables (position and momentum, different spin components of the same particle), classical logic gives wrong answers.
Classical logic is a special case of quantum logic — the case where all observables are compatible. This is why classical logic works at the macro scale: at human scales, effectively all observables are compatible (decoherence eliminates quantum effects). Classical logic is the macro-scale approximation.
This is the most radical implication. Traditionally, logic is considered a priori — true before and independently of experience. You don’t need to do experiments to know that A ∧ (B ∨ C) = (A ∧ B) ∨ (A ∧ C). It’s just… logical.
Quantum mechanics says: actually, you do need experiments. The distributive law is an empirical claim about the structure of reality. It happens to hold at the macro scale (where we developed our intuitions). It doesn’t hold at the quantum scale (where we need careful experiments). We only thought it was a priori because we didn’t have access to the domain where it fails.
Hilary Putnam argued exactly this in “Is Logic Empirical?” (1968): quantum mechanics shows that logic, like geometry, is revisable in light of experience. Just as non-Euclidean geometry turned out to describe real spacetime (general relativity), non-distributive logic turns out to describe real quantum systems.
Vault connection: This is the strongest possible support for the vault’s position that logic is a constructed tool that models reality, not a fixed a priori truth. If logic were a priori, it couldn’t be falsified by experiment. It was falsified by experiment. Therefore it’s not a priori. It’s empirical — developed through interaction with reality, refined when reality doesn’t fit. Exactly the emergence pattern.
Just as Newtonian mechanics is an excellent approximation that fails at relativistic speeds and quantum scales, classical logic is an excellent approximation that fails at quantum scales.
This is not a criticism of classical logic. Newton’s mechanics is still used for almost everything — bridges, rockets, sports. Classical logic is still used for almost everything — mathematics, philosophy, daily reasoning. The approximation is spectacularly good in its domain.
But knowing it’s an approximation changes the philosophical status of the three laws. They’re not cosmic axioms inscribed in the fabric of reality. They’re macro-scale patterns that emerge from a deeper, non-classical logical structure. Identity, non-contradiction, and excluded middle are features of the approximation, not the territory.
The Transcendental Argument for God: logic is immaterial → materialism can’t account for it → God grounds it.
Quantum logic’s response: God grounds the distributive law? Then why does it fail?
If God is the source of logical laws, and the distributive law is a logical law, then the distributive law should hold universally. It doesn’t — quantum mechanics experimentally falsifies it. Either:
Any of these undermines the TAG. Logic isn’t a single, fixed, God-given system. It’s a family of systems, empirically discovered, domain-dependent, and revisable. Exactly what you’d expect from emergent structure, not from divine revelation.
The quantum measurement problem — why does observation collapse superposition? — is structurally similar to the Translation Problem. Before measurement, the quantum system doesn’t have definite properties. Measurement forces definite properties into existence. Similarly, before translation into formal logic, a natural-language statement doesn’t have a definite logical form. Formalization forces a definite form.
In both cases, the act of extracting classical information from a richer, less-definite system involves a loss. The superposition contains more information than any single measurement outcome. The natural-language statement contains more meaning than any single formalization. The extraction is necessary for classical reasoning but it destroys something in the process.
Vault connection: Measurement, Causality, and Free Will explores measurement as the basis of causality. Quantum logic adds: measurement doesn’t just reveal pre-existing facts. It participates in creating them. The observer isn’t passive. This connects to the emergence thesis — structure doesn’t exist independently “out there” (Platonism) or purely “in here” (constructivism). It emerges from the interaction between observer and observed.
Quantum logic is not universally accepted even among physicists. The main positions:
Pro quantum logic (Birkhoff, von Neumann, Putnam): Logic is empirical. Quantum mechanics reveals the true logic of reality. Classical logic is an approximation.
Anti quantum logic, pro interpretation (Bohr, Copenhagen): The problem isn’t logic — it’s that quantum systems don’t have classical properties between measurements. Classical logic is fine; you just can’t apply it to unmeasured quantum states because there’s nothing there to be logical about.
Anti quantum logic, pro reformulation (Bohm, many-worlds): The problem isn’t logic — it’s the standard formulation of quantum mechanics. Alternative interpretations (de Broglie-Bohm pilot wave theory, Everett many-worlds) restore classical logic at the cost of other assumptions (nonlocality, branching universes).
The vault’s position: The debate itself is evidence. The fact that physics generates a genuine disagreement about which logic applies — a disagreement that can only be resolved by experiment, not by a priori reasoning — confirms that logic is empirical, revisable, and domain-dependent. Whether you adopt quantum logic or reinterpret quantum mechanics to save classical logic, you’re acknowledging that the relationship between logic and reality is an empirical question, not a settled one.