Skip to main content
Log in

Quantum Logic in Intuitionistic Perspective

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In their seminal paper Birkhoff and von Neumann revealed the following dilemma:

[...] whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics points to the distributive identities as the weakest link in the algebra of logic.

In this paper we eliminate this dilemma, providing a way for maintaining both. Via the introduction of the "missing" disjunctions in the lattice of properties of a physical system while inheriting the meet as a conjunction we obtain a complete Heyting algebra of propositions on physical properties. In particular there is a bijective correspondence between property lattices and propositional lattices equipped with a so called operational resolution, an operation that exposes the properties on the level of the propositions. If the property lattice goes equipped with an orthocomplementation, then this bijective correspondence can be refined to one with propositional lattices equipped with an operational complementation, as such establishing the claim made above. Formally one rediscovers via physical and logical considerations as such respectively a specification and a refinement of the purely mathematical result by Bruns and Lakser (1970) on injective hulls of meet-semilattices. From our representation we can derive a truly intuitionistic functional implication on property lattices, as such confronting claims made in previous writings on the matter. We also make a detailed analysis of disjunctivity vs. distributivity and finitary vs. infinitary conjunctivity, we briefly review the Bruns-Lakser construction and indicate some questions which are left open.

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

Access this article

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

  • Aerts, D.(1982) ‘Description of many separated physical entities without the paradoxes encountered in quantum mechanics’, Foundations of Physics12, 1131.

    Google Scholar 

  • Banaschewski, B., and G. Bruns(1967) ‘Categorical characterization of MacNeille completion’, Archiv der Mathematik18, 369.

    Google Scholar 

  • Birkhoff, G., and J. Von Neumann(1936) ‘The Logic of quantum mechanics’, Annals of Mathematics37, 823.

    Google Scholar 

  • Bruns, G., and J. Harding(2000) ‘Algebraic aspects of orthomodular lattices’, in: B. Coecke, D. J. Moore and A. Wilce (eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, pp. 37-66, Kluwer Academic Publishers.

  • Bruns, G., and H. Lakser(1970) ‘Injective hulls of semilattices’, Canadian Mathematical Bulletin13, 115.

    Google Scholar 

  • Coecke, B.(2000) ‘Structural characterization of compoundness’, International Journal of Theoretical Physics39, 581; arXiv:quant-ph/0008054.

    Google Scholar 

  • Coecke, B.(2002) ‘Disjunctive quantum logic in dynamic perspective’, Studia Logica(submitted); arXiv: math.LO/0011209.

  • Coecke, B., D. J. Moore, and S. Smets(2001a) ‘From operationality to logicallity I. Philosophical and formal preliminaries’, submitted.

  • Coecke, B., D. J. Moore, and S. Smets(2001b) ‘From operationality to logicallity II. Syntax and semantics’, submitted.

  • Coecke, B., D. J. Moore, and S. Smets(2001c) ‘Adjoint implications in lattice logics’, preprint.

  • Coecke, B., and I. Stubbe(1999a) ‘On a duality of quantales emerging from an operational resolution’, International Journal of Theoretical Physics38, 3269.

    Google Scholar 

  • Coecke, B., and I. Stubbe(1999b) ‘Operational resolutions and state transitions in a categorical setting’, Foundations of Physics Letters12, 29; arXiv: quant-ph/0008020.

    Google Scholar 

  • Foulis, D. J.(1960) ‘Baer *-semigroups’, Proceedings of the American Mathematical Society11, 648.

    Google Scholar 

  • Foulis, D. J., and C. H. Randall(1984) ‘A note on misunderstandings of Piron's axioms for quantum mechanics’, Foundations of Physics14, 65.

    Google Scholar 

  • Goldblatt, R.(1984) ‘Orthomodularity is not elementary’, Journal of Symbolic Logic49, 401.

    Google Scholar 

  • Hardegree, G. M.(1979) ‘The conditional in abstract and concrete quantum logic’, in: C. Hooker (ed.), Logico-Algebraic Approach to Quantum Mechanics II, pp. 49-108, Reidel Publishing Company.

  • Horn, A., and N. Kimura(1971) ‘The category of semilattices’, Algebra Universalis1, 26.

    Google Scholar 

  • Jauch, J. M., and C. Piron(1969) ‘On the structure of quantal proposition systems’, Helvetica Physica Acta42, 842.

    Google Scholar 

  • Johnstone, P. T.(1982) Stone Spaces, Cambridge University Press.

  • Kalmbach, G.(1983) Orthomodular Lattices, Academic Press.

  • Malinowski, J.(1990) ‘The deduction theorem for quantum logic. Some negative results’, Journal of Symbolic Logic55, 615.

    Google Scholar 

  • Moore, D. J.(1993) ‘Quantum logic requires weak modularity’, Helvetica Physica Acta66, 471.

    Google Scholar 

  • Moore, D. J.(1999) ‘On state spaces and property lattices’, Studies in History and Philosophy of Modern Physics30, 61.

    Google Scholar 

  • Paseka, J.(1994) ‘Covers in generalized frames’, in: I. Chajda (ed.), Proceedings of the International Conference and Summer School on General Algebra and Ordered Sets 1994, pp. 84-99, Palacký University Publishing, Olomouc.

    Google Scholar 

  • Piron, C.(1976) Foundations of Quantum Physics, W. A. Benjamin, Inc.

  • PtÁk, P., and S. PulmannovÁ(1991) Orthomodular Structures as Quantum Logics, Kluwer Academic Publishers.

  • Stubbe, I.(2000) ‘A categorical view on frame completions of meet-semilattices by means of distributive joins’, privately communicated research notes.

  • Vickers, S.(1989) Topology Via Logic, Cambridge University Press.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Coecke, B. Quantum Logic in Intuitionistic Perspective. Studia Logica 70, 411–440 (2002). https://doi.org/10.1023/A:1015106515413

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1015106515413

Navigation