Related papers: Inadequacy of Modal Logic in Quantum Settings
Quantum mechanics has been subject to logical scrutiny since its inception. The behavior of quantum systems, which are fundamentally dissimilar from classical systems, often appears to point to a logical inconsistency in quantum mechanics,…
The Frauchiger-Renner argument purports to show that the standard framework of quantum mechanics yields a contradiction when used to reason about systems containing agents who are themselves using quantum mechanics to perform deductions.…
We take a fresh look at Wigner's Friend thought-experiment and some of its more recent variants and extensions, such as the Frauchiger-Renner (FR) Paradox. We discuss various solutions proposed in the literature, focusing on a few…
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…
The Frauchiger--Renner paradox derives an inconsistency when quantum theory is used to describe the use of itself, by means of a scenario where agents model other agents quantumly and reason about each other's knowledge. We observe that…
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 does not provide straightforward answers to…
Which theories lead to a contradiction between simple reasoning principles and modelling observers' memories as physical systems? Frauchiger and Renner have shown that this is the case for quantum theory, with a thought experiment that…
Wigner's Friend scenarios push the boundaries of quantum theory by modeling agents, along with their memories storing measurement outcomes, as physical quantum systems. Extending these ideas beyond quantum theory, we ask: in which physical…
Theoretical physics has faced many challenges since the advent of quantum mechanics. Recently, Frauchiger and Renner have presented a no-go theorem, which makes quantum mechanics more controversial. However, from our perspective, the…
Frauchiger and Renner recently cast doubt on the universal applicability of Quantum Mechanics [1]. In the following, it is pointed out that their conclusion of one of three common-sense conditions, demanded for Quantum Mechanics, being…
We discuss the argument proposed in Ref.~\cite{Frauchiger-Renner}, and show that it does not particularly illustrate any inconsistency in quantum mechanics, but rather the well known difficulty often described as the \textquotedblleft…
Recent extended formulations of the Wigner's friend thought experiment throw the measurement problem of quantum mechanics into sharper relief. Here I respond to an invitation by Renner to provide a consistent and concrete set of rules for…
In a publication (Nature Comm. 3711, 9 (2018)), Daniela Frauchiger and Renato Renner used a Wigner/friend gedanken experiment to argue that quantum mechanics cannot describe complex systems involving measuring agents. They were able to…
Quantum theory in its conventional formulation is notoriously subject to various measurement-related paradoxes, as exemplified by the "Schrodinger's Cat" and "Wigner's Friend" thought experiments. It has been shown, for example by…
The Frauchiger-Renner Paradox is an extension of paradoxes based on the 'Problem of Measurement,' such as Schrodinger's Cat and Wigner's Friend. All of these paradoxes stem from assuming that quantum theory has only unitary (linear)…
We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic…
This is a short text covering some topics on the Foundations of Quantum Theory and it includes some comments on the recent Nature article by D. Frauchiger and R. Renner. The so-called "paradox" is simply due to a misunderstanding on the…
Multi-agent scenarios, like Wigner's friend and Frauchiger-Renner scenarios, can show contradictory results when a non-classical formalism must deal with the knowledge between agents. Such paradoxes are described with multi-modal logic as…
This note is a critical examination of the argument of Frauchiger and Renner (Nature Communications 9:3711 (2018)), in which they claim to show that three reasonable assumptions about the use of quantum mechanics jointly lead to a…
The Frauchiger-Renner argument aims to show that `quantum theory cannot consistently describe the use of itself': in many-party settings where agents are themselves subject to quantum experiments, agents may make predictions that contradict…