, Volume 78, Issue 2, pp 399–419 | Cite as

Recovering Quantum Logic Within an Extended Classical Framework

  • Claudio GarolaEmail author
  • Sandro Sozzo
Original Paper


We present a procedure which allows us to recover classical and nonclassical logical structures as concrete logics associated with physical theories expressed by means of classical languages. This procedure consists in choosing, for a given theory \({{\mathcal{T}}}\) and classical language \({{\fancyscript{L}}}\) expressing \({{\mathcal{T}}, }\) an observative sublanguage L of \({{\fancyscript{L}}}\) with a notion of truth as correspondence, introducing in L a derived and theory-dependent notion of C-truth (true with certainty), defining a physical preorder \(\prec\) induced by C-truth, and finally selecting a set of sentences ϕ V that are verifiable (or testable) according to \({{\mathcal{T}}, }\) on which a weak complementation is induced by \({{\mathcal{T}}. }\) The triple \((\phi_{V},\prec,^{\perp})\) is then the desired concrete logic. By applying this procedure we recover a classical logic and a standard quantum logic as concrete logics associated with classical and quantum mechanics, respectively. The latter result is obtained in a purely formal way, but it can be provided with a physical meaning by adopting a recent interpretation of quantum mechanics that reinterprets quantum probabilities as conditional on detection rather than absolute. Hence quantum logic can be considered as a mathematical structure formalizing the properties of the notion of verification in quantum physics. This conclusion supports the general idea that some nonclassical logics can coexist without conflicting with classical logic (global pluralism) because they formalize metalinguistic notions that do not coincide with the notion of truth as correspondence but are not alternative to it either.


Quantum Mechanic Classical Logic Quantum Logic Classical Mechanic Intended Interpretation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



