Abacus logic: The lattice of quantum propositions as the poset of a theory

Journal of Symbolic Logic 59 (2):501-515 (1994)
With a certain graphic interpretation in mind, we say that a function whose value at every point in its domain is a nonempty set of real numbers is an Abacus. It is shown that to every collection C of abaci there corresponds a logic, called an abacus logic, i.e., a certain set of propositions partially ordered by generalized implication. It is also shown that to every collection C of abaci there corresponds a theory JC in a classical propositional calculus such that the abacus logic determined by C is isomorphic to the poset of JC. Two examples are given. In both examples abacus logic is a lattice in which there happens to be an operation of orthocomplementation. In the first example abacus logic turns out to be the Lindenbaum algebra of JC. In the second example abacus logic is a lattice isomorphic to the ortholattice of subspaces of a Hilbert space. Thus quantum logic can be regarded as an abacus logic. Without suggesting "hidden variables" it is finally shown that the Lindenbaum algebra of the theory in the second example is a subalgebra of the abacus logic B of the kind studied in example 1. It turns out that the "classical observables" associated with B and the "quantum observables" associated with quantum logic are not unrelated. The value of a classical observable contains, in coded form, information about the "uncertainty" of a quantum observable. This information is retrieved by decoding the value of the corresponding classical observable
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275403
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,813
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Quantum Logic and the Classical Propositional Calculus.Othman Qasim Malhas - 1987 - Journal of Symbolic Logic 52 (3):834-841.
The Metalogic of Quantum Logic.Peter Mittelstaedt - 1978 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:249 - 256.
Is Quantum Logic Really Logic?Michael R. Gardner - 1971 - Philosophy of Science 38 (4):508-529.
Completeness of Quantum Logic.E. -W. Stachow - 1976 - Journal of Philosophical Logic 5 (2):237 - 280.
The Principle of Excluded Middle in Quantum Logic.P. Mittelstaedt & E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):181 - 208.
Quantum Logical Calculi and Lattice Structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
Added to PP index

Total downloads
27 ( #196,139 of 2,202,697 )

Recent downloads (6 months)
1 ( #301,722 of 2,202,697 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature