Abstract
This paper is based on a semantic foundation of quantum logic which makes use of dialog-games. In the first part of the paper the dialogic method is introduced and under the conditions of quantum mechanical measurements the rules of a dialog-game about quantum mechanical propositions are established. In the second part of the paper the quantum mechanical dialog-game is replaced by a calculus of quantum logic. As the main part of the paper we show that the calculus of quantum logic is complete and consistent with respect to the dialogic semantics. Since the dialog-game does not involve the ‘excluded middle’ the calculus represents a calculus of effective (intuitionistic) quantum logic. In a forthcoming paper it is shown that this calculus is equivalent to a calculus of sequents and more interestingly to a calculus of propositions. With the addition of the ‘excluded middle’ the latter calculus is a model for the lattice of subspaces of a Hilbert space.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Birkhoff, G. and von Neumann J., Ann. of Math. 37, 823 (1936).
Jauch, J. M. and Piron, C. Helv. Phys. Acta 36, 827 (1963).
Pirón, C., Helv. Phys. Acta 37, 439 (1964)
Jauch, J. M., Foundations of Quantum Mechanics, Addison-Welsey Publ. Co. Reading, Mass. (1968)
Kamber, F., Math. Ann. 158, 158 (1965).
Gleason, A. M, J. of Math, and Mech. 6, 885 (1957)
Kochen, S. and E. P. Specker, J. of Math. and Mech. 17, 59 (1967)
Reichenbach, H., Philosophical Foundations of Quantum Mechanics, Benjamin (1963).
von Weizsäcker, C. F., Naturwiss., 42, 547 (1955).
Lorenzen, P., Metamathematik, Bibliographisches Institut, Mannheim (1962)
Kamlah, W. und Lorenzen, P. Logische Propädeutik, Bibliographisches Institut, Mannheim (1973).
Lorenz, K., Arch. f. Math. Logik und Grundlagenforschung, 11, (1968)
Mittelstaedt, P., Philosophical Problems of Modern Physics, Reidei, Dordrecht, (1975).
Mittelstaedt, P., and E.-W. Stachow, Found. of Physics 4, 355 (1974)
Stachow, E.-W., Dissertation, Universität zu Köln (1975).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Stachow, EW. (1979). Completeness of Quantum Logic. In: Hooker, C.A. (eds) Physical Theory as Logico-Operational Structure. The University of Western Ontario Series in Philosophy of Science, vol 7. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-9769-1_7
Download citation
DOI: https://doi.org/10.1007/978-94-009-9769-1_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-9771-4
Online ISBN: 978-94-009-9769-1
eBook Packages: Springer Book Archive