Topos Theory and Consistent Histories: The Internal Logic of the Set of all Consistent Sets

Abstract

A major problem in the consistent-histories approach to quantum theory is contending with the potentially large number of consistent sets of history propositions. One possibility is to find a scheme in which a unique set is selected in some way. However, in this paper we consider the alternative approach in which all consistent sets are kept, leading to a type of `many world-views' picture of the quantum theory. It is shown that a natural way of handling this situation is to employ the theory of varying sets (presheafs) on the space $\B$ of all Boolean subalgebras of the orthoalgebra $\UP$ of history propositions. This approach automatically includes the feature whereby probabilistic predictions are meaningful only in the context of a consistent set of history propositions. More strikingly, it leads to a picture in which the `truth values', or `semantic values' of such contextual predictions are not just two-valued (\ie true and false) but instead lie in a larger logical algebra---a Heyting algebra---whose structure is determined by the space $\B$ of Boolean subalgebras of $\UP$.

28 pages, LaTeX

References in corpus (15)

• Relational Quantum Mechanics
• On the Consistent Histories Approach to Quantum Mechanics
• Quantum Logic and the Histories Approach to Quantum Theory
• Linking Topological Quantum Field Theory and Nonperturbative Quantum Gravity
• Consistent Histories and Quantum Reasoning
• Quantum temporal logic and decoherence functionals in the histories approach to generalised quantum theory
• Properties of Consistent Histories
• Continuous Histories and the History Group in Generalised Quantum Theory
• Clock and Category; IS QUANTUM GRAVITY ALGEBRAIC
• The Classification of Decoherence Functionals: An Analogue of Gleason's Theorem
• A Review of the Decoherent Histories Approach to Quantum Mechanics
• Alternative Decohering Histories in Quantum Mechanics
• The Bekenstein Bound, Topological Quantum Field Theory and Pluralistic Quantum Field Theory
• Quantum logic and decohering histories
• Information-entropy and the space of decoherence functions in generalised quantum theory

Cited by in corpus (62)

• A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
• Quantum gravity with a positive cosmological constant
• `What is a Thing?': Topos Theory in the Foundations of Physics
• (Quantum) Space-Time as a Statistical Geometry of Fuzzy Lumps and the Connection with Random Metric Spaces
• Strings, loops and others: a critical survey of the present approaches to quantum gravity
• Between classical and quantum
• Superdensity Operators for Spacetime Quantum Mechanics
• Quantum causal histories
• Implementing causality in the spin foam quantum geometry
• Entangled Histories
• Topos theory and `neo-realist' quantum theory
• A topos perspective on the Kochen-Specker theorem: I. Quantum States as Generalized Valuations
• The Logos Categorical Approach to Quantum Mechanics: I. Kochen-Specker Contextuality and Global Intensive Valuations
• Experimental Test of Entangled Histories
• Contextual logic for quantum systems
• Quantum theory without Hilbert spaces
• Smooth Singularities Exposed: Chimeras of the Differential Spacetime Manifold
• Finitary Cech-de Rham Cohomology: much ado without smoothness
• Toposes in General Theory of Relativity
• A Topos Perspective on State-Vector Reduction
• On the relation between quantum mechanical probabilities and event frequencies
• The role of phase space geometry in Heisenberg's uncertainty relation
• Homogeneous decoherence functionals in standard and history quantum mechanics
• Non-Commutative Topology for Curved Quantum Causality
• A Comparison of Two Topos-Theoretic Approaches to Quantum Theory
• Presheaves, Sheaves and their Topoi in Quantum Gravity and Quantum Logic
• Finitary Topos for Locally Finite, Causal and Quantal Vacuum Einstein Gravity
• On Tracial Operator Representations of Quantum Decoherence Functionals
• A Bayesian Account of Quantum Histories
• Exceptional and Non-crystallographic Root Systems and the Kochen-Specker Theorem
• Topos Analogues of the KMS State
• A Topos Formulation of Consistent Histories
• Quantum theory as a statistical theory under symmetry and complementarity
• Possible Anthropic Support for a Decaying Universe: A Cosmic Doomsday Argument
• Solution of the vacuum Einstein equations in Synthetic Differential Geometry of Kock-Lawvere
• New Examples of Kochen-Specker Type Configurations on Three Qubits
• A Bridge Between Q-Worlds
• Topoi of Emergence. Foundations and Applications
• Group Action in Topos Quantum Physics
• Contrary Inferences in Consistent Histories and a Set Selection Criterion
• Sheaf-Theoretic Methods in Quantum Mechanics and Quantum Information Theory
• The coevent formulation of quantum theory
• Lectures on Topos Quantum Theory
• Beyond Purity and Mixtures in Categorical Quantum Mechanics
• Topos-Theoretic Extension of a Modal Interpretation of Quantum Mechanics
• Interpretation of intuitionistic solution of the vacuum Einstein equations in smooth topos
• Sheafifying Consistent Histories
• Temporal Quantum Theory
• The logic of sheaves, sheaf forcing and the independence of the Continuum Hypothesis
• A Realistic Deterministic Quantum Theory Using Borelian-Normal Numbers
• Topos Quantum Theory on Quantization-Induced Sheaves
• Coevents as Beables
• Topos Quantum Theory Reduced by Context-Selection Functors
• On the Classification of Decoherence Functionals
• New Families of Finite Coherent Orthoalgebras without Bivaluations
• Consistent Histories as Valuations
• Consistent Histories may be strange, but so is standard Quantum Theory
• Observer Dependence in Consistent Histories and General Relativity
• Quantum set theory: quantum conditionals and order of observable
• Contextual extensions of quantum gravity models
• Tensor networks for quantum causal histories
• Quantum History cannot be Copied