Quantum information versus epistemic logic: an analysis of the Frauchiger-Renner theorem

DOI10.1007/S10701-019-00298-4MaRDI QIDQ2286504zbMATH OpenOpenAlexWikidataFDO

Authors Florian J. Boge

Publication date 22 January 2020

Published in Foundations of Physics (Search for Journal in Brave)

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

zbMATH Keywords

quantum informationepistemic logicWigner's friendFrauchiger-Renner theorem

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) General and philosophical questions in quantum theory (81P05)

Abstract: A recent no-go theorem (Frauchiger and Renner, 2018) establishes a contradiction from a specific application of quantum theory to a multi-agent setting. The proof of this theorem relies heavily on notions such as 'knows' or `is certain that'. This has stimulated an analysis of the theorem by Nurgalieva and del Rio (2018), in which they claim that it shows the "[i]nadequacy of modal logic in quantum settings" (ibid.). In this paper, we will offer a significantly extended and refined reconstruction of the theorem in multi-agent modal logic. We will then show that a thorough reconstruction of the proof as given by Frauchiger and Renner requires the reflexivity of access relations (system $mathsfmathbfT$). However, a stronger theorem is possible that already follows in serial frames, and hence also holds in systems of emph{doxastic} logic (such as $mathsfmathbfKD45$). After proving this, we will discuss the general implications for different interpretations of quantum probabilities as well as several options for dealing with the result.

Recommendations

• Inadequacy of modal logic in quantum settings
• Unitary-only quantum theory cannot consistently describe the use of itself: on the Frauchiger-Renner paradox
• Quantum approach to epistemic semantics
• Quantum version of Aumann's approach to common knowledge: sufficient conditions of impossibility to agree on disagree
• Single-world theory of the extended Wigner's friend experiment

Cites work

• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
• Dynamic epistemic logic
• Inadequacy of modal logic in quantum settings
• Probability and the Interpretation of Quantum Mechanics
• Quantum computation and quantum information. 10th anniversary edition
• Quantum mechanics between ontology and epistemology
• Quantum physics without quantum philosophy
• Quantum theory and the limits of objectivity
• Self-locating Uncertainty and the Origin of Probability in Everettian Quantum Mechanics
• Subjective probability and quantum certainty
• The quantum revolution in philosophy
• The relationship between knowledge, belief, and certainty
• Very improbable knowing

Cited in

(9)

• Respecting one's fellow: QBism's analysis of Wigner's friend
• Logic meets Wigner's friend (and their friends)
• Relational analysis of the Frauchiger-Renner paradox and interaction-free detection of records from the past
• Toys can’t play: physical agents in Spekkens’ theory
• A logico-epistemic investigation of Frauchiger and Renner's paradox
• Underwriting information-theoretic accounts of quantum mechanics with a realist, psi-epistemic model
• Inadequacy of modal logic in quantum settings
• The paradox of classical reasoning
• Unitary-only quantum theory cannot consistently describe the use of itself: on the Frauchiger-Renner paradox

This page was built for publication: Quantum information versus epistemic logic: an analysis of the Frauchiger-Renner theorem

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