Abstract
The principle of excluded middle is the logical interpretation of the law V ⩽ A v ⌉ in an orthocomplemented lattice and, hence, in the lattice of the subspaces of a Hilbert space which correspond to quantum mechanical propositions. We use the dialogic approach to logic in order to show that, in addition to the already established laws of effective quantum logic, the principle of excluded middle can also be founded. The dialogic approach is based on the very conditions under which propositions can be confirmed by measurements. From the fact that the principle of excluded middle can be confirmed for elementary propositions which are proved by quantum mechanical measurements, we conclude that this principle is inherited by all finite compound propositions. For this proof it is essential that, in the dialog-game about a connective, a finite confirmation strategy for the mutual commensurability of the subpropositions is used.
Similar content being viewed by others
Bibliography
Jauch, J. M., 1968, Foundations of Quantum Mechanics, Addison-Wesley Publ. Co., Reading, Mass.
Kamber, F., 1965, Math. Ann. 158, 158; Gleason, A. M., 1957, J. Math. and Mech. 6, 885; Kochen, S. and Specker E., 1967, J. Math. and Mech. 17, 59.
Mittelstaedt, P., 1976, Philosophical Problems of Modern Physics, D. Reidel Publ. Co., Dordrecht.
Mittelstaedt, P., 1976, Quantum Logic, in R. S. Cohen et al. (ed.), Proceedings of the 1974 Biennial Meeting of the PSA, p. 501, D. Reidel Publ. Co., Dordrecht.
Stachow, E.-W., ‘Quantum Logical Calculi and Lattice Structures’, Journal of Philosophical Logic (to be published).
Curry, H. B., 1963, Foundations of Mathematical Logic, McGraw-Hill Book Co., New York, p. 143.
Lorenzen, P., 1965, Formal Logic, D. Reidel Publ. Co., Dordrecht.
Cf. ref. [4].
Stachow, E.-W., 1976, ‘Completeness of Quantum Logic’, Journal of Philosophical Logic 5, 237–280.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mittelstaedt, P., Stachow, E.W. The principle of excluded middle in quantum logic. J Philos Logic 7, 181–208 (1978). https://doi.org/10.1007/BF00245927
Issue Date:
DOI: https://doi.org/10.1007/BF00245927