Abstract
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear “no”. Philosophically, our argument is based on combining a formal semantic approach, in the spirit of E. W. Beth’s proposal of applying Tarski’s semantical methods to the analysis of physical theories, with an empirical–experimental approach to Logic, as advocated by both Beth and Putnam, but understood by us in the view of the operational- realistic tradition of Jauch and Piron, i.e. as an investigation of “the logic of yes–no experiments” (or “questions”). Technically, we use the recently-developed setting of Quantum Dynamic Logic (Baltag and Smets 2005, 2008) to make explicit the operational meaning of quantum-mechanical concepts in our formal semantics. Based on our recent results (Baltag and Smets 2005), we show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional. We conclude that there is no contradiction between classical logic and (our dynamic reinterpretation of) quantum logic. Moreover, we argue that the Dynamic-Logical perspective leads to a better and deeper understanding of the “non-classicality” of quantum behavior than any perspective based on static Propositional Logic.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Amira H., Coecke B., Stubbe I. (1998) How quantales emerge by introducing induction within the operational approach. Helvetica Physica Acta 71: 554–572
Bacciagaluppi G. (2008) Is logic empirical?. In: Engesser K., Gabbay D. M., Lehmann D. (eds) Handbook of quantum logic and quantum structures. Elsevier, Amsterdam
Baltag, A., & Smets, S. (2004). The logic of quantum programs. In P. Selinger (Ed.), Proceedings of the second international workshop on quantum programming languages (QPL2004), TUCS General Publication (Vol. 33, pp. 39–56). Turku Center for Computer Science.
Baltag A., Smets S. (2005) Complete axiomatizations of quantum actions. International Journal of Theoretical Physics 44(12): 2267–2282
Baltag, A., & Smets, S. (2006a). LQP: The dynamic logic of quantum information. In Mathematical structures in computer science, Special Issue on Quantum Programming Languages Vol. 16(3), pp. 491–525.
Baltag, A., & Smets, S. (2006b). Logics for quantum information flow. Lecture notes, Course presented at ESSLLI2006, Malaga, Spain. www.vub.ac.be/CLWF/SS/slides.html.
Baltag, A., & Smets, S. (2008). A dynamic-logical perspective on quantum behavior. In L. Horsten & I. Douven (Eds.), Special issue: Applied logic in the philosophy of science. Studia logica. 89, 178–211.
Baltag, A., & Smets, S. (2010). Correlated knowledge, an epistemic-logic view on quantum entanglement. International Journal of Theoretical Physics. Accessed 1 July 2010.
Bell J., Hallett M. (1982) Logic, quantum logic and empiricism. Philosophy of Science 49: 355–379
Beth, E. W. (1948). De wetenschap als cultuurfactor. In De functie der wetenschap. Tweede symposion der Socië teit voor Culturele Samenwerking, s Gravenhage, 7–19, 1948. Translated from Dutch as “Science as a cultural factor (1948)” in E. W. Beth, Science a road to wisdom, collected philosophical studies, D. Reidel Publishing Company, Dordrecht, 1968.
Beth, E. W. (1948/49). Analyse sémantique des théories physiques. Synthese, 7, 206–207.
Beth, E. W. (1949a). Natuurphilosophie. Gorinchem: Noorduijn en zoon n.v.
Beth E.W. (1949b) Towards an up-to-date philosophy of the natural sciences. Methodos 1: 178–185
Beth E. W. (1960) Semantics of physical theories. Synthese 12: 172–175
Beth, E. W. (1968a). Scientific philosophy: Its aims and means (1948). In Science a road to wisdom, collected philosophical studies. Dordrecht: D. Reidel Publishing Company.
Beth, E. W. (1968b). “In Retrospect (1960)”, translated from Dutch in Science a road to wisdom, collected philosophical studies. Dordrecht: D. Reidel Publishing Company.
Birkhoff, G., & von Neumann, J. (1936). The logic of quantum mechanics. Annals of Mathematics, 37, 823–843, reprinted in C. A. Hooker (Ed.), The Logico-algebraic approach to quantum mechanics (Vol. 1, pp. 1–26). Dordrecht: D. Reidel Publishing Company.
Butrick R. (1971) Discussion: Putnam’s revolution. Philosophy of Science 38: 290–292
Cattaneo C., Nisticó G. (1991) Axiomatic foundations of quantum physics: Critiques and misunderstandings. Piron’s question-proposition system. International Journal of Theoretical Physics 30: 1293–1336
Coecke B., Moore D.J., Smets S. (2004) Logic of dynamics & dynamics of logic; some paradigm examples. In: Rahman S., Symons J., Gabbay D.M., Van Bendegem J.P. (eds) Logic, epistemology and the unity of science. Springer, Netherlands, pp 527–556
Coecke B., Moore D. J., Stubbe I. (2001) Quantaloids describing causation and propagation for physical properties. Foundations of Physics Letters 14: 357–367
Coecke B., Smets S. (2004) The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes. International Journal of Theoretical Physics 43: 1705–1736
Dalla Chiara M., Giuntini R., Greechie R. (2004) Reasoning in quantum theory, sharp and unsharp quantum logics. Kluwer Academic Publishers, Dordrecht
Daniel W. (1989) Axiomatic description of irreversible and reversible Evolution of a physical system. Helvetica Physica Acta 62: 941–968
Drieschner M. (1977) Is (quantum) logic empirical?. Journal of Philosophical Logic 6: 415–423
Dummett, M. (1976). Is logic empirical? In H. D. Lewis (Ed.), Contemporary British Philosophy (pp. 45–68). London: George Allen and Unwin. Reprinted in M. Dummett, Truth and Other Enigmas, p.269-289, Duckwort UK, 1978
Faure C. L.-A., Moore D. J., Piron C. (1995) Deterministic evolutions and Schrodinger flows. Helvetica Physica Acta 68: 150–157
Friedman M., Glymour C. (1972) If quanta had logic. Journal of Philosophical Logic 1: 16–28
Gardner M. R. (1971) Is Quantum logic really logic?. Philosophy of Science 38: 508–529
Goldblatt R. (1974) Semantic analysis of orthologic. Journal of Philosophical Logic 3: 19–35
Goldblatt R. (1984) Orthomodularity is not elementary. Journal of Symbolic Logic 49: 401–404
Harel D., Kozen D., Tiuryn J. (2000) Dynamic logic. MIT Press, Cambridge
Hughes R. I. G. (1979) Realism and quantum logic. In: Beltrametti G. E., van Fraassen B. C. (eds) Current issues in quantum logic. Plenum Press, New York, pp 77–87
Jauch J. M. (1968) Foundations of quantum mechanics, reading. Addison-Wesley, Reading, MA
Jauch J. M., Piron C. (1969) On the structure of quantal proposition systems. Helvetica Physica Acta 42: 842–848
Jauch J. M., Piron C. (1970) What is “Quantum-Logic”?. In: Freund P. G. O., Goebel C. J., Nambu Y. (eds) Quanta. University Press, Chicago
Mayet R. (1998) Some characterizations of the underlying division ring of a hilbert lattice by automorphisms. International Journal of Theoretical Physics 37(1): 109–114
Moore D. J. (1999) On state spaces and property lattices. Studies in History and Philosophy of Modern Physics 30: 61–83
Piron, C. (1964). Axiomatique quantique (Ph.D. thesis). Helvetica Physica Acta, 37, 439–468. English Translation by M. Cole: Quantum Axiomatics RB4 Technical memo 107/106/104, GPO Engineering Department, London.
Piron C. (1976) Foundations of quantum physics. W.A. Benjamin Inc, Reading, MA
Piron, C. (1990). Mécanique quantique.Bases et applications (1st ed.). Lausanne: Presses polytechniques et universitaires romandes (Second corrected edition 1998).
Putnam H. (1968) Is logic empirical?. In: Cohen R., Wartofsky M. (eds) Boston studies in the philosophy of science (Vol.5). D. Reidel Publishing Company, Dordrecht
Smets, S. (2001a). On causation and a counterfactual in quantum logic: The Sasaki hook. Logique et Analyse, 173–175, 307–325.
Smets, S. (2001b). The logic of physical properties, in static and dynamic perspective. Ph.D. thesis, Free University of Brussels.
Smets S. (2006) From intuitionistic logic to dynamic operational quantum logic. Poznan Studies in Philosophy and the Humanities 91: 257–275
Solèr M. P. (1995) Characterization of Hilbert spaces by orthomodular spaces. Communications in Algebra 23(1): 219–243
Stairs A. (1983) Quantum logic, realism, and value definiteness. Philosophy of Science 50: 578–602
van Benthem J. (1996) Exploring logical dynamics, studies in logic, language and information. CSLI Publications, Stanford
van Benthem, J. (in press). Logical dynamics of information and interaction. Cambridge University Press, to appear.
van Benthem, J., Ulsen, P., Visser, H. (eds) (2008) Logic and scientific philosophy. An E.W. Beth centenary celebration. Beth Foundation, Amsterdam
van Fraassen B.C. (1970) On the extension of Beth’s semantics of physical theories. Philosophy of Science 37(3): 325–339
van Fraassen B. C. (1987) The semantic approach to scientific theories. In: Nersessian N. J. (ed.) The process of science: Contemporary philosophical approaches to understanding scientific practice. Kluwer Academic Publishers, Dordrecht, pp 104–124
von Neumann, J. (1932). Grundlagen der Quantenmechanik. Berlin: Springer Verlag. English translation Mathematical Foundations of Quantum Mechanics. New Jersey: Princeton University Press, 1996.
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Baltag, A., Smets, S. Quantum logic as a dynamic logic. Synthese 179, 285–306 (2011). https://doi.org/10.1007/s11229-010-9783-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-010-9783-6