Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Valuations for the quantum propositional structures and hidden variables for quantum mechanics

Ariadna Chernavska

Published Jan 1, 2010• 0 citations
Publisher

Abstract

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.

DOI
10.14288/1.0095142

Related papers

Systems of quantum logic

R I G Hughes

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.

•Jan 1, 2010•0 citations

Algebraic assignments of truth values to experimental quantum propositions

Arkady Bolotin

Of what are experimental quantum propositions primary bearers? As it is widely accepted in the modern literature, rather than being bearers of truth and falsity, these entities are bearers of probability values. Consequently, their truth values can be regarded as no more than degenerate probabilities (i.e., ones that have only the values 0 and 1). The mathematical motivation for precedence of probabilistic semantics over propositional semantic for the logic of experimental quantum propositions is Gleason's theorem. It proves that the theory of probability measures on closed linear subspaces of a Hilbert space (which represent experimental quantum propositions) does not admit any probability measure having only the values 0 and 1. -- By contrast, in the present paper, it is proclaimed that experimental propositions about quantum systems are primary bearers of truth values. As this paper demonstrates, algebraic properties of separable Hilbert spaces of finite dimension equal or greater than 2 do not allow in valuations (that is, truth assignments) which are dispersion-free, i.e., total functions from the set of atomic propositions to the set of two objects, true and false. Providing a probability function can be interpreted as a measure of the (un)certainty in the assignment of truth values, the fact that valuations cannot be dispersion-free gives rise to probabilistic semantics for the logic of experimental quantum propositions.

arXiv:1910.11078•Oct 24, 2019•0 citations

Kuantum Mantığı

Hatice Kırmacı

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.

•Sep 9, 2026•0 citations

ON THE NOTION OF PROPOSITION IN CLASSICAL AND QUANTUM MECHANICS

Claudio Garola, Sandro Sozzo

The term proposition usually denotes in quantum mechanics (QM) an element of (standard) quantum logic (QL). Within the orthodox interpretation of QM the propositions of QL cannot be associated with sentences of a language stating properties of individual samples of a physical system, since properties are nonobjective in QM. This makes the interpretation of propositions problematical. The difficulty can be removed by adopting the objective interpretation of QM proposed by one of the authors (semantic realism, or SR, interpretation). In this case, a unified perspective can be adopted for QM and classical mechanics (CM), and a simple first order predicate calculus L(x) with Tarskian semantics can be constructed such that one can associate a physical proposition (i.e., a set of physical states) with every sentence of L(x). The set $P^{f}$ of all physical propositions is partially ordered and contains a subset $P^{f}_{T}$ of testable physical propositions whose order structure depends on the criteria of testability established by the physical theory. In particular, $P^{f}_{T}$ turns out to be a Boolean lattice in CM, while it can be identified with QL in QM. Hence the propositions of QL can be associated with sentences of L(x), or also with the sentences of a suitable quantum language $L_{TQ}(x)$, and the structure of QL characterizes the notion of testability in QM. One can then show that the notion of quantum truth does not conflict with the classical notion of truth within this perspective. Furthermore, the interpretation of QL propounded here proves to be equivalent to a previous pragmatic interpretation worked out by one of the authors, and can be embodied within a more general perspective which considers states as first order predicates of a broader language with a Kripkean semantics.

arXiv:quant-ph/0603172•Conference on the Foundations of Quantum Mechanics: Historical Analysis and Open Questions•Jun 1, 2006•1 citation

La función de la lógica clásica en la llamada "lógica cuántica"

Carlos Lungarzo