The authors are greatly indebted with Prof. Carlo Dalla Pozza and Dr. Marco Persano for reading the manuscript and providing useful remarks and suggestions.


  1. Aerts, D. (1985). A possible explanation for the probabilities of quantum mechanics and a macroscopic situation that violates Bell inequalities. In Mittelstaedt, P., et al. (Eds.), Recent developments in quantum logic (pp. 235–251). Mannheim: Bibliographisches Institut.Google Scholar
  2. Aerts, D. (1986). A possible explanation for the probabilities of quantum mechanics. Journal of Mathematical Physics, 27, 202–210.CrossRefGoogle Scholar
  3. Aerts, D. (1987). The origin of the non-classical character of the quantum probability model. In Blanquiere, A., et al. (Eds.), Information, complexity and control in quantum physics (pp. 77–100). New York: Springer.Google Scholar
  4. Aerts, D. (1988). The physical origin of the EPR paradox and how to violate Bell inequalities by macroscopic systems. In Lahti, P., et al. (Eds.), Symposium on the foundations of modern physics (pp. 305–320). Singapore: World Scientific.Google Scholar
  5. Aerts, D. (1991). A macroscopic classical laboratory situation with only macroscopic classical entities giving rise to a quantum mechanical probability model. In Accardi, L. (Ed.), Quantum probability and related topics (pp. 75–85). Singapore: World Scientific.CrossRefGoogle Scholar
  6. Aerts, D. (1995). Quantum structures: An attempt to explain their appearance in nature. International Journal of Theoretical Physics, 34, 1165–1186.CrossRefGoogle Scholar
  7. Aerts, D. (1998). The hidden measurement formalism: What can be explained and where quantum paradoxes remain. International Journal of Theoretical Physics, 37, 291–304.CrossRefGoogle Scholar
  8. Aerts, D. (1999). Quantum mechanics: Structures, axioms and paradoxes. In Aerts, D., & Pykacz, J. (Eds.), Quantum physics and the nature of reality (pp. 141–205). Dordrecht: Kluwer.CrossRefGoogle Scholar
  9. Anderson, A. R., & Belnap, N. D. (1975). Entailment: The logic of relevance and necessity (Vol. I). Princeton: Princeton University Press.Google Scholar
  10. Anderson, A. R., Belnap, N. D., & Dunn, J. M. (1992). Entailment: The logic of relevance and necessity (Vol. II). Princeton: Princeton University Press.Google Scholar
  11. Bell, J. S. (1964). On the Einstein–Podolsky–Rosen paradox. Physics, 1, 195–200.Google Scholar
  12. Bell, J. S. (1966). On the problem of hidden variables in quantum mechanics. Review of Modern Physics, 38, 447–452.CrossRefGoogle Scholar
  13. Beltrametti, E. G., & Cassinelli, G. (1981). The logic of quantum mechanics. Reading, MA: Addison.Google Scholar
  14. Birkhoff, G., & von Neumann, J. (1936). The logic of quantum mechanics. Annals of Mathematics, 37, 823–843.CrossRefGoogle Scholar
  15. Dalla Chiara, M. L. (1974). Logica. Milano: ISEDI.Google Scholar
  16. Dalla Chiara, M. L., Giuntini, R., & Greechie, R. (2004). Reasoning in quantum theory. Dordrecht: Kluwer.CrossRefGoogle Scholar
  17. Dalla Pozza, C., & Garola, C. (1995). A pragmatic interpretation of intuitionistic propositional logic. Erkenntnis, 43, 81–109.CrossRefGoogle Scholar
  18. Garola, C. (1992). Truth versus testability in quantum logic. Erkenntnis, 37, 197–222.CrossRefGoogle Scholar
  19. Garola, C. (2008). Physical propositions and quantum languages. International Journal of Theoretical Physics, 47, 90–103.CrossRefGoogle Scholar
  20. Garola, C., & Pykacz, J. (2004). Locality and measurements within the SR model for an objective interpretation of quantum mechanics. Foundations of Physics, 34, 449–475.CrossRefGoogle Scholar
  21. Garola, C., & Solombrino, L. (1996a). The theoretical apparatus of semantic realism: A new language for classical and quantum physics. Foundations of Physics, 26, 1121–1164.CrossRefGoogle Scholar
  22. Garola, C., & Solombrino, L. (1996b). Semantic realism versus EPR-like paradoxes: The Furry, Bohm-Aharonov, and Bell paradoxes. Foundations of Physics, 26, 1329–1356.CrossRefGoogle Scholar
  23. Garola, C., & Sozzo, S. (2004). A semantic approach to the completeness problem in quantum mechanics. Foundations of Physics, 34, 1249–1266.CrossRefGoogle Scholar
  24. Garola, C., & Sozzo, S. (2009). The ESR model: A proposal for a noncontextual and local Hilbert space extension of QM. Europhysics Letters, 86, 20009.Google Scholar
  25. Garola, C., & Sozzo, S. (2010). Embedding quantum mechanics into a broader noncontextual theory: A conciliatory result. International Journal of Theoretical Physics, 49, 3101–3117.CrossRefGoogle Scholar
  26. Garola, C., & Sozzo, S. (2011a). Generalized observables, Bell’s inequalities and mixtures in the ESR model. Foundations of Physics, 41, 424–449.CrossRefGoogle Scholar
  27. Garola, C., & Sozzo, S. (2011b). Extended representations of observables and states for a noncontextual reinterpretation of QM. ArXiv:1107.2271v2 [quant-ph].Google Scholar
  28. Girard, J. Y. (1987). Linear logic. Theoretical Computer Science, 50, 1–102.CrossRefGoogle Scholar
  29. Greenberger, D. M., Horne, M. A., Shimony, A., & Zeilinger, A. (1990). Bell’s theorem without inequalities. American Journal of Physics, 58, 1131–1143.CrossRefGoogle Scholar
  30. Haack, S. (1974). Deviant logic. Cambridge: Cambridge University Press.Google Scholar
  31. Haack, S. (1978). Philosophy of logic. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
  32. Heyting, A. (1934). Matematische Grundlagenforschung, Intuitionismus, Beweistheorie. Ergebnisse der Matematik und ihrer Grenzgebiete, 3, Berlin.Google Scholar
  33. Heyting, A. (1956). Intuitionism. An introduction. Amsterdam: North-Holland.Google Scholar
  34. Jammer, M. (1974). The philosophy of quantum mechanics. New York: Wiley.Google Scholar
  35. Kochen, S. & Specker, E. P. (1967). The problem of hidden variables in quantum mechanics. Journal of Mathematics and Mechanics, 17, 59–87.Google Scholar
  36. Ludwig, G. (1983). Foundations of quantum mechanics I. Berlin: Springer.CrossRefGoogle Scholar
  37. Łukasiewicz, J. (1920). O logice trójwartościowej. Ruch Filozoficzny, 5, 169–171; (1970. On three-valued logic. In L. Borkowski (Ed.), Jan Łukasiewicz, selected works (pp. 87–88). Amsterdam: North-Holland Publishing Company, trans).Google Scholar
  38. Lycan, W. (2000). Philosophy of language: A contemporary introduction. London: Routledge.Google Scholar
  39. Mermin, N. D. (1993). Hidden variables and the two theorems of John Bell. Reviews of Modern Physics, 65, 803–815.CrossRefGoogle Scholar
  40. Pap, A. (1961). An introduction to the philosophy of science. New York: The Free Press.Google Scholar
  41. Piron, C. (1976). Foundations of quantum physics. Reading: W. A. Benjamin, Inc.Google Scholar
  42. Popper, K. (1963). Conjectures and refutations. London: Routledge and Kegan Paul.Google Scholar
  43. Putnam, H. (1968). Is logic empirical? In Cohen R. S. and Wartofsky, M. W. (Eds.), Boston studies in the philosophy of science (Vol. 5, pp. 216–241). Dordrecht: Reidel.CrossRefGoogle Scholar
  44. Quine, W. V. O. (2006). Philosophy of logic. Cambridge: Harvard University Press.Google Scholar
  45. Rédei, M. (1998). Quantum logic in algebraic approach. Dordrecht: Kluwer.CrossRefGoogle Scholar
  46. Russell, B. (1940). An inquiry into meaning and truth. New York: W. W. Norton & Company.Google Scholar
  47. Tarski, A. (1933). Pojȩcie prawdy w jȩzykach nauk dedukcyjnych. Acta Towarzystwa Naukowego i Literackiego Warszawskiego, 34, V–16; (1956. The concept of truth in formalized languages. In J. M. Woodger (Ed.), Logic, semantics, metamathematics (pp. 152–268). Oxford: Oxford University Press, trans).Google Scholar
  48. Tarski, A. (1944). The semantic conception of truth and the foundations of semantics. Philosophy and phenomenological research, 4, 341–375 (1952. In L. Linsky (Ed.), Semantics and the philosophy of language (pp. 13–47). Urbana: University of Illinois Press).Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Dipartimento di Fisicadell’Università del Salento and Sezione INFNLecceItaly
  2. 2.Center Leo Apostel (CLEA)Vrije Universiteit Brussel (VUB)BrusselsBelgium

Personalised recommendations