• Corpus ID: 221397206

Fitch's knowability axioms are incompatible with quantum theory

@article{Fraser2020FitchsKA,
  title={Fitch's knowability axioms are incompatible with quantum theory},
  author={Patrick Fraser and Nuriya Nurgalieva and L{\'i}dia del Rio},
  journal={arXiv: Quantum Physics},
  year={2020}
}
How can we consistently model the knowledge of the natural world provided by physical theories? Philosophers frequently use epistemic logic to model reasoning and knowledge abstractly, and to formally study the ramifications of epistemic assumptions. One famous example is Fitch's paradox, which begins with minimal knowledge axioms and derives the counter-intuitive result that "every agent knows every true statement." Accounting for knowledge that arises from physical theories complicates… 

Figures and Tables from this paper

Toys can't play: physical agents in Spekkens' theory

Information is physical [1], and for a physical theory to be universal, it should model ob-servers as physical systems, with concrete memories where they store the information acquired through

Testing quantum theory with thought experiments

Quantum mechanics is one of our most successful physical theories; its predictions agree with experimental observations to an extremely high accuracy. However, the bare formalism of quantum theory

References

SHOWING 1-10 OF 91 REFERENCES

Multi-agent paradoxes beyond quantum theory

TLDR
The conditions of the Frauchiger-Renner result are generalized so that they can be applied to arbitrary physical theories, and in particular to those expressed as generalized probabilistic theories (GPTs), and a deterministic contradiction is found.

Inadequacy of modal logic in quantum settings

TLDR
A challenge to the community is proposed: to find conditions for the validity of trust relations, strong enough to exorcise the paradox and weak enough to still recover classical logic.

Quantum theory cannot consistently describe the use of itself

TLDR
A variant of Wigner’s friend Gedankenexperiment where each of the current interpretations of QM fails in giving a consistent description, indicating that quantum theory cannot be extrapolated to complex systems, at least not in a straightforward manner.

A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures

TLDR
Some critical open problems of epistemic logics can be investigated in the framework of a quantum computational approach, which permits us to model some characteristic epistemic processes, that concern both human and artificial intelligence.

Quantum Information Versus Epistemic Logic: An Analysis of the Frauchiger–Renner Theorem

  • F. Boge
  • Philosophy
    Foundations of Physics
  • 2019
A recent no-go theorem (Frauchiger and Renner in Nat Commun 9(1):3711, 2018) establishes a contradiction from a specific application of quantum theory to a multi-agent setting. The proof of this

Quantum Mechanics and Reality

We begin by discussing ``What exists?'', i.e. ontology, in Classical Physics which provided a description of physical phenomena at the macroscopic level. The microworld however necessitates a

Interpretations of quantum theory: A map of madness

Motivated by some recent news, a journalist asks a group of physicists: "What's the meaning of the violation of Bell's inequality?" One physicist answers: "It means that non-locality is an

Unitary-Only Quantum Theory Cannot Consistently Describe the Use of Itself: On the Frauchiger–Renner Paradox

The Frauchiger–Renner Paradox is an extension of paradoxes based on the “Problem of Measurement,” such as Schrödinger’s Cat and Wigner’s Friend. All these paradoxes stem from assuming that quantum

Quantum Theory From Five Reasonable Axioms

The usual formulation of quantum theory is based on rather obscure axioms (employing complex Hilbert spaces, Hermitean operators, and the trace formula for calculating probabilities). In this paper

A No-Go Theorem for Observer-Independent Facts

TLDR
A no-go theorem for observer-independent facts, which would be common both for Wigner and the friend is derived and is analyzed in the context of a newly-derived theorem arXiv:1604.07422, where Frauchiger and Renner prove that “single-world interpretations of quantum theory cannot be self-consistent”.
...