The purpose of this paper is to prove that the construction of a quantum logic is a task of specific interest for non-classical logic, but that it is relevant neither to the methodology of quantum mechanics nor to the formalisation of the alternative yes-no process. The main argument is that quantum structures (for example, orthocomplemented partially ordered sets, orthomodular lattices and partial algebras) are not systems of logic proper, but rather are perfectly formalizable structures in classical logic. In § 1, the orthodox formulation of Jauch and Piron are analyzed. I affirm that the objections made by these authors against “quantum logic” are not eliminated by the introduction of a conditional in the lattice structures, since the true reason why quantum “logic” is not really logic lies in its formulation, which is not that of a propositional system, but rather that of a specific theory whose model is these lattices. It is argued that the collection of the properties satisfied by certain objects of a structure does not justify their presentation as purely logical properties, nor does the presence of certain operations of the least upper bound and greatest lower bound permit us to call symbols introduced by analogy in propositionaI logic “connectives”. In any case, if that formalization is indeed possible, it does not imply the adoption of a new logic as a formal instrument for quantum mechanics. In § 2, aspects of quantum theories which are especially semantic in nature are analyzed. I agree with van Fraassen’s statement in the sense that that semantic formulation makes specific concepts of the theory clearer, but it does not attempt to construct its own logic. I deduce that it is non-classical logic which can actually take advantage of quantum semantics, as a model which, eventually, could throw light on the metalogical properties of certain special propositional systems. Finally, by using Benioff’s profound set theory analysis, I advance the hypothesis that classical logic is possibly the only one that can account for the richness of the meanings that appear in quantum mechanics.[Summary by Carlos Lungarzo]

Crítica (México D F En línea)•Nov 7, 1977•0 citations

Introduction to a Quantum Logic

Enrico G. Beltrametti, Gianni Cassinelli, Peter Carruthers

Sentences Associated with a Quantum System and Their Truth Values In a sense this chapter is marginal to the content of this volume; the reader can skip it without prejudice to the comprehension of chapters to follow. Quantum logic is a discipline that branched off from the 1936 paper of Birkhoff and von Neumann and has the orthomodular-poset structures encountered in previous chapters as basic mathematical carriers: that is why we think it worthwhile to devote some pages to the subject. But the main interests quantum logic calls into play are in the territory of logicians and philosophers: that is why we (who are neither logicians nor philosophers) shall confine ourselves to a very simplified introduction to the subject. Roughly, the starting question is whether the propositions of a quantum system can be associated with, or can be interpreted as, sentences of a language (or propositional calculus) and which rules this language inherits from the ordered structure of propositions. In raising this question one has in mind the fact that when the physical system is classical its propositions form a Boolean algebra, and Boolean algebras are the algebraic models of the calculus of classical logic. Thus the question above can also be phrased as follows: when a Boolean algebra is relaxed into an orthomodular nondistributive lattice, which logic is it the model of? “Quantum logic” is the name that designates the answer, but there are several views about the content of this name. Here we sketch one approach to a quantum logic.

Cambridge University Press eBooks•Dec 28, 1984•1 citation
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.
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.
Of what are experimental quantum propositions primary bearers? As it is widely accepted in the modern literature, rather than being bearers of truth and falsity, these entities are bearers of probability values. Consequently, their truth values can be regarded as no more than degenerate probabilities (i.e., ones that have only the values 0 and 1). The mathematical motivation for precedence of probabilistic semantics over propositional semantic for the logic of experimental quantum propositions is Gleason's theorem. It proves that the theory of probability measures on closed linear subspaces of a Hilbert space (which represent experimental quantum propositions) does not admit any probability measure having only the values 0 and 1. -- By contrast, in the present paper, it is proclaimed that experimental propositions about quantum systems are primary bearers of truth values. As this paper demonstrates, algebraic properties of separable Hilbert spaces of finite dimension equal or greater than 2 do not allow in valuations (that is, truth assignments) which are dispersion-free, i.e., total functions from the set of atomic propositions to the set of two objects, true and false. Providing a probability function can be interpreted as a measure of the (un)certainty in the assignment of truth values, the fact that valuations cannot be dispersion-free gives rise to probabilistic semantics for the logic of experimental quantum propositions.
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.
The term proposition usually denotes in quantum mechanics (QM) an element of (standard) quantum logic (QL). Within the orthodox interpretation of QM the propositions of QL cannot be associated with sentences of a language stating properties of individual samples of a physical system, since properties are nonobjective in QM. This makes the interpretation of propositions problematical. The difficulty can be removed by adopting the objective interpretation of QM proposed by one of the authors (semantic realism, or SR, interpretation). In this case, a unified perspective can be adopted for QM and classical mechanics (CM), and a simple first order predicate calculus L(x) with Tarskian semantics can be constructed such that one can associate a physical proposition (i.e., a set of physical states) with every sentence of L(x). The set PfP^{f}Pf of all physical propositions is partially ordered and contains a subset PTfP^{f}_{T}PTf​ of testable physical propositions whose order structure depends on the criteria of testability established by the physical theory. In particular, PTfP^{f}_{T}PTf​ turns out to be a Boolean lattice in CM, while it can be identified with QL in QM. Hence the propositions of QL can be associated with sentences of L(x), or also with the sentences of a suitable quantum language LTQ(x)L_{TQ}(x)LTQ​(x), and the structure of QL characterizes the notion of testability in QM. One can then show that the notion of quantum truth does not conflict with the classical notion of truth within this perspective. Furthermore, the interpretation of QL propounded here proves to be equivalent to a previous pragmatic interpretation worked out by one of the authors, and can be embodied within a more general perspective which considers states as first order predicates of a broader language with a Kripkean semantics.
The purpose of this paper is to prove that the construction of a quantum logic is a task of specific interest for non-classical logic, but that it is relevant neither to the methodology of quantum mechanics nor to the formalisation of the alternative yes-no process. The main argument is that quantum structures (for example, orthocomplemented partially ordered sets, orthomodular lattices and partial algebras) are not systems of logic proper, but rather are perfectly formalizable structures in classical logic. In § 1, the orthodox formulation of Jauch and Piron are analyzed. I affirm that the objections made by these authors against “quantum logic” are not eliminated by the introduction of a conditional in the lattice structures, since the true reason why quantum “logic” is not really logic lies in its formulation, which is not that of a propositional system, but rather that of a specific theory whose model is these lattices. It is argued that the collection of the properties satisfied by certain objects of a structure does not justify their presentation as purely logical properties, nor does the presence of certain operations of the least upper bound and greatest lower bound permit us to call symbols introduced by analogy in propositionaI logic “connectives”. In any case, if that formalization is indeed possible, it does not imply the adoption of a new logic as a formal instrument for quantum mechanics. In § 2, aspects of quantum theories which are especially semantic in nature are analyzed. I agree with van Fraassen’s statement in the sense that that semantic formulation makes specific concepts of the theory clearer, but it does not attempt to construct its own logic. I deduce that it is non-classical logic which can actually take advantage of quantum semantics, as a model which, eventually, could throw light on the metalogical properties of certain special propositional systems. Finally, by using Benioff’s profound set theory analysis, I advance the hypothesis that classical logic is possibly the only one that can account for the richness of the meanings that appear in quantum mechanics.[Summary by Carlos Lungarzo]
Sentences Associated with a Quantum System and Their Truth Values In a sense this chapter is marginal to the content of this volume; the reader can skip it without prejudice to the comprehension of chapters to follow. Quantum logic is a discipline that branched off from the 1936 paper of Birkhoff and von Neumann and has the orthomodular-poset structures encountered in previous chapters as basic mathematical carriers: that is why we think it worthwhile to devote some pages to the subject. But the main interests quantum logic calls into play are in the territory of logicians and philosophers: that is why we (who are neither logicians nor philosophers) shall confine ourselves to a very simplified introduction to the subject. Roughly, the starting question is whether the propositions of a quantum system can be associated with, or can be interpreted as, sentences of a language (or propositional calculus) and which rules this language inherits from the ordered structure of propositions. In raising this question one has in mind the fact that when the physical system is classical its propositions form a Boolean algebra, and Boolean algebras are the algebraic models of the calculus of classical logic. Thus the question above can also be phrased as follows: when a Boolean algebra is relaxed into an orthomodular nondistributive lattice, which logic is it the model of? “Quantum logic” is the name that designates the answer, but there are several views about the content of this name. Here we sketch one approach to a quantum logic.