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

Quantum probability in the logic of quantum mechanics

Pitsri Atisoontornkul, Preedeeporn Limcharoeri

Published Jan 1, 1989• 0 citations
Publisher

Abstract

Several attempts have been made to establish the logical structure of quantum mechanics on an axiomatic foundation. It has been shown that, whereas the logical structure of the propositional calculus of classical mechanics is that of a Boolean lattice, the logical structure of the propositional calculus of quantum mechanics is non-Boolean. Moreover, a probability model of a quantum system, namely, the quantum probability model, has a mathematical structure completely different from that of the Kolmogorovian probability model, which is the standard probability model of a classical system. These results, which are still controversial, are analysed and put in critical perspective.

DOI
10.58837/chula.the.1989.797

Related papers

Probability in quantum mechanics

J. V. Corbett

Quantum mechanics is usually described in the terminology of probability theory even though the properties of the probability spaces associated with it are fundamentally different from the standard ones of probability theory. For example, Kolmogorov's axioms are not general enough to encompass the non-commutative situations that arise in quantum theory. There have been many attempts to generalise these axioms to meet the needs of quantum mechanics. The focus of these attempts has been the observation, first made by Birkhoff and von Neumann (1936), that the propositions associated with a quantum-mechanical system do not form a Boolean σ-algebra. There is almost universal agreement that the probability space associated with a quantum-mechanical system is given by the set of subspaces of a separable Hilbert space, but there is disagreement over the algebraic structure that this set represents. In the most popular model for the probability space of quantum mechanics the propositions are assumed to form an orthocomplemented lattice (Mackey (1963), Jauch (1968)). The fundamental concept here is that of a partial order, that is a binary relation that is reflexive and transitive but not symmetric. The partial order is interpreted as embodying the logical concept of implication in the set of propositions associated with the physical system. Although this model provides an acceptable mathematical expression of the probabilistic structure of quantum mechanics in that the subspaces of a separable Hilbert space give a representation of an ortho-complemented lattice, it has several deficiencies which will be discussed later.

Advances in Applied Probability•Dec 1, 1978•1 citation

An Epistemological Derivation of Quantum Logic

John Foy

This paper deals with the foundations of quantum mechanics. We start by outlining the characterisation, due to Birkhoff and Von Neumann, of the logical structures of the theories of classical physics and quantum mechanics, as boolean and modular lattices respectively. We then derive these descriptions from what we claim are basic properties of any physical theory - i.e. the notion that a quantity in such a theory may be analysed into parts and that the results of this analysis may be treated in languages with an underlying boolean structure. We shall see that in the course of constructing a model of a theory with these properties different indistinguishable possibilities will arise for how the elements of the model may be named, that is to say different possibilities arise for how they can be associated with points from Set. Taking a particular collection of possibilities gives the usual boolean lattice of the propositions of classical physics. Taking all possibilities - in a sense, the set of all things that may be described by physical theories - gives the lattice of quantum mechanical propositions. This gives an interpretation of quantum mechanics as the complete set of such possible descriptions, the complete physical description of the world.

arXiv:quant-ph/0001074•Jan 20, 2000•0 citations

Foundations of a quantum probability theory

M. D. Srinivas

Statistical physical theories are frequently formulated in terms of probabilistic structures founded on a ’’logic of experimentally verifiable propositions.’’ It is argued that to each experimentally verifiable proposition there corresponds an experimental procedure which, in general, alters the state of the system, and is completely characterized by a ’’measurement transformation’’ or ’’operation.’’ An analysis of the relations among these experimental procedures leads us to a ’’logic of operations’’ which is quite different from the ’’lattice theoretic logics’’ that are often considered (albeit inadequate empirical justification), as models for the calculus of experimentally verifiable propositions of quantum theory. It is seen that the quantum probability theory based on the logic of operations provides the proper mathematical framework for discussing the statistics of successive observations in quantum theory. We also indicate how a theory of quantum stochastic processes can be formulated in a way similar to the Kolmogorov formulation of the classical theory.

Journal of Mathematical Physics•Aug 1, 1975•50 citations

Conditional Probability and the Axiomatic Structure of Quantum Mechanics

Wawrzyniec Guz

