On the Common Logical Structure of Classical and Quantum Mechanics

Jun 21, 2022
24 pages
e-Print:
DOI:

Citations per year

0 Citations
Abstract: (arXiv)
At the onset of quantum mechanics, it was argued that the new theory would entail a rejection of classical logic. The main arguments to support this claim come from the non-commutativity of quantum observables, which allegedly would generate a non-distributive lattice of propositions, and from quantum superpositions, which would entail new rules for quantum disjunctions. While the quantum logic program is not as popular as it once was, a crucial question remains unsettled: what is the relationship between the logical structures of classical and quantum mechanics? In this essay we answer this question by showing that the original arguments promoting quantum logic contain serious flaws, and that quantum theory does satisfy the classical distributivity law once the full meaning of quantum propositions is properly taken into account. Moreover, we show that quantum mechanics can generate a distributive lattice of propositions, which, unlike the one of quantum logic, includes statements about expectation values which are of undoubtable physical interest. Lastly, we show that the lattice of statistical propositions in classical mechanics follows the same structure, yielding an analogue non-commutative sublattice of classical propositions. This fact entails that the purported difference between classical and quantum logic stems from a misconstructed parallel between the two theories.
Note:
  • Forthcoming in Erkenntnis
  • Is Logic Empirical? In Engesser, K., Gabbay, D., and Lehmann, D. (eds.)
    • G. Bacciagaluppi
  • Logic, Quantum Logic and Empiricism
    • J. Bell
      ,
    • M. Hallett
      • Phil.Sci. 49 (1982) 355-379
  • Quantum Logic and Quantum Probability. In Weingartner, P., editor
    • E.G. Beltrametti
  • The Logic of Quantum Mechanics. Annals of
    • G. Birkhoff
      ,
    • J. von Neumann
      • Mathematics 37 823-843
  • Quantum Information and Computing. In Butterfield, J. and Earman, J. (eds.)
    • J. Bub
  • Assumptions of Physics. Michigan Publishing
    • G. Carcassi
      ,
    • C. Aidala
  • Philosophical Foundations of Physics. Basic Books
    • R. Carnap
  • Measure theory
    • D. Cohn
  • Dalla
    • M. Chiara
      ,
    • R. Giuntini
  • Dalla
    • M. Chiara
      ,
    • R. Giuntini
      ,
    • R. Greechie
  • Sharp and Unsharp Quantum Logics, volume 22 of Trends in Logic
    • Dalla
      • M. Chiara
        ,
      • R. Giuntini
        ,
      • R. Leporini
        ,
      • G. Sergioli
    • Computation. How Quantum Computers Have Inspired Logical Investigations
      • Introduction to Lattices and Order Theory. Cambridge
        • B. Davey
          ,
        • H. Priestley
      • University Press
        • (2015). The Formalisms of Quantum Mechanics
          • F. David
        • Philosophical Perspective. The Internet Encyclopedia of Philosophy
          • Is Logic Empirical? In Lewis, D., editor
            • M. Dummett
          • Handbook of Quantum Logic and
            • K. Engesser
              ,
            • D. Gabbay
              ,
            • D. Lehmann
          • Quantum Structures
            • What Bohr wanted Carnap to learn from quantum mechanics
              • J. Faye
                ,
              • R. Jaksland
                • Stud.Hist.Phil.Sci. 88 (2021) 110-119
            • The Logic of Quantum Physics
              • D. Finkelstein
                • Trans.New York Acad.Sci. 25 (1963) 621-637
            • A Logical Approach
              • S. Fortin
                ,
              • M. Gadella
                ,
              • F. Holik
                ,
              • M. Losada
            • Quantum-to-Classical Transition
              • O. In Lombardi
                ,
              • S. Fortin
                ,
              • C. Lopez
                ,
              • F. Holik