Classical and quantum probabilities as truth values
This paper deals with a problem how probabilities can be treated as truth values in suitable sheaf topoi. For the specific presheaf topoi used in the reformulation of quantum theory, a truth value is a lower set in the set \({\mathcal V}({\mathcal H})\) of commutative sub-algebras of the algebra \({\mathcal B}({\mathcal H})\) of all bounded operators on a Hilbert space \({\mathcal H}\).NEWLINENEWLINE A truth value is therefore a collection of classical perspectives from which a given proposition is true. In this paper, the authors only consider non-trivial commutative von Neumann sub-algebras \(V \subset {\mathcal B}({\mathcal H})\) that contain the identity operator.NEWLINENEWLINE In a series of papers, the authors and others have shown how quantum theory can be re-expressed as a type of classical physics in the topos of presheaves (= set-valued contravariant functors) on the partially ordered set of all commutative von Neumann sub-algebras. This article deals with aspects of probability as it shows up in both classical and quantum physics. In both cases the usual probabilistic description can be absorbed into the logical framework supplied by topos theory. In fact, for pure quantum states, probabilities are replaced by truth values which are given by the structure of the topos itself.NEWLINENEWLINE Peculiar features of this work consists in the following three points. (i) Their topos approach is different from any other existing schemes. As a matter of fact, there is no problem in defining logical connectives as these are given uniquely by the theory itself. (ii) In the topos approach, truth values are not only multi-valued, but are also contextual in a way that is deeply tied to the underlying quantum theory. (iii) In both classical and quantum physics, probability can be faithfully interpreted using the intuitionistic logic associated with truth values in sheaf topoi. As for other related works, see, e.g. [\textit{J. Butterfield} and \textit{C. J. Isham}, Int. J. Theor. Phys. 41, No. 4, 613--639 (2002; Zbl 1021.81002); \textit{A. Döring} and \textit{C. J. Isham}, J. Math. Phys. 49, No. 5, 053518, 29 p. (2008; Zbl 1152.81411)]. For other related monographs, see also [\textit{A. Döring} and \textit{C. J. Isham}, Lect. Notes Phys. 813, 753--937 (2011; Zbl 1253.81011); \textit{S. Mac Lane} and \textit{I. Moerdijk}, Sheaves in geometry and logic: a first introduction to topos theory. New York etc.: Springer-Verlag (1992; Zbl 0822.18001)].
- Topos quantum theory reduced by context-selection functors
- A first course in topos quantum theory
- Topos quantum theory on quantization-induced sheaves
- Sheaf-theoretic representation of quantum measure algebras
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
- Topos models for physics and topos theory
- scientific article; zbMATH DE number 1984276
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- Contextuality and the fundamental theorems of quantum mechanics
- A topos for algebraic quantum theory
- A topos foundation for theories of physics: I. Formal languages for physics
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
- A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
- A topos foundation for theories of physics: IV. Categories of systems
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- Bohrification of operator algebras and quantum logic
- scientific article; zbMATH DE number 192841 (Why is no real title available?)
- scientific article; zbMATH DE number 3059601 (Why is no real title available?)
- scientific article; zbMATH DE number 3060434 (Why is no real title available?)
- Intuitionistic quantum logic of an \(n\)-level system
- Lectures on Quantum Theory
- Quantum logic as partial infinite-valued Łukasiewicz logic
- Singular coverings of toposes
- The Gelfand spectrum of a noncommutative C^*-algebra: a topos-theoretic approach
- Topoi. The categorial analysis of logic. Rev. ed
- Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
- Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
- Topos-theoretic extension of a modal interpretation of quantum mechanics
- A classical probability space exists for the measurement theory based on the truth values
- The logic of the future in quantum theory
- The mathematical descriptions of truth and change
- Conceptual and technical challenges of quantum gravity
- The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations
- Classical probability and quantum outcomes
- Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics
- Topos quantum theory with short posets
- Topos quantum logic and mixed states
- Topos quantum theory on quantization-induced sheaves
- Topos quantum theory reduced by context-selection functors
- Spectral presheaves as quantum state spaces
- Topos models for physics and topos theory
- scientific article; zbMATH DE number 1984276 (Why is no real title available?)
- The Born rule as structure of spectral bundles (extended abstract)
This page was built for publication: Classical and quantum probabilities as truth values
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2861735)
