A set of statements about the properties of a quantum system is looked at as at a partially ordered set of subspaces of finite or infinite dimensional Hilbert space. The operation of ordering is performed on a set of propositions comparing the truth values of these propositions and on the set of subspaces as the opera- tion of inclusion. Based on the required properties these structures are translated into operations on the lattice. The correspondence with Heisenberg uncertainty principle is shown there. Furthermore, it is shown that the lattices correspond- ing to the subspaces of infinite dimensional Hilbert space are not modular. This property is replaced with weaker property of orthomodularity, when operation of the negation is added. Following the work of G. Birkhoff and J. von Neumann, the structure of quantum logic is looked for in projective spaces, which are in- troduced either arithmetically or axiomatically. The examples of quantum logic, their physical implementation and eventual implementation in projective spaces are analysed. 1
A set of statements about the properties of a quantum system is looked at as at a partially ordered set of subspaces of finite or infinite dimensional Hilbert space. The operation of ordering is performed on a set of propositions comparing the truth values of these propositions and on the set of subspaces as the opera- tion of inclusion. Based on the required properties these structures are translated into operations on the lattice. The correspondence with Heisenberg uncertainty principle is shown there. Furthermore, it is shown that the lattices correspond- ing to the subspaces of infinite dimensional Hilbert space are not modular. This property is replaced with weaker property of orthomodularity, when operation of the negation is added. Following the work of G. Birkhoff and J. von Neumann, the structure of quantum logic is looked for in projective spaces, which are in- troduced either arithmetically or axiomatically. The examples of quantum logic, their physical implementation and eventual implementation in projective spaces are analysed. 1
According to quantum mechanics, the pure states of a microsystem are represented by vectors in a Hilbert Space. Sentences of the form, "x є L" (where x is the state vector for a system, L a subspace of the appropriate Hilbert space), may be called Q-propositions: such sentences serve to summarise our information about the results of possible experiments on the system. Quantum logic investigates the relations which hold among the Q-propositions about a given physical sys tem. These logical relations correspond to algebraic relations among the subspaces of Hilbert space. The algebra of this set of subspaces is non-Boolean, and may be regarded either as an orthomodular lattice or as a partial Boolean algebra. With each type of structure we can associate a logic. A general approach to the semantics for such a logic is provided in terms of interpretations of a formal language within an algebraic structure; an interpretation maps sentences of the language homomorphically onto elements of the structure. When the structure in question is a Boolean algera, the resulting logic is classical; here we develop a semantics for the logic associated with partial Boolean algebras. Two systems of proof, based on the natural deduction systems of Gentzen, are shown for this logic. With respect to the given sematics, these calculi are sound and weakly complete. Strong completeness is conjectured. Quantum logic deals with the logical relations between sentences, and so is properly called a logic. However, it is the logic appropriate to a limited class of sentences: proposals that it should replace classical logic wherever the latter is used should be viewed with suspicion.
Quantum Logic Distributivity And The Algebraic Structure Of Propositions As with many subatomic particles, the question of under what conditions the electron behaves as a particle or as a wave continues to be the subject of research. It was necessary to employ appropriate logic to organise the propositions describing the behaviour of such an object at the subatomic scale into a precise from and to establish coherent relationships between them. Quantum logic, which can be regarded as an interpretation of quantum mechanics, arose from this need. In classical mechanics, the state and properties of a system are described using the propositions of classical logic, which is based on Boolean algebra. In quantum mechanics, however, the fact that the operators representing the measured quantities do not commute has shown that quantum phenomena cannot be described using the propositions of classical logic. It is therefore necessary to have a formal framework suited to the propositions describing quantum phenomena. In our study, we highlight the various differences between classical logic and quantum logic, examine the distributive property and discuss, from the perspective of Birkhoff and von Neumann, the algebraic structure to which quantum logic might correspond. At the conclusion of our research, we find that, in order to assert that all experimental propositions logically equivalent to a given experimental proposition constitute a physical property, the operators corresponding to the measured quantities must commute with one another. Boolean algebra has an algebraic structure that allows classical logic to be formalised. In such algebra, the distributive property holds; thus, distributivity does not pose a problem for classical logic. Consequently, the distributive property does not always hold in quantum logic and quantum systems can be modelled using orthomodular lattices associated with closed subspaces of Hilbert space. We believe that this model must evolve in parallel with the discovery of new quantum phenomena and that it provides a framework conductive to this evolution. Keywords: Quantum logic; distributivity; partially order sets (posets); lattice; orthomodular lattice; Hilbert space; Boolean algebra.
Summary Foundational studies in quantum theory have consisted in large part of attempts to avoid paradoxical situations in describing properties of a physical system. Quantum logic addresses some of the perplexing problems that plague interpretations of quantum theory by invoking a non-classical propositional calculus for the set of propositions of a quantum system. Historically, quantum logic derives from von Neumann’s observation that the set of projection operators on a Hilbert space constitute a ‘logic’ of experimental propositions. More than two decades passed from the pioneering work of Birkho and von Neumann before interest in quantum logic was re-ignited by Mackey’s probabilistic analysis of quantum theory. Piron’s axiomatization provided a signicant
This article employs a descriptive-analytical method with an algebraic and axiomatic approach to address quantum logic. Through several thought experiments, it is demonstrated that the distributive law for propositions does not hold in quantum mechanics. Therefore, the logic governing this domain of science is not classical logic. In fact, the algebra corresponding to the logic of quantum propositions is an orthomodular lattice, which is why the distributive law is not necessarily valid for such propositions. In quantum logic, various definitions are offered for the implication operator. Since none of these operators satisfy the deduction theorem, a suitable implication operator with this property must be defined. This objective is achieved by defining a unified quantum logic. By constructing a Lindenbaum-Tarski algebra for this unified quantum logic, it can be shown that it is indeed a quantum logic. Dishkant presented an embedding of quantum logic into the Br-modal logic system. This provides an appropriate semantics for quantum logic. A suitable model for this logic is the closed subspaces of a Hilbert space.
By quoting extensively from unpublished letters written by John von Neumann to Garret Birkhoff during the preparatory phase (in 1935) of their ground-breaking 1936 paper that established quantum logic, the main steps in the thought process leading to the 1936 Birkhoff–von Neumann paper are reconstructed. The reconstruction makes it clear why Birkhoff and von Neumann rejected the notion of quantum logic as the projection lattice of an infinite dimensional complex Hilbert space and why they postulated in their 1936 paper that the quantum propositional system should be isomorphic to an abstract projective geometry. Looking at the paper now I see, that I forgot to say this, which should be said somewhere in the first §: That while common logics did apply to quantum mechanics, if the notion of simultaneous measurability is introduced as an auxiliary notion, we wished to construct a logical system, which applies directly to quantum mechanics – without any extraneous secondary notions like simultaneous measurability. And in order to have such a consequent, one-piece system of logics, we must change the classical class calculus of logics. (J. von Neumann to G. Birkhoff, November 21, 1935)
The thesis investigates the possibility of a classical semantics for quantum propositional structures. A classical semantics is defined as a set of mappings each of which is (i) bivalent, i.e., the value 1 (true) or 0 (false) is assigned to each proposition, and (ii) truth-functional, i.e., the logical operations are preserved. In addition, this set must be "full", i.e., any pair of distinct propositions is assigned different values by some mapping in the set. When the propositions make assertions about the properties of classical or of quantum systems, the mappings should also be (iii) "state-induced", i.e., values assigned by the semantics should accord with values assigned by classical or by quantum mechanics. In classical propositional logic, (equivalence classes of) propositions form a Boolean algebra, and each semantic mapping assigns the value 1 to the members of a certain subset of the algebra, namely, an ultrafilter, and assigns 0 to the members of the dual ultraideal, where the union of these two subsets is the entire algebra. The propositional structures of classical mechanics are likewise Boolean algebras, so one can straightforwardly provide a classical semantics, which also satisfies (iii). However, quantum propositional structures are non-Boolean, so it is an open question whether a semantics satisfying (i), (ii) and (iii) can be provided. Von Neumann first proposed (1932) that the algebraic structures of the subspaces (or projectors) of Hilbert space be regarded as the pro-positional structures PQM of quantum mechanics. These structures have been formalized in two ways: as orthomodular lattices which have the binary operations "and", "or", defined among all elements, compatible [symbol omitted] and incompatible [symbol omitted]; and as partial-Boolean algebras which have the binary operations defined among only compatible elements. In the thesis, two basic senses in which these structures are non-Boolean are discriminated. And two notions of truth-functionality are distinguished: truth-functionality [symbols omitted] applicable to the PQM lattices; and truth-functionality [symbol omitted] applicable to both the lattices and partial-Boolean algebras. Then it is shown how the lattice definitions of "and", "or", among incompatibles rule out a bivalent, truth-functional [symbols omitted] semantics for any lattice containing incompatible, elements. In contrast, the Gleason and Kochen-Specker proofs of the impossibility of hidden-variables for quantum mechanics show the impossibility of a bivalent, truth-functional [symbol omitted] semantics for three-or-higher dimensional Hilbert space structures; and the presence of incompatible elements is necessary but is not sufficient to rule out such a semantics. As for (iii), each quantum state-induced expectation-function on a PQM truth-functionally assigns 1 and 0 values to the elements in a ultrafilter and dual ultraideal of PQM³ where, in general the union of an ultrafilter and its dual ultraideal is smaller than the entire structure. Thus it is argued that each expectation-function is the quantum analog of a classical semantic mapping, even though the domain where each expectation-function is bivalent and truth-functional is usually a non-Boolean substructure of PQM. The final portion of the thesis surveys proposals for the introduction of hidden variables into quantum mechanics, proofs of the impossibility of such hidden-variable proposals, and criticisms of these impossibility proofs. And arguments in favour of the partial-Boolean algebra, rather than the orthomodular lattice, formalization of the quantum propositional structures are reviewed.