The Contextual Modal Logic of a Wigner's Friend Generalization

• URL: http://arxiv.org/abs/2603.29028v1
• Date: Mon, 30 Mar 2026 21:39:05 GMT
• Title: The Contextual Modal Logic of a Wigner's Friend Generalization
• Abstract summary: A recent example of inquiry into the logical well-posedness of quantum mechanics is the Frauchiger-Renner Gedankenexperiment.<n>We show that by considering the property of contextuality in quantum systems--as predicted by the Kochen-Specker theorem--the supposed contradiction proposed by Frauchiger and Renner becomes logically inaccessible.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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, allegedly leading to contradictions in the prediction of experimental measurements--though such contradictions have never materialized. A recent example of this type of inquiry into the logical well-posedness of quantum mechanics is the Frauchiger-Renner Gedankenexperiment, which purports to demonstrate that quantum mechanics is logically inconsistent. In this article, we show that by considering the property of contextuality in quantum systems--as predicted by the Kochen-Specker theorem--the supposed contradiction proposed by Frauchiger and Renner becomes logically inaccessible.

Related papers

• No Cloning of Quantum Ensembles [12.972500817229978]
  Modern quantum physics enables control of quantum systems at the level of individual trajectories, opening a new frontier that links quantum information theory, quantum many-body physics, and quantum thermodynamics.<n>Their characterization relies on measuring nonlinear properties of individual quantum states, a task tantamount to fine-grained cloning of a quantum ensemble.<n>Here, the fundamental laws governing the cloning of quantum ensembles are investigated.<n>Results establish new fundamental principles of quantum mechanics, reveal intrinsic trade-offs among sample complexity, computational complexity, and quantum measurements, and highlight the necessity of problem-specific strategies for probing measurement-induced quantum phenomena.
  arXiv  Detail & Related papers  (2026-06-26T06:24:03Z)
• Logical Consistency as a Dynamical Invariant: A Quantum Model of Self-Reference and Paradox [0.0]
  We propose a quantum circuit architecture that intrinsically enforces logical consistency during its unitary evolution.<n>We show that the circuit uses interference effects to suppress inconsistent outcomes while preserving coherent ones.<n>This work bridges formal logic and quantum cognitive modeling, suggesting that consistency can be embedded as a structural property of reasoning systems.
  arXiv  Detail & Related papers  (2025-12-26T07:59:28Z)
• Expectation-Realization Interpretation of Quantum Superposition [8.869712776184477]
  I show that a quantum superposition should be understood as an expectation over possible eigenstates weighted by wave-like probabilities.<n>A measurement is indeed an activity employing a certain event to convert a quantum effect into a macroscopic outcome.
  arXiv  Detail & Related papers  (2025-11-06T08:01:16Z)
• Context and Complementarity: Formalizing Bohr's Vision through Many-Valued Contextual Logic [0.0]
  Quantum mechanics challenges classical intuitions of space time, and causality via the superposition principle.<n> Niels Bohr addressed these paradoxes through his Complementarity Principle, asserting that mutually exclusive properties-such as wave and particle behaviour-are jointly necessary for a complete description of quantum systems.<n>Despite his profound insights, Bohr did not offer a formal logical framework for these concepts.<n>We address this gap by generalizing Reichenbach's three-valued logic into a seven-valued, formally contextual system.
  arXiv  Detail & Related papers  (2025-05-14T12:28:11Z)
• Observation of Quantum Darwinism and the Origin of Classicality with Superconducting Circuits [9.09683951826704]
  How can we rationalize everyday classical observations from an inherently quantum world?<n>Quantum Darwinism offers a compelling framework to explain this emergence of classicality.<n>We observe the highly structured branching quantum states that support classicality and the saturation of quantum mutual information.
  arXiv  Detail & Related papers  (2025-04-01T13:33:32Z)
• Quantum Entanglement Through the Lens of Paraconsistent Logic [0.0]
  This paper presents an alternative approach to quantum entanglement, one that effectively resolves the logical inconsistencies without leading to logical contradictions. By addressing some of the inconsistencies within quantum mechanics, such as state superposition and non-locality, our method is constructed on the principles of paraconsistent logic.
  arXiv  Detail & Related papers  (2024-05-14T17:10:20Z)
• Atomicity in Distributed Quantum Computing [7.042810171786408]
  Atomicity is a ubiquitous assumption in distributed computing, under which actions are indivisible and appear sequential. In quantum computing, although atomicity is still commonly assumed, it has not been seriously studied.
  arXiv  Detail & Related papers  (2024-04-29T11:04:43Z)
• Quantum Instability [30.674987397533997]
  We show how a time-independent, finite-dimensional quantum system can give rise to a linear instability corresponding to that in the classical system. An unstable quantum system has a richer spectrum and a much longer recurrence time than a stable quantum system.
  arXiv  Detail & Related papers  (2022-08-05T19:53:46Z)
• On the Common Logical Structure of Classical and Quantum Mechanics [0.0]
  We show that quantum theory does satisfy the classical distributivity law once the full meaning of quantum propositions is properly taken into account. We show that the lattice of statistical propositions in classical mechanics follows the same structure, yielding an analogue non-commutative sublattice of classical propositions.
  arXiv  Detail & Related papers  (2022-06-21T18:31:53Z)
• Quantum Causal Inference in the Presence of Hidden Common Causes: an Entropic Approach [34.77250498401055]
  We put forth a new theoretical framework for merging quantum information science and causal inference by exploiting entropic principles. We apply our proposed framework to an experimentally relevant scenario of identifying message senders on quantum noisy links. This approach can lay the foundations of identifying originators of malicious activity on future multi-node quantum networks.
  arXiv  Detail & Related papers  (2021-04-24T22:45:50Z)
• Observers of quantum systems cannot agree to disagree [55.41644538483948]
  We ask whether agreement between observers can serve as a physical principle that must hold for any theory of the world. We construct examples of (postquantum) no-signaling boxes where observers can agree to disagree.
  arXiv  Detail & Related papers  (2021-02-17T19:00:04Z)
• Quantum Mechanical description of Bell's experiment assumes Locality [91.3755431537592]
  Bell's experiment description assumes the (Quantum Mechanics-language equivalent of the classical) condition of Locality. This result is complementary to a recently published one demonstrating that non-Locality is necessary to describe said experiment. It is concluded that, within the framework of Quantum Mechanics, there is absolutely no reason to believe in the existence of non-Local effects.
  arXiv  Detail & Related papers  (2020-02-27T15:04:08Z)
• The (Quantum) Measurement Problem in Classical Mechanics [0.0]
  We show why this is not an "obvious" nor "self evident" problem for the theory of quanta. We discuss a representational realist account of both physical 'theories' and'measurement' We show how through these same set of presuppositions it is easy to derive a completely analogous paradox for the case of classical mechanics.
  arXiv  Detail & Related papers  (2020-01-01T17:07:03Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.