Classical and quantum probabilities as truth values

DOI10.1063/1.3688627zbMATH Open1285.60003arXiv1102.2213OpenAlexW3104752413MaRDI QIDQ2861735FDOQ2861735

Authors: A. Döring, C. J. Isham 

Publication date: 11 November 2013

Published in: Journal of Mathematical Physics (Search for Journal in Brave)

Abstract: We show how probabilities can be treated as truth values in suitable sheaf topoi. The scheme developed in this paper is very general and applies to both classical and quantum physics. On the quantum side, the results are a natural extension of our existing work on a topos approach to quantum theory. Earlier results on the representation of arbitrary quantum states are complemented with a purely logical perspective.

Full work available at URL: https://arxiv.org/abs/1102.2213

Recommendations

• 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

zbMATH Keywords

quantum probabilityvon Neumann algebraquantum logicquantum theorytruth valuesheaf topoi

Mathematics Subject Classification ID

Quantum logic (03G12) Categorical logic, topoi (03G30) Axioms; other general questions in probability (60A05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Cites Work

• Title not available (Why is that?)
• A topos for algebraic quantum theory
• Singular coverings of toposes
• Lectures on Quantum Theory
• Title not available (Why is that?)
• A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• Bohrification of operator algebras and quantum logic
• Title not available (Why is that?)
• A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
• Intuitionistic quantum logic of an \(n\)-level system
• Topoi. The categorial analysis of logic. Rev. ed
• The Gelfand spectrum of a noncommutative \(C^*\)-algebra: a topos-theoretic approach
• A topos foundation for theories of physics: IV. Categories of systems
• A topos foundation for theories of physics: I. Formal languages for physics
• Quantum logic as partial infinite-valued Łukasiewicz logic
• A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
• Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
• Topos perspective on the Kochen--Specker theorem. IV: Interval valuations

Cited In (16)

• Topos quantum logic and mixed states
• The Born rule as structure of spectral bundles (extended abstract)
• Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics
• Topos quantum theory with short posets
• The mathematical descriptions of truth and change
• Topos models for physics and topos theory
• The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations
• Title not available (Why is that?)
• Topos quantum theory reduced by context-selection functors
• Spectral presheaves as quantum state spaces
• Classical probability and quantum outcomes
• Topos-theoretic extension of a modal interpretation of quantum mechanics
• Topos quantum theory on quantization-induced sheaves
• A classical probability space exists for the measurement theory based on the truth values
• The logic of the future in quantum theory
• Conceptual and technical challenges of quantum gravity

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)