Abstract The paper, summarizing the results of recent papers of the author, is devoted to a detailed analysis of postulates of nonrelativistic quantum theory appearing within two classical axiomatic frameworks the “quantum logic” and the “algebraic approach” respectively, which are presently the two main alternatives for quantum axiomatics. The first part of the paper concerns the structure of two important sets, the set of questions (propositional logic) and the set of pure states. It is shown how the quantum logic axiomatic scheme can be modified and improved in order to overcome the well known troubles connected with the lack of satisfactory physical justification for some postulates of this approach. In particular, an axiom system is developed, related closely to the quantum logic axiomatic scheme, in which the questions of the complete lattice structure, the atomisticity, and the validity of the covering law in the propositional logic do not appear so problematic. The particular attention is directed to the covering law, which is here obtained as a consequence of physically clear properties of the experimental procedures (“filters”) associated with the quantum‐mechanical propositions. In Section 1.5 we formulate an axiom system for quantum mechanics based exclusively on the concepts of pure state, transition probability, and pure filter. In the second part of the paper the axiomatic scheme presented in Part 1 is developed with the aim to analyse the algebraic structure of some subspaces of the set of simple observables. The quantum logic axiomatic framework is here shown closely connected with the Jordan‐Banach algebraic scheme. In the third part of the paper, similarly as it was done in Parts 1 and 2, the correspondence between the propositions and the experimental (measuring) procedures verifying these propositions is put as the basic assumption of the axiomatization of quantum mechanics. As a consequence of this assumption, there is established the structure of a real Jordan‐Banach algebra in the set Ob of the bounded observables associated with a physical system, so that we can apply the GNS representation theorem proved recently for such algebras by Alfsen et al. (1978) to obtain the Hilbert space (or, to be more precise, the C*‐algebraic) representation for Ob.

Fortschritte der Physik•Jan 1, 1981•19 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

Probabilistic frames for non-Boolean phenomena

Louis Narens

Classical probability theory, as axiomatized in 1933 by Andrey Kolmogorov, has provided a useful and almost universally accepted theory for describing and quantifying uncertainty in scientific applications outside quantum mechanics. Recently, cognitive psychologists and mathematical economists have provided examples where classical probability theory appears inadequate but the probability theory underlying quantum mechanics appears effective. Formally, quantum probability theory is a generalization of classical probability. This article explores relationships between generalized probability theories, in particular quantum-like probability theories and those that do not have full complementation operators (e.g. event spaces based on intuitionistic logic), and discusses how these generalizations bear on important issues in the foundations of probability and the development of non-classical probability theories for the behavioural sciences.

Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences•Nov 30, 2015•4 citations
Several attempts have been made to establish the logical structure of quantum mechanics on an axiomatic foundation. It has been shown that, whereas the logical structure of the propositional calculus of classical mechanics is that of a Boolean lattice, the logical structure of the propositional calculus of quantum mechanics is non-Boolean. Moreover, a probability model of a quantum system, namely, the quantum probability model, has a mathematical structure completely different from that of the Kolmogorovian probability model, which is the standard probability model of a classical system. These results, which are still controversial, are analysed and put in critical perspective.
Quantum mechanics is usually described in the terminology of probability theory even though the properties of the probability spaces associated with it are fundamentally different from the standard ones of probability theory. For example, Kolmogorov's axioms are not general enough to encompass the non-commutative situations that arise in quantum theory. There have been many attempts to generalise these axioms to meet the needs of quantum mechanics. The focus of these attempts has been the observation, first made by Birkhoff and von Neumann (1936), that the propositions associated with a quantum-mechanical system do not form a Boolean σ-algebra. There is almost universal agreement that the probability space associated with a quantum-mechanical system is given by the set of subspaces of a separable Hilbert space, but there is disagreement over the algebraic structure that this set represents. In the most popular model for the probability space of quantum mechanics the propositions are assumed to form an orthocomplemented lattice (Mackey (1963), Jauch (1968)). The fundamental concept here is that of a partial order, that is a binary relation that is reflexive and transitive but not symmetric. The partial order is interpreted as embodying the logical concept of implication in the set of propositions associated with the physical system. Although this model provides an acceptable mathematical expression of the probabilistic structure of quantum mechanics in that the subspaces of a separable Hilbert space give a representation of an ortho-complemented lattice, it has several deficiencies which will be discussed later.
This paper deals with the foundations of quantum mechanics. We start by outlining the characterisation, due to Birkhoff and Von Neumann, of the logical structures of the theories of classical physics and quantum mechanics, as boolean and modular lattices respectively. We then derive these descriptions from what we claim are basic properties of any physical theory - i.e. the notion that a quantity in such a theory may be analysed into parts and that the results of this analysis may be treated in languages with an underlying boolean structure. We shall see that in the course of constructing a model of a theory with these properties different indistinguishable possibilities will arise for how the elements of the model may be named, that is to say different possibilities arise for how they can be associated with points from Set. Taking a particular collection of possibilities gives the usual boolean lattice of the propositions of classical physics. Taking all possibilities - in a sense, the set of all things that may be described by physical theories - gives the lattice of quantum mechanical propositions. This gives an interpretation of quantum mechanics as the complete set of such possible descriptions, the complete physical description of the world.
Statistical physical theories are frequently formulated in terms of probabilistic structures founded on a ’’logic of experimentally verifiable propositions.’’ It is argued that to each experimentally verifiable proposition there corresponds an experimental procedure which, in general, alters the state of the system, and is completely characterized by a ’’measurement transformation’’ or ’’operation.’’ An analysis of the relations among these experimental procedures leads us to a ’’logic of operations’’ which is quite different from the ’’lattice theoretic logics’’ that are often considered (albeit inadequate empirical justification), as models for the calculus of experimentally verifiable propositions of quantum theory. It is seen that the quantum probability theory based on the logic of operations provides the proper mathematical framework for discussing the statistics of successive observations in quantum theory. We also indicate how a theory of quantum stochastic processes can be formulated in a way similar to the Kolmogorov formulation of the classical theory.
Abstract The paper, summarizing the results of recent papers of the author, is devoted to a detailed analysis of postulates of nonrelativistic quantum theory appearing within two classical axiomatic frameworks the “quantum logic” and the “algebraic approach” respectively, which are presently the two main alternatives for quantum axiomatics. The first part of the paper concerns the structure of two important sets, the set of questions (propositional logic) and the set of pure states. It is shown how the quantum logic axiomatic scheme can be modified and improved in order to overcome the well known troubles connected with the lack of satisfactory physical justification for some postulates of this approach. In particular, an axiom system is developed, related closely to the quantum logic axiomatic scheme, in which the questions of the complete lattice structure, the atomisticity, and the validity of the covering law in the propositional logic do not appear so problematic. The particular attention is directed to the covering law, which is here obtained as a consequence of physically clear properties of the experimental procedures (“filters”) associated with the quantum‐mechanical propositions. In Section 1.5 we formulate an axiom system for quantum mechanics based exclusively on the concepts of pure state, transition probability, and pure filter. In the second part of the paper the axiomatic scheme presented in Part 1 is developed with the aim to analyse the algebraic structure of some subspaces of the set of simple observables. The quantum logic axiomatic framework is here shown closely connected with the Jordan‐Banach algebraic scheme. In the third part of the paper, similarly as it was done in Parts 1 and 2, the correspondence between the propositions and the experimental (measuring) procedures verifying these propositions is put as the basic assumption of the axiomatization of quantum mechanics. As a consequence of this assumption, there is established the structure of a real Jordan‐Banach algebra in the set Ob of the bounded observables associated with a physical system, so that we can apply the GNS representation theorem proved recently for such algebras by Alfsen et al. (1978) to obtain the Hilbert space (or, to be more precise, the C*‐algebraic) representation for Ob.
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.
Classical probability theory, as axiomatized in 1933 by Andrey Kolmogorov, has provided a useful and almost universally accepted theory for describing and quantifying uncertainty in scientific applications outside quantum mechanics. Recently, cognitive psychologists and mathematical economists have provided examples where classical probability theory appears inadequate but the probability theory underlying quantum mechanics appears effective. Formally, quantum probability theory is a generalization of classical probability. This article explores relationships between generalized probability theories, in particular quantum-like probability theories and those that do not have full complementation operators (e.g. event spaces based on intuitionistic logic), and discusses how these generalizations bear on important issues in the foundations of probability and the development of non-classical probability theories for the behavioural sciences.