Abstract
This paper is an exploratory prolegomenon to the construction of a quantum logic that could shed some light on the thesis of the unity of science. We attempt to take account of the following factors, among others: the difficulty of saying just what a logic is, the startlingly simplequeerness of quantum mechanics from the classical point of view, the consequences of the breakdown of bivalence and individuation in quantum mechanics, and the implications of recent work in quantum computation for quantum logic. We tentatively endorse modal interpretations of quantum mechanics, and suggest that quantum computation points to ways in which quantum logic could be extended beyond the traditional Birkhoff-von Neumann lattice theoretic approach.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Anderson, A. R. and N. D. Belnap: 1975, Entailment: The Logic of Relevance and Necessity, Vol. I, Princeton, Princeton University Press.
Barwise, J.: 1977, Handbook of Mathematical Logic, Amsterdam, North Holland.
Bell, J. L.: 1986, ‘A New Approach to Quantum Logic’, British Journal for the Philosophy of Science 37, 83–99.
Bell, J. S.: 1987, Speakable and Unspeakable in Quantum Mechanics, Cambridge, Cambridge University Press.
Beltrametti, E. G. and B. C. van Fraassen (eds.): 1981, Current Issues in Quantum Logic, New York, Plenum.
Benford, Greg: 1998, Cosm, New York, Avon Books.
Bohm, David, and Basil Hiley: 1993, The Undivided Universe: An Ontological Interpretation of Quantum Theory, London, Routledge.
Birkhoff, G. and J. von Neumann: 1936, ‘The Logic of Quantum Mechanics’, Annals of Mathematics 37, 823–843; reprinted in Hooker (ed.) 1975, pp. 1–26.
Bohm, D. and B. J. Hiley: 1993, The Undivided Universe: An Ontological Interpretation of Quantum Theory, London and New York, Routledge.
Brown, Bryson: 1992, ‘Old Quantum Theory: A Paraconsistent Approach’, in Proceedings of the Biennial Meeting of the Philosophy of Science AssociationVol. II, pp. 397–411.
Bub, J.: 1997, Interpreting the Quantum World, Cambridge, Cambridge University Press.
Catellani, E. (ed.): 1998, Interpreting Bodies: Classical and Quantum Objects in Modern Physics, Princeton, Princeton University Press.
Cushing, J. T., A. Fine and S. Goldstein (eds.): 1996, Bohmian Mechanics and Quantum Theory: An Appraisal, Dordrecht, Kluwer.
della Chiara, M. L.: 1986, in Gabbay and Guenther (eds.), Quantum Logic, pp. 427–467.
Deutsch, D.: 1985. ‘Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer’, Proceedings of the Royal Society of London A 400, 97–117.
Deutsch, David: 1997, The Fabric of Reality, London, Penguin Books.
Deutsch, D., A. Ekert and R. Lupacchini: 1999, ‘Machines, Logic, and Quantum Physics’, http://xxx.lanl.gov/abs/math.HO/9911150.
de Witt, B. S. and N. Graham (eds.): 1973, The Many-Worlds Interpretation of Quantum Mechanics, Princeton, Princeton University Press.
Dickson, M.: 2001, ‘Quantum Logic is Alive ∧ (It is True ∨ It is False)’, Philosophy of Science 68, S274–S287.
Dürr, D., S. Goldstein and N. Zanghì: 1995, ‘Quantum Physics without Quantum Philosophy’, Studies in the History and Philosophy of Modern Physics 26(2), 137–149.
Engesser, K. and D. Gabbay: forthcoming, ‘Quantum Logic, Hilbert Space, and Revision Theory’.
Everett, H.: 1957, ‘ “Relative State” Formulation of Quantum Mechanics’, Physical Review 29(3), 454–462.
Feynman, R. P., R. B. Leighton and M. Sands: 1965, The Feynman Lectures on PhysicsVol. III, Reading, MA, Addison-Wesley.
Gabbay, D. and F. Guenther (eds.): 1986, Handbook of Philosophical Logic, Vol. III: Alternatives to Classical Logic, Dordrecht, Kluwer.
Gabbay, D. and J. Woods: 2001, ‘The New Logic’, Logic Journal of the IGPL 9, 157–190.
Gibbins, P.: 1987, Particles and Paradoxes: The Limitations of Quantum Logic, Cambridge, Cambridge University Press.
Hooker, C. A. (ed.): 1975, The Logico-Algebraic Approach to Quantum Mechanics, Vol. I, Dordrecht, Reidel.
Hughes, R. I. G.: 1981, ‘Quantum Logic’, Scientific American 245(4), 202–213.
Hughes, R. I. G.: 1989, The Structure and Interpretation of Quantum Mechanics, Cambridge, MA, Harvard University Press.
Kleene, S.: 1967, Mathematical Logic, New York, John Wiley and Sons.
Nielsen, M. A. and I. L. Chuang: Quantum Computation and Quantum Information, Cambridge, Cambridge University Press.
Penrose, R. and C. Isham (eds.): 1986, Quantum Processes in Space and Time, Oxford, Clarendon Press.
Pitowsky, I.: 1984. ‘Goerge Boole's “Conditions of Possible Experience” and the Quantum Puzzle’, British Journal for the Philosophy of Science 45, 95–125.
Pitowsky, I.: 1989, Quantum Probability – Quantum Logic, Berlin, Springer-Verlag.
Putnam, Hilary: 1975a, ‘A Philosopher Looks at Quantum Mechanics’, in Mathematics, Matter and Method, Cambridge, Cambridge University Press, pp. 130–158.
Putnam, Hilary: 1975b, ‘The Logic of Quantum Mechanics’, in Mathematics, Matter and Method, Cambridge, Cambridge University Press, pp. 174–197; first published as ‘Is logic Empirical?’, in R. Cohen and M. Wartofsky (eds.), Boston Studies in the Philosophy of Science 5, Dordrecht, D. Reidel, 1968.
Rescher, N.: 1968, Topics in Philosophical Logic, Dordrecht, D. Reidel.
Schrödinger, E.: 1983 (1935), ‘The Present Situation in Quantum Mechanics’, translation by J. D. Trimmer of ‘Die gegenwärtige Situation in der Quantenmechanik’, Naturwissenschaften 23, 807–812, 823–828, 844–849; reprinted in Wheeler and Zurek (eds.): 1983, pp. 152–167.
Shimony, A.: 1986, in Penrose and Isham (eds.), Events and Processes in the Quantum World, pp. 182–203.
Shoenfield, J. R.: 1967, Mathematical Logic, Reading, MA, Addison-Wesley.
Teller, P.: 1998, in Castellani (ed.), Quantum Mechanics and Haecceities, pp. 114–141.
Tennant, N.: 1993, Autologic, Edinburgh, Edinburgh University Press.
van Fraassen, B. C.: 1981, in Beltrametti and van Fraassen (eds.), A Modal Interpretation of Quantum Mechanics, pp. 229–258.
van Fraassen, B. C.: 1988, in Castellani (ed.), The Problem of Indistinguishable Particles, pp. 73–92.
Wheeler, J. A. and W. H. Zurek (eds.): 1983, Quantum Theory and Measurement, Princeton, Princeton University Press.
Wilson, M. D. (ed.): 1969, The Essential Descartes, New York, New American Library.
Woods, J.: 2004, The Death of Argument: Fallacies in Agent-Based Reasoning, Dordrecht and Boston, Kluwer.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Woods, J., Peacock, K.A. (2009). Quantum Logic and the Unity of Science. In: Rahman, S., Symons, J., Gabbay, D.M., Bendegem, J.P.v. (eds) Logic, Epistemology, and the Unity of Science. Logic, Epistemology, And The Unity Of Science, vol 1. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-2808-3_15
Download citation
DOI: https://doi.org/10.1007/978-1-4020-2808-3_15
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-2486-2
Online ISBN: 978-1-4020-2808-3
eBook Packages: Springer Book Archive