AbstractSince the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic sense) to the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of partitions to the quantum logic of direct-sum decompositions (i.e., the vector space version of a set partition) of a general vector space--which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the logic to express measurement by any self-adjoint operators rather than just the projection operators associated with subspaces. In this introductory paper, the focus is on the quantum logic of direct-sum decompositions of a finite-dimensional vector space (including such a Hilbert space). The primary special case examined is finite vector spaces over ℤ₂ where the pedagogical model of quantum mechanics over sets (QM/Sets) is formulated. In the Appendix, the combinatorics of direct-sum decompositions of finite vector spaces over GF(q) is analyzed with computations for the case of QM/Sets where q=2.
Similar books and articles
Deduction, Ordering, and Operations in Quantum Logic.Normal D. Megill & Mladen Pavičić - 2002 - Foundations of Physics 32 (3):357-378.
Quantum Logics and Hilbert Space.Sylvia Pulmannová - 1994 - Foundations of Physics 24 (10):1403-1414.
Quantum Logic as a Fragment of Independence-Friendly Logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
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.
Operational Foundation of Quantum Logic.P. Mittelstaedt & E. W. Stachow - 1974 - Foundations of Physics 4 (3):355-365.
Quantum Logics with the Existence Property.Christian Schindler - 1991 - Foundations of Physics 21 (4):483-498.
Added to PP
Historical graph of downloads
Citations of this work
Logical Entropy: Introduction to Classical and Quantum Logical Information Theory.David Ellerman - 2018 - Entropy 20 (9):679.
Follow the Math!: The Mathematics of Quantum Mechanics as the Mathematics of Set Partitions Linearized to (Hilbert) Vector Spaces.David Ellerman - 2022 - Foundations of Physics 52 (5):1-40.
References found in this work
The Problem of Hidden Variables in Quantum Mechanics.Simon Kochen & E. P. Specker - 1967 - Journal of Mathematics and Mechanics 17:59--87.
Quantum Computation and Quantum Information.Michael A. Nielsen, Isaac L. Chuang & Isaac L. Chuang - 2000 - Cambridge University Press.
The Structure and Interpretation of Quantum Mechanics.R. I. G. Hughes - 1989 - Harvard University Press.