Abstract The paper constructs a semi-formal language suited to the analysis of Wigner’s Friend scenarios: it represents an epistemic notion of rational beliefs and perspectives, to accommodate the insights of perspectival interpretations of quantum mechanics. The language is then used to analyze a paradox put forward by Frauchiger and Renner (Nat Commun, 9(1):3711, 2018). Their argument is presented as a semi-formal derivation with specified rules of reasoning. These rules bear an affinity to some of the cherished tenets of epistemology and we argue that they are valid (one universally, and the other in experimental contexts). Since our proof is a reductio , it leaves a choice which premises are responsible for a contradiction. Our first choice is a step that appears incorrect from the point of view of the universal unitary evolution as well as the view that every measurement induces a collapse of a measured system’s state. Our second choice, brought to view by the paper’s attention to perspectives and epistemology, points to a step reporting the transmission of beliefs (testimony) about measurement results. We argue that testimony is not licensed by quantum mechanical formalism; we discuss some recent attempts to save the cogency of testimony in the context of quantum measurements.
Abstract The paper constructs a semi-formal language suited to the analysis of Wigner’s Friend scenarios: it represents an epistemic notion of rational beliefs and perspectives, to accommodate the insights of perspectival interpretations of quantum mechanics. The language is then used to analyze a paradox put forward by Frauchiger and Renner (Nat Commun, 9(1):3711, 2018). Their argument is presented as a semi-formal derivation with specified rules of reasoning. These rules bear an affinity to some of the cherished tenets of epistemology and we argue that they are valid (one universally, and the other in experimental contexts). Since our proof is a reductio , it leaves a choice which premises are responsible for a contradiction. Our first choice is a step that appears incorrect from the point of view of the universal unitary evolution as well as the view that every measurement induces a collapse of a measured system’s state. Our second choice, brought to view by the paper’s attention to perspectives and epistemology, points to a step reporting the transmission of beliefs (testimony) about measurement results. We argue that testimony is not licensed by quantum mechanical formalism; we discuss some recent attempts to save the cogency of testimony in the context of quantum measurements.
This paper provides a comprehensive analysis of the Frauchiger–Renner paradox (2018), a significant thought experiment that demonstrates a logical contradiction arising when standard quantum mechanics is applied to nested observers. Building on Wigner’s friend scenario, it examines the formal setup, derives the contradiction from assumptions of universality, the Born rule, and self-consistency in multi-agent reasoning, and evaluates proposed resolutions across major interpretations of quantum mechanics (Copenhagen, Everettian/many-worlds, relational, QBism, decoherent histories, and objective collapse theories). The work explores historical context, epistemological implications for observation, objectivity, and intersubjectivity, as well as recent experimental probes and theoretical refinements. It argues that the paradox reveals deep tensions in applying quantum theory to complex, self-referential scenarios involving observers (2026).
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 quantum mechanics which can avoid the apparent paradox formulated by Frauchiger and Renner [Nat. Comm. 9, 3711 (2018)]. I propose a slight addition to standard textbook quantum mechanics, in the form of two rules, which avoids the paradox. The first specifies when a given quantum dynamics can be interpreted as a measurement. Potentially any dynamics can, but doing so depends on the context of other performed operations. The second requires that a joint context be used to determine whether several different dynamical evolutions can all be interpreted as measurement. The paradox is then avoided because not every participant in the Frauchiger-Renner thought experiment regards the stated dynamical descriptions of the experiment as measurements.
Abstract The scientific literature on Wigner’s Friend extended paradox rapidly grew in the last years. A sign that Frauchiger and Renner (2018)’s argument caught an important point. Indeed, they conclude that either we must abandon the universal validity of quantum mechanics, or a certain kind of traditional objective knowledge is impossible. We investigate this contradiction through a logico-epistemic toolbox. We show that abandoning the transmissibility of knowledge, as proposed by many kinds of relational approaches to quantum mechanics, is a heavy epistemological renouncement. Perhaps, it is better to bite the bullet and accept Frauchiger and Renner’s contradiction, until a new revolutionary solution will appear.
This paper offers a comprehensive analysis of Wigner’s Friend paradox (1961), a foundational thought experiment in quantum mechanics that highlights the tension between the internal perspective of a measuring observer (who experiences a definite outcome) and the external perspective of a super-observer who treats the entire laboratory as a quantum system in superposition. It traces the historical lineage from Schrödinger’s cat and von Neumann’s measurement theory, provides a formal mathematical description of the state evolution and logical structure of the paradox, examines implications for major interpretations of quantum mechanics (Copenhagen, Everettian many-worlds, QBism, relational quantum mechanics, and objective collapse theories), and discusses modern extensions such as the Frauchiger–Renner paradox. The work explores profound philosophical and epistemological consequences for the nature of observation, objectivity, intersubjectivity, and the role of consciousness in quantum theory (2026).
The concept of an isolated system, and Frauchiger and Renner's extended `Wigner's friend' scenario are discussed. It is argued that: (i) it is questionable whether the approximation of the isolated system is valid when measurement-like processes are involved; (ii) one may infer, from Frauchiger and Renner's thought-experiment, and similar thought-experiments, that any interpretation of quantum theory involving *subjective collapse* fails; (iii) this does not distinguish single-world from many-world (relative-state) interpretations of quantum theory; (iv) reasoning from observations has to take into account the possible quantum-erasure of those observations if it is to be valid reasoning; (v) a single-world interpretation is valid if certain kinds of outcome are not quantum-erased in the future.
Extended Wigner’s friend scenarios (EWFSs) model agents themselves as unitarily evolving quantum systems, going beyond the standard use of quantum theory where agents are treated classically. Several no-go results suggest deep challenges in this setting: Frauchiger and Renner argued that quantum agents reasoning using quantum theory would arrive at logical paradoxes, while the local-friendliness theorem raises difficulties for maintaining objective notions of measurement events and causal reasoning in EWFSs. This prompts a key question: Can the ability to make and test scientific predictions and reason consistently still be maintained if quantum theory applies universally, even to agents and their memories? We answer this positively by developing a general quantum circuit framework for EWFSs without assuming absolute measurement outcomes. We formalize Heisenberg cuts in terms of distinct choices of channels in the circuit, labeled by “settings,” and show that Frauchiger-Renner-type paradoxes are fully resolved by making explicit the conditioning on these channels or settings. We provide concrete reasoning rules for quantum agents that ensure logical, probabilistic, and causal consistency. Our framework captures all perspectives in an EWFS within a single causal structure while allowing events to be fundamentally subjective, and we show how objective events and predictions nevertheless emerge in current real-world quantum experiments. Thus, we demonstrate a relational yet operational framework that overcomes key challenges in EWFSs without altering the Born rule, unitarity, or classical logic and probability for outcomes. This establishes a formal platform to analyze and compare different EWFS arguments and extend quantum information methods consistently into the Wigner’s friend domain.