Skip to main content
SpringerLink
Log in

Completeness of quantum logic

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

This paper is based on a semantic foundation of quantum logic which makes use of dialog-games. In the first part of the paper the dialogic method is introduced and under the conditions of quantum mechanical measurements the rules of a dialog-game about quantum mechanical propositions are established. In the second part of the paper the quantum mechanical dialog-game is replaced by a calculus of quantum logic. As the main part of the paper we show that the calculus of quantum logic is complete and consistent with respect to the dialogic semantics. Since the dialog-game does not involve the ‘excluded middle’ the calculus represents a calculus of effective (intuitionistic) quantum logic.

In a forthcoming paper it is shown that this calculus is equivalent to a calculus of sequents and more interestingly to a calculus of propositions. With the addition of the ‘excluded middle’ the latter calculus is a model for the lattice of subspaces of a Hilbert space.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. G. Birkhoff and J. v. Neumann, Ann. of Math. 37 (1936), 823.

    Google Scholar 

  2. J. M. Jauch and C. Piron, Helv. Phys. Acta 36 (1963), 827; C. Piron, Helv. Phys. Acta 37 (1964), 439.

    Google Scholar 

  3. J. M. Jauch, Foundations of Quantum Mechanics, Addison-Wesley, Reading, Mass. (1968).

    Google Scholar 

  4. F. Kamber, Math. Ann. 158 (1965), 158; A. M. Gleason, J. of Math. and Mech. 6 (1957), 885; S. Kochen and E. P. Specker, J. of Math. and Mech. 17, (1967), 59.

    Google Scholar 

  5. H. Reichenbach, Philosophical Foundations of Quantum Mechanics, Benjamin (1963).

  6. C. F. v. Weizsäcker, Naturwiss. 42 (1955), 547.

    Google Scholar 

  7. P. Lorenzen, Metamathematik, Bibliographisches Institut, Mannheim (1962);

    Google Scholar 

  8. W. Kamlah and P. Lorenzen, Logische Propädeutik, Bibliographisches Institut, Mannheim (1973).

    Google Scholar 

  9. K. Lorenz, Arch. f. Math. Logik und Grundlagenforschung 11 (1968).

  10. P. Mittelstaedt, Philosophical Problems of Modern Physics, D.Reidel, Dordrecht, The Netherlands (1975); P. Mittelstaedt and E.-W. Stachow, Found. of Physics 4 (1974), 355.

    Google Scholar 

  11. E.-W. Stachow, Dissertation, Universität zu Köln (1975).

Download references

Author information

Authors and Affiliations

  1. Dept. of Philosophy, University of Western Ontario, Canada

    E. -W. Stachow

Authors
  1. E. -W. Stachow
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

On leave of absence from the Institut für Theoretische Physik der Universität zu Köln, W.-Germany.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Stachow, E.W. Completeness of quantum logic. J Philos Logic 5, 237–280 (1976). https://doi.org/10.1007/BF00248731

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00248731

Keywords

Search

Navigation