Foundations of Physics 15 (12):1179-1202 (1985)

John L. Bell
University of Western Ontario
In this paper we construct the ortholattices arising in quantum logic starting from the phenomenologically plausible idea of a collection of ensembles subject to passing or failing various “tests.” A collection of ensembles forms a certain kind of preordered set with extra structure called anorthospace; we show that complete ortholattices arise as canonical completions of orthospaces in much the same way as arbitrary complete lattices arise as canonical completions of partially ordered sets. We also show that the canonical completion of an orthospace of ensembles is naturally identifiable as the complete lattice of properties of the ensembles, thereby revealing exactlywhy ortholattices arise in the analysis of “tests” or experimental propositions. Finally, we axiomatize the hitherto implicit concept of “test” and show how they may be correlated with properties of ensembles
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00735530
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,607
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Is Logic Empirical?Hilary Putnam - 1968 - Boston Studies in the Philosophy of Science 5.
Lectures on Boolean Algebras.Paul R. Halmos - 1966 - Journal of Symbolic Logic 31 (2):253-254.

View all 8 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Systems of Quantum Logic.Satoko Titani, Heiji Kodera & Hiroshi Aoyama - 2013 - Studia Logica 101 (1):193-217.
Logic, Quantum Logic and Empiricism.John Bell & Michael Hallett - 1982 - Philosophy of Science 49 (3):355-379.
Fine, Einstein, and Ensembles.Reed Guy & Robert Deltete - 1990 - Foundations of Physics 20 (8):943-965.
Completeness of Quantum Logic.E. -W. Stachow - 1976 - Journal of Philosophical Logic 5 (2):237 - 280.
Truth Versus Testability in Quantum Logic.Claudio Garola - 1992 - Erkenntnis 37 (2):197 - 222.


Added to PP index

Total views
21 ( #539,657 of 2,533,671 )

Recent downloads (6 months)
1 ( #389,210 of 2,533,671 )

How can I increase my downloads?


My notes