A BRIDGE BETWEEN Q-WORLDS

DOI10.1017/S1755020319000492arXiv1812.08604OpenAlexW3101890202MaRDI QIDQ6153159FDOQ6153159

Authors: A. Döring, Benjamin Eva, Masanao Ozawa 

Publication date: 16 March 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Abstract: Quantum set theory (QST) and topos quantum theory (TQT) are two long running projects in the mathematical foundations of quantum mechanics that share a great deal of conceptual and technical affinity. Most pertinently, both approaches attempt to resolve some of the conceptual difficulties surrounding quantum mechanics by reformulating parts of the theory inside of non-classical mathematical universes, albeit with very different internal logics. We call such mathematical universes, together with those mathematical and logical structures within them that are pertinent to the physical interpretation, `Q-worlds'. Here, we provide a unifying framework that allows us to (i) better understand the relationship between different Q-worlds, and (ii) define a general method for transferring concepts and results between TQT and QST, thereby significantly increasing the expressive power of both approaches. Along the way, we develop a novel connection to paraconsistent logic and introduce a new class of structures that have significant implications for recent work on paraconsistent set theory.

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

Recommendations

• Towards a paraconsistent quantum set theory
• scientific article
• Topos theory and consistent histories: The internal logic of the set of all consistent sets
• Modality and contextuality in topos quantum theory
• A topos for algebraic quantum theory

zbMATH Keywords

paraconsistent logicquantum foundationsquantum logictopos quantum theoryquantum set theory

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Nonclassical and second-order set theories (03E70) Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites Work

• Title not available (Why is that?)
• The logic of paradox
• The logic of quantum mechanics
• Transfinite cardinals in paraconsistent set theory
• Transfinite numbers in paraconsistent set theory
• ``What is a thing?: topos theory in the foundations of physics
• Title not available (Why is that?)
• A lattice-valued set theory
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• A theory of computation based on quantum logic. I
• Material implications in orthomodular (and Boolean) lattices
• Title not available (Why is that?)
• Topos theory and consistent histories: The internal logic of the set of all consistent sets
• Topos-based logic for quantum systems and bi-Heyting algebras
• Title not available (Why is that?)
• Subalgebras of orthomodular lattices
• Real analysis in paraconsistent logic
• Models for a paraconsistent set theory
• Boolean subalgebras of orthoalgebras
• Quantum set theory extending the standard probabilistic interpretation of quantum theory
• Towards a paraconsistent quantum set theory
• Transfer principle in quantum set theory
• Topos theoretic quantum realism
• Generalized algebra-valued models of set theory
• Orthomodular-valued models for quantum set theory
• A generalisation of Stone duality to orthomodular lattices
• Operational meanings of orders of observables defined through quantum set theories with different conditionals

Cited In (1)

• A natural deduction system for orthomodular logic

This page was built for publication: A BRIDGE BETWEEN Q-WORLDS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6153159)