Quantum logic

Document Type : Promotional Paper

Author

Department of Mathematics, Kosar University of Bojnord, P.O.Box 9453155168, Bojnord, Iran

10.22108/msci.2025.129248.1712

Abstract

This article employs a descriptive-analytical method with an algebraic and axiomatic approach to address quantum logic. Through several thought experiments, it is demonstrated that the distributive law for propositions does not hold in quantum mechanics. Therefore, the logic governing this domain of science is not classical logic. In fact, the algebra corresponding to the logic of quantum propositions is an orthomodular lattice, which is why the distributive law is not necessarily valid for such propositions. In quantum logic, various definitions are offered for the implication operator. Since none of these operators satisfy the deduction theorem, a suitable implication operator with this property must be defined. This objective is achieved by defining a unified quantum logic. By constructing a Lindenbaum-Tarski algebra for this unified quantum logic, it can be shown that it is indeed a quantum logic. Dishkant presented an embedding of quantum logic into the Br-modal logic system. This provides an appropriate semantics for quantum logic. A suitable model for this logic is the closed subspaces of a Hilbert space.

Keywords

Main Subjects

References

[1] L. Beran, Orthomodular lattices: algebraic approach, Publishing Co., Dordrecht, 1985.
[2] G. Birkhoff and j. Von Neumann, The logic of quantum mechanics, Ann. of Math. (2), 37 no. 4 (1936) 823–843.
[3] D. W. Cohen, An introduction to Hilbert space and quantum logic, Springer-Verlag, New York, 1989.
[4] M. L. Dalla Chiara, R. Giuntini and M. Rédei, The history of quantum logic,The many valued and nonmonotonic turn in logic, Elsevier/North-Holland, Amsterdam, 8 (2007) 205–283.
[5] A. Ebadi, An addition to putnam’s quantum logic, Philosophical Research Quarterly, 18 no. 46 (2024) 130–149. [In Persian]
[6] K. Engesser, D. M. Gabbay and D. Lehmann, A new approach to quantum logic, Studies in Logic (London), 8, College Publications, London, 2007.
[7] R. P. Feynman, R. B. Leighton and M. Sands, The Feynman lectures on physics, 3, Quantum mechanics. Addison-Wesley Publishing Co., Inc., Reading, Mass.-London, 1965.
[8] G. E. Hughes and M. J. Cresswell, An introduction to modal logic, Methuen & Co., Ltd., London, 1968.
[9] M. Pavičić, Minimal quantum logic with merged implications,Internat. J. Theoret. Phys., 26 no. 9 (1987) 845–852.
[10] M. Pavicic, Unified quantum logic,Found. Phys., 19 no. 8 (1989) 999–1016.
[11] , M. Rédei, The birth of quantum Hist. Philos. Logic, 28 no. 2 (2007) 107–122.
[12] E. W. Stachow, Logical foundations of quantum mechanics, Internat. J. Theoret. Phys., 19 no. 4 (1980) 251–305.
[13] K. Svozi, Quantum logic, A brief outline, Arxive: quant-ph/9902042v2, 2005.

Files

History

  • Receive Date: 02 December 2024
  • Revise Date: 24 September 2025
  • Accept Date: 30 September 2025
  • Publish Date: 02 November 2025

Share

How to cite

Statistics