Published online by Cambridge University Press: 21 March 2022
In concluding their major survey, “Quantum Logics,” Greechie and Gudder (1975) listed four outstanding directions for future research, the last of which was, “Explain the meaning of the word ‘logic’ in the title of this paper.” Broadly speaking, there are two radically different points of view on this. There is the view that, taken strictly, ‘logic’ is a misnomer: quantum logic studies certain algebraic structures naturally arising from the formal, apparatus of quantum theory, structures which may afford insights into quantum physics, on a number of levels, but which do not in any way involve giving up or replacing classical logical laws. (Cf., e.g., Jauch (1968, p. 77).) In contrast, there is the view that the non-Boolean structures arising from the Hilbert space formalism should be taken as giving rise to a genuine non-classical logic, in conflict with classical logic, but appropriate to the description of quantum mechanical reality.
This material is in part based upon work supported by the National Science Foundation under Grant No. SES-7924874. I am grateful to Linda : Wessels, J. Michael Dunn, J. Alberto Coffa, David Malament, and Richard Healey for helpful discussion on the issues of this paper, and to Bas van Fraassen, Nuel Belnap, and Hilary Putnam for thought-provoking correspondence .