Quantum Logic

Dordrecht, Netherland: Reidel (1978)
  Copy   BIBTEX

Abstract

In 1936, G. Birkhoff and J. v. Neumann published an article with the title The logic of quantum mechanics'. In this paper, the authors demonstrated that in quantum mechanics the most simple observables which correspond to yes-no propositions about a quantum physical system constitute an algebraic structure, the most important proper ties of which are given by an orthocomplemented and quasimodular lattice Lq. Furthermore, this lattice of quantum mechanical proposi tions has, from a formal point of view, many similarities with a Boolean lattice L8 which is known to be the lattice of classical propositional logic. Therefore, one could conjecture that due to the algebraic structure of quantum mechanical observables a logical calculus Q of quantum mechanical propositions is established, which is slightly different from the calculus L of classical propositional logic but which is applicable to all quantum mechanical propositions. This calculus has sometimes been called 'quan tum logic'. However, the statement that propositions about quantum physical systems are governed by the laws of quantum logic, which differ from ordinary classical logic and which are based on the empirically well-established quantum theory, is exposed to two serious objec tions: Logic is a theory which deals with those relationships between various propositions that are valid independent of the content of the respective propositions. Thus, the validity of logical relationships is not restricted to a special type of proposition, e. g. to propositions about classical physical systems.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On some matrix of the Birkhoff and V.Neumann quantum logic.Miroslaw Majewski - 1978 - Bulletin of the Section of Logic 7 (3):133-136.
Boolean Algebras and Distributive Lattices Treated Constructively.John L. Bell - 1999 - Mathematical Logic Quarterly 45 (1):135-143.
Quantum Logic and Quantum Reconstruction.Allen Stairs - 2015 - Foundations of Physics 45 (10):1351-1361.
On quantum logic.T. A. Brody - 1984 - Foundations of Physics 14 (5):409-430.
Free Boolean Correlations Lattices.Manuel Abad, Alicia Fernandez & Nelli Meske - 1996 - Reports on Mathematical Logic:2-11.
Logique quantique et intrication.Pierre Uzan - 2014 - Logos and Episteme 5 (3):303-318.
Quantum Logic.C. de Ronde, and, G. Domenech & H. Freytes - 2016 - Internet Encyclopedia of Philosophy.
Sheaf-theoretic representation of quantum measure algebras.Elias Zafiris - 2006 - Journal of Mathematical Physics 47 (9).
Complementarity in Categorical Quantum Mechanics.Chris Heunen - 2012 - Foundations of Physics 42 (7):856-873.
Free modal lattices via Priestley duality.Claudia B. Wegener - 2002 - Studia Logica 70 (3):339 - 352.
Probing quantum structure with Boolean localization systems.Elias Zafiris - 2000 - International Journal of Theoretical Physics 39 (12):2761-2778.

Analytics

Added to PP
2021-11-17

Downloads
5 (#1,344,576)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Are the Laws of Quantum Logic Laws of Nature?Peter Mittelstaedt - 2012 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 43 (2):215-222.
Putnam on realism, reference and truth: The problem with quantum mechanics.Christopher Norris - 2001 - International Studies in the Philosophy of Science 15 (1):65 – 91.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references