Abstract
The status and justification of quantum logic are reviewed. On the basis of several independent arguments it is concluded that it cannot be a logic in the philosophical sense of a general theory concerning the structure of valid inferences. Taken as a calculus for combining quantum mechanical propositions, it leaves a number of significant aspects of quantum physics unaccounted for. It is shown, moreover, that quantum logic, far from being more general than Boolean logic, forms a subset of a slight and natural extension of Boolean logic, a subset which corresponds to incomplete statements. The philosophical background of this unsatisfactory state of affairs is briefly explored.
Similar content being viewed by others
References
G. Birkhoff and J. von Neumann,Ann. Math. 36, 823 (1936).
K. R. Popper,Nature (London) 219, 682 (1968).
G. W. Mackey,Mathematical Foundations of Quantum Mechanics (Benjamin, Reading, Massachusetts, 1963).
J. M. Jauch,Foundations of Quantum Mechanics (Addison-Wesley, Reading, Massachusetts, 1968).
C. Piron,Foundations of Quantum Physics (Benjamin, Reading, Massachusetts, 1976).
S. P. Gudder, inProbabilistic Methods in Applied Mathematics, A. Bharucha-Reid, ed. (Academic Press, New York, 1970);J. Math. Phys. 8, 1848 (1967);Stochastic Methods in Quantum Mechanics (North-Holland, New York, 1979).
H. Putnam, inBoston Studies in the Philosophy of Science V, R. S. Cohen and M. W. Wartofsky, eds. (D. Reidel, Dordrecht, 1969), p. 216; see also D. Finkelstein,ibid., p. 177; J. Bub,The Interpretation of Quantum Mechanics (D. Reidel, Dordrecht, 1974); H. Putnam,Synthese 29, 55 (1974).
P. Suppes,Philos. Science 33, 14 (1966).
S. P. Gudder,J. Math. Phys. 11, 431 (1970);Int. J. Theor. Phys. 19, 163 (1980).
D. Hilbert and W. Ackermann,Grundzüge der Theoretischen Logik (Springer, Berlin, 1949), 3rd. edn.
R. J. Greechie and S. P. Gudder,Helv. Phys. Acta 44, 238 (1971).
G. M. Hardegree, inLogic and Probability in Quantum Mechanics, P. Suppes, ed. (D. Reidel, Dordrecht, 1976), p. 55.
P. Mittelstaedt,Naturwissenschaften 47, 385 (1960);Fortschr. Phys. 9, 106 (1961);Rendiconti Scuola Int. di Fisca “Enrico Fermi” LXXII (North-Holland, New York, 1979), p. 264.
S. C. Kleene,Introduction to Metamathematics (D. Van Nostrand, Princeton, New Jersey, 1952), p. 82.
M. J. Mçaczyński,Rep. Math. Phys. 2, 135 (1971).
M. Jammer,The Philosophy of Quantum Mechanics (Wiley, New York, 1974), Chapter 8.
T. A. Brody,Rev. Mex. Fís. 27, 583 (1981).
A. Shimony,Found. Phys. 1, 325 (1971).
S. P. Gudder, inMathematical Foundations of Quantum Theory A. R. Marlow, ed. (Academic Press, New York, 1978), p. 87.
M. J. Mçaczyński, inCurrent Issues in Quantum Logic, E. G. Beltrametti and B. C. van Fraassen, eds. (Plenum, New York, 1981), p. 355.
P. C. Deliyannis,J. Math. Phys. 14, 249 (1973);17, 248 (1976).
V. Cantoni,Commun. Math. Phys. 44, 125 (1975).
B. Mielnik, inCurrent Issues in Quantum Logic, E. G. Beltrametti and B. C. van Frassen, eds. (Plenum, New York, 1981), p. 465.
B. Mielnik, inQuantum Mechanics, Determinism, Causality and Particles, M. Flato et al., eds. (D. Reidel, Dordrecht, 1976), p. 117.
R. M. Cooke and J. Hilgevoord, inCurrent Issues in Quantum Logic, E. G. Beltrametti and B. C. van Fraassen, eds. (Plenum, New York, 1981), p. 101.
T. A. Brody,Symbol-Manipulation Techniques for Physicists (Gordon and Breach, New York, 1968).
W. Guz,Ann. Inst. Henri Poincaré A 28, 1 (1978).
R. Carnap,Der logische Aufbau der Welt (Weltkreisverlag, Berlin, 1928).
C. G. Hempel,Aspects of Scientific Explanation (Macmillan, New York, 1965).
P. Achinstein and S. F. Barker, eds.,The Legacy of Logical Positivism (Johns Hopkins Press, Baltimore, Maryland, 1969).
M. Cornforth,Science versus Idealism (Lawrence and Wishart, London, 1946).
P. Heelan,Synthese 21, 2 (1970).
A. Fine, inParadigms and Paradoxes, R. G. Colodny, ed. (Pittsburgh University Press, Pittsburg, Pennsylvania, 1972), p. 3.
M. Born,Z. Phys. 38, 803 (1926).
W. O. Amrein, inScattering Theory in Mathematical Physics, J. A. Lavita and J.-P. Marchand, eds. (Reidel, Dordrecht, 1974), p. 97; D. B. Pearson,Helv. Phys. Acta 47, 249 (1974);J. Funct. Anal. 28, 182 (1978); M. Reed and B. Simon,Methods of Modern Mathematical Physics, Vol. 3:Scattering Theory (Academic Press, New York, 1979).
T. A. Brody,Rev. Mex. Fís. 29, 461 (1983), and references cited therein.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Brody, T.A. On quantum logic. Found Phys 14, 409–430 (1984). https://doi.org/10.1007/BF00738809
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00738809