Abstract
The logic of quantum mechanical propositions—called quantum logic—is constructed on the basis of the operational foundation of logic. Some obvious modifications of the operational method, which come from the incommensurability of the quantum mechanical propositions, lead to the effective quantum logic. It is shown in this paper that in the framework of a calculization of this effective quantum logic the negation of a proposition is uniquely defined (Theorem I), and that a weak form of the quasimodular law can be derived (Theorem II). Taking account of the definiteness of truth values for quantum mechanical propositions, the calculus of full quantum logic can be derived (Theorem III). This calculus represents an orthocomplemented quasimodular lattice which has as a model the lattice of subspaces of Hilbert space.
Similar content being viewed by others
References
P. Lorenzen,Metamathematik (Bibliographisches Institut, Mannheim, 1962).
K. Lorenz,Archiv f. Math. Logik und Grundlagenforschung (1968).
W. Kamlah and P. Lorenzen,Logische Propädeutik (Bibliographisches Institut, Mannheim, 1967).
P. Mittelstaedt,Philosophical Problems of Modern Physics (D. Reidel Publishing Co., Dordrecht, Holland, 1974).
E. W. Stachow, Diplomarbeit, The University of Cologne, 1973.
E. W. Stachow, to be published.
F. Kamber,Math. Ann. 158, 158 (1965).
A. M. Gleason,J. Math. Mech. 6, 885 (1957).
S. Kochen and E. P. Specker,J. Math. Mech. 17, 59 (1967).
P. Mittelstaedt,Naturforsch. 27a, 1358 (1972), and the literature quoted therein.
J. M. Jauch,Foundations of Quantum Mechanics (Addison-Wesley, Reading, Massachusetts, 1968), and the literature quoted therein; J. M. Jauch and C. Piron,Helv. Phys. Acta 36, 827 (1963).
C. Piron,Helv. Phys. Acta 37, 439 (1964).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mittelstaedt, P., Stachow, E.W. Operational foundation of quantum logic. Found Phys 4, 355–365 (1974). https://doi.org/10.1007/BF00708541
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00708541