Studia Logica

, Volume 101, Issue 5, pp 901–913 | Cite as

Weakly Intuitionistic Quantum Logic

  • Ronnie HermensEmail author


In this article von Neumann’s proposal that in quantum mechanics projections can be seen as propositions is followed. However, the quantum logic derived by Birkhoff and von Neumann is rejected due to the failure of the law of distributivity. The options for constructing a distributive logic while adhering to von Neumann’s proposal are investigated. This is done by rejecting the converse of the proposal, namely, that propositions can always be seen as projections. The result is a weakly Heyting algebra for describing the language of quantum mechanics.


Quantum logic Intuitionistic logic Weakly Heyting algebras 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Birkhoff, G., and J. von Neumann, The logic of quantum mechanics, Annals of Mathematics 37(4):823–843, 1936. Reprinted in [9], pp. 1–26.Google Scholar
  2. 2.
    Bruns G., Lakser H.: Injective hulls of semilattices. Canadian Mathematical Bulletin 13, 115–118 (1970)CrossRefGoogle Scholar
  3. 3.
    Celani S., Jansana R.: Bounded distributive lattices with strict implication. Mathematical Logic Quarterly 51(3), 219–246 (2005)CrossRefGoogle Scholar
  4. 4.
    Coecke, B., Quantum logic in intuitionistic perspective, Studia Logica 70(3):411–440, 2002.Google Scholar
  5. 5.
    Coecke, B., and S. Smets, 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(7/8):1705–1736, 2004.Google Scholar
  6. 6.
    Dummett, M., Is logic empirical?, in H.D. Lewis (ed.), Contemporary British Philosophy Volume IV, George Allen and Unwin, London, 1976.Google Scholar
  7. 7.
    Heisenberg, W., Über den anschauliche Inhalt der quantentheoretischen Kinematik und Mechanik, Zeitschrift für Physik 43:172–198, 1927.Google Scholar
  8. 8.
    Hermens, R., Quantum mechanics: from realism to intuitionism, Master’s thesis available at, 2010.
  9. 9.
    Hooker, C.A., The Logico-Algebraic Approach to Quantum Mechanics, Volume I, D. Reidel, Boston, 1975.Google Scholar
  10. 10.
    Kochen, S., and E.P. Specker, The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics 17:59–67, 1967. Reprinted in [9], pp. 293–328.Google Scholar
  11. 11.
    Stairs A.: Quantum logic, realism, and value definiteness. Philosophy of Science 50, 578–602 (1983)CrossRefGoogle Scholar
  12. 12.
    von Neumann, J., Mathematical Foundations of Quantum Mechanics, Princeton University Press, Princeton, 1955. Translated from the German by R.T. Beyer. Original title: Mathematische Grundlagen der Quantenmechanik, 1932.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Department of Theoretical PhilosophyUniversity of GroningenGroningenThe Netherlands

Personalised recommendations