Logical Consistency as a Dynamical Invariant: A Quantum Model of Self-Reference and Paradox

• URL: http://arxiv.org/abs/2512.21914v1
• Date: Fri, 26 Dec 2025 07:59:28 GMT
• Title: Logical Consistency as a Dynamical Invariant: A Quantum Model of Self-Reference and Paradox
• Authors: Nikolaos Cheimarios, Spyridoula Cheimariou,
• Abstract summary: 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.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Logical paradoxes and inconsistent information pose deep challenges in epistemology and the philosophy of logic. Classical systems typically handle contradictions only through external checks or by altering the logical framework, as in Tarski's hierarchy or paraconsistent logics. We propose a novel approach: a quantum circuit architecture that intrinsically enforces logical consistency during its unitary evolution. By encoding self-referential or contradictory propositions into a quantum state, the circuit uses interference effects to suppress inconsistent outcomes while preserving coherent ones. We demonstrate this with the Liar Paradox ("This statement is false"), showing that the quantum model naturally stabilizes truth values that would be paradoxical classically. The framework builds on orthomodular quantum logic treating logical propositions as subspace projectors and connects to belief revision and cognitive modeling by providing a physical mechanism for coherence restoration in epistemic states. This work bridges formal logic and quantum computation, suggesting that consistency can be embedded as a structural property of reasoning systems rather than imposed externally.

Related papers

• Time Symmetry, Retrocausality, and Emergent Collapse: The Tlalpan Interpretation of Quantum Mechanics [51.56484100374058]
  The Tlalpan Interpretation (QTI) proposes that the wavefunction collapse is not a primitive, axiomatic rule but an emergent phenomenon.<n>The novelty of QTI lies in its embedding of collapse within the conceptual language of critical phenomena in statistical physics.
  arXiv  Detail & Related papers  (2025-08-25T20:30:56Z)
• Reasoning is about giving reasons [55.56111618153049]
  We show that we can identify and extract the logical structure of natural language arguments in three popular reasoning datasets with high accuracies.<n>Our approach supports all forms of reasoning that depend on the logical structure of the natural language argument.
  arXiv  Detail & Related papers  (2025-08-20T07:26:53Z)
• 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)
• Sufficiency of the counterfactual account of Lüders' rule to rule out ontological models of quantum mechanics [0.0]
  We show that a counterfactual account of L"uders' rule renders ontological models inherently incompatible with the quantum formalism.<n>This implies that ontological models, even contextual ones, must either act differently to what we would expect given (this, typically implicitly-assumed account of) quantum state update rule, or cannot model quantum behaviour.
  arXiv  Detail & Related papers  (2025-02-21T17:38:23Z)
• 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)
• 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)
• Unification of Random Dynamical Decoupling and the Quantum Zeno Effect [68.8204255655161]
  We show that the system dynamics under random dynamical decoupling converges to a unitary with a decoupling error that characteristically depends on the convergence speed of the Zeno limit. This reveals a unification of the random dynamical decoupling and the quantum Zeno effect.
  arXiv  Detail & Related papers  (2021-12-08T11:41:38Z)
• LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
  This paper introduces a dynamic logic formalism for reasoning about information flow in composite quantum systems. We present a finitary syntax, a relational semantics and a sound proof system for this logic. As applications, we use our system to give formal correctness for the Teleportation protocol and for a standard Quantum Secret Sharing protocol.
  arXiv  Detail & Related papers  (2021-10-04T12:20:23Z)
• The Logic of Quantum Programs [77.34726150561087]
  We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems.
  arXiv  Detail & Related papers  (2021-09-14T16:08:37Z)
• A natural deduction system for orthomodular logic [0.0]
  Orthomodular logic is a weakening of quantum logic in the sense of Birkhoff and von Neumann. It is shown to be a nonlinear noncommutative logic. It is extended to two systems of predicate logic: the first is sound for Takeuti's quantum set theory, and the second is sound for a variant of Weaver's quantum logic.
  arXiv  Detail & Related papers  (2021-09-11T22:28:17Z)
• Logical Neural Networks [51.46602187496816]
  We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning) Every neuron has a meaning as a component of a formula in a weighted real-valued logic, yielding a highly intepretable disentangled representation. Inference is omni rather than focused on predefined target variables, and corresponds to logical reasoning.
  arXiv  Detail & Related papers  (2020-06-23T16:55:45Z)

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.