Hostname: page-component-cd9895bd7-mkpzs Total loading time: 0 Render date: 2024-12-25T07:07:35.007Z Has data issue: false hasContentIssue false

Is Quantum Logic Really Logic?

Published online by Cambridge University Press:  14 March 2022

Michael R. Gardner*
Affiliation:
Harvard University

Extract

Putnam and Finkelstein have proposed the abandonment of distributivity in the logic of quantum theory. This change results from defining the connectives, not truth-functionally, but in terms of a certain empirical ordering of propositions. Putnam has argued that the use of this ordering (“implication”) to govern proofs resolves certain paradoxes. But his resolutions are faulty; and in any case, the paradoxes may be resolved with no changes in logic. There is therefore no reason to regard the partially ordered set of propositions as a logic—i.e. as embodying a criterion for soundness of proofs. Its role in quantum theory ought to be understood in an entirely different way.

Type
Research Article
Copyright
Copyright © 1971 by The Philosophy of Science Association

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

Present address: Dept. of Philosophy, Mount Holyoke College, South Hadley, Ma. This paper is based upon part of a Ph.D. dissertation, Harvard University, 1971. I wish to acknowledge helpful conversations with Jeffrey Bub, Imre Lakatos, Sir Karl Popper, Hilary Putnam, Abner Shimony, and Lawrence Sklar.

References

[1] Ballentine, L. E.The Statistical Interpretation of Quantum Mechanics.” Review of Modern Physics 42 (1970): 358.CrossRefGoogle Scholar
[2] Basic Works of Aristotle. Edited by R. McKeon. New York, 1941.Google Scholar
[3] Bell, J. S.On the Problem of Hidden Variables in Quantum Mechanics.” Review of Modern Physics 38 (1966): 447.CrossRefGoogle Scholar
[4] Birkhoff, G. and Neumann, J. von.The Logic of Quantum Mechanics.” Annals of Mathematics 37 (1936): 823.CrossRefGoogle Scholar
[5] Bohm, D. Quantum Theory. Englewood Cliffs, N.J., 1951.Google Scholar
[6] Fine, A. “Some Conceptual Problems of Quantum Theory.” Pittsburgh Series in Philosophy of Science 5 (1972).Google Scholar
[7] Finkelstein, D. “Matter, Space, and Logic.” Boston Studies in Philosophy of Science 5. Edited by V. R. Cohen and M. Wartofsky. Dordrecht, 1970.CrossRefGoogle Scholar
[8] Fraassen, B. C. van.The Labyrinth of Quantum Logics.” Unpublished. University of Toronto.Google Scholar
[9] Goldstein, H. Classical Mechanics. Reading, Mass., 1959.Google Scholar
[10] Heisenberg, W. Physical Principles of the Quantum Theory. Translated by C. Eckart and F. Holt. New York, 1930.Google Scholar
[11] Jauch, J. M. Foundations of Quantum Mechanics. London, 1968.CrossRefGoogle Scholar
[12] Jordan, T. F. Linear Operators for Quantum Mechanics. New York, 1969.CrossRefGoogle Scholar
[13] Kochen, S. and Specker, E. P.The Problem of Hidden Variables in Quantum Mechanics.” Journal of Mathematics and Mechanics 17 (1967): 59.Google Scholar
[14] Mackey, G. The Mathematical Foundations of Quantum Mechanics. New York, 1963.Google Scholar
[15] Neumann, J. von. The Mathematical Foundations of Quantum Mechanics. Translated by R. Beyer. Princeton, 1955. (German ed., 1932).Google Scholar
[16] Park, J. L. and Margenau, H.Simultaneous Measurability in Quantum Theory.” International Journal of Theoretical Physics 1 (1968): 211.CrossRefGoogle Scholar
[17] Peirce, C. “Logic.” In Dictionary of Philosophy and Psychology. Edited by J. Baldwin. New York, 1925.Google Scholar
[18] Piron, C.Quantum Axiomatics.” Helvetica Physica Acta 37 (1964): 439.Google Scholar
[19] Popper, K. R. Logic of Scientific Discovery. New York, 1965. (German ed., 1934).Google Scholar
[20] Popper, K. R. “Quantum Mechanics without ‘the Observer’.” Quantum Theory and Reality. Edited by M. Bunge. New York, 1967.CrossRefGoogle Scholar
[21] Putnam, H. “Is Logic Empirical?” Boston Studies in Philosophy of Science 5. Edited by V. R. Cohen and M. Wartofsky. Dordrecht, 1970.CrossRefGoogle Scholar
[22] Quine, W. V. Methods of Logic. New York, 1959.Google Scholar
[23] Quine, W. V. Word and Object. Cambridge, Mass., 1960.Google Scholar
[24] Quine, W. V. From a Logical Point of View. New York, 1963.Google Scholar
[25] Quine, W. V. Ways of Paradox. New York, 1966.Google Scholar
[26] Quine, W. V. Philosophy of Logic. Englewood Cliffs, N.J., 1970.Google Scholar
[27] Reichenbach, H. Philosophic Foundations of Quantum Mechanics. Berkeley, 1944.Google Scholar
[28] Varadarajan, V. S. Geometry of Quantum Theory, Princeton, 1968.CrossRefGoogle Scholar