Inadequacy of Modal Logic in Quantum Settings

Abstract

We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox. The Frauchiger-Renner thought experiment highlighted fundamental problems in applying classical reasoning when quantum agents are involved; we take it as a guiding example to test the axioms of classical modal logic. In doing so, we find a problem in the original formulation of the Frauchiger-Renner theorem: a missing assumption about unitarity of evolution is necessary to derive a contradiction and prove the theorem. Adding this assumption clarifies how different interpretations of quantum theory fit in, i.e., which properties they violate. Finally, we show how most of the axioms of classical modal logic break down in quantum settings, and attempt to generalize them. Namely, we introduce constructions of trust and context, which highlight the importance of an exact structure of trust relations between agents. We propose a challenge to the community: to find conditions for the validity of trust relations, strong enough to exorcise the paradox and weak enough to still recover classical logic.

In Proceedings QPL 2018, arXiv:1901.09476

References in corpus (4)

• How Quantum Mechanics can consistently describe the use of itself
• On Formalisms and Interpretations
• Why Bohr was (Mostly) Right
• Plausibility measures on test spaces

Cited by in corpus (15)

• Respecting One's Fellow: QBism's Analysis of Wigner's Friend
• A no-go theorem for the persistent reality of Wigner's friend's perception
• A possibilistic no-go theorem on the Wigner's friend paradox
• Testing quantum theory with thought experiments
• Unitary-Only Quantum Theory Cannot Consistently Describe the Use of Itself: On the Frauchiger-Renner Paradox
• Multi-agent paradoxes beyond quantum theory
• Quantum erasing the memory of Wigner's friend
• A single-world consistent interpretation of quantum mechanics from fundamental time and length uncertainties
• A general quantum circuit framework for Extended Wigner's Friend Scenarios: logically and causally consistent reasoning without absolute measurement events
• Wigner and friends, a map is not the territory! Contextuality in multi-agent paradoxes
• Toys can't play: physical agents in Spekkens' theory
• Implications of Local Friendliness violation for quantum causality
• The paradox of classical reasoning
• Events in quantum mechanics are maximally non-absolute
• Quantum epistemology and constructivism