論文の概要: Logical Consistency as a Dynamical Invariant: A Quantum Model of Self-Reference and Paradox

• arxiv url: http://arxiv.org/abs/2512.21914v1
• Date: Fri, 26 Dec 2025 07:59:28 GMT
• ステータス: 情報取得中
• システム内更新日: 2025-12-29 11:59:59.929474
• Title: Logical Consistency as a Dynamical Invariant: A Quantum Model of Self-Reference and Paradox
• Title（参考訳）: 動的不変量としての論理的一貫性:自己参照とパラドックスの量子モデル
• Authors: Nikolaos Cheimarios, Spyridoula Cheimariou,
• Abstract要約: 本稿では、その一元的進化の間に論理的一貫性を本質的に強制する量子回路アーキテクチャを提案する。 回路は干渉効果を用いて一貫性のない結果の抑制とコヒーレントな結果の保存を行う。 この研究は形式論理と量子認知モデリングを橋渡しし、一貫性を推論システムの構造的性質として組み込むことができることを示唆している。
• 参考スコア（独自算出の注目度）: 0.0
• License:
• 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.
• Abstract（参考訳）: 論理的パラドックスと矛盾する情報は、認識論と論理学の哲学に深い課題をもたらす。 古典的なシステムは通常、外部チェックや、タルスキの階層構造やパラ一貫性論理のように論理的な枠組みを変更することによってのみ矛盾を処理する。 本稿では,その一元的進化の間に論理的一貫性を本質的に強制する量子回路アーキテクチャを提案する。 自己参照的あるいは矛盾的な命題を量子状態に符号化することにより、回路は干渉効果を使用して、一貫性のない結果を保持しながら一貫性のない結果を抑制する。 我々はこのことをリア・パラドックス(「この主張は偽」)で示し、量子モデルは古典的にパラドックス的となる真理値を自然に安定化させることを示した。 このフレームワークは、論理命題を部分空間プロジェクタとして扱う正則量子論理に基づいて構築され、認識状態におけるコヒーレンス回復の物理的メカニズムを提供することで、信念の修正と認知モデルに接続する。 この研究は形式論理と量子計算を橋渡しし、一貫性は外部に課されるのではなく、推論システムの構造的性質として組み込むことができることを示唆している。

関連論文リスト

• Time Symmetry, Retrocausality, and Emergent Collapse: The Tlalpan Interpretation of Quantum Mechanics [51.56484100374058]
  Tlalpan Interpretation (QTI) は、波動関数の崩壊は原始的、公理的な規則ではなく、創発的な現象であると主張する。 QTIの新規性は、統計物理学における臨界現象の概念言語に崩壊を埋め込むことにある。
  論文  参考訳（メタデータ） (2025-08-25T20:30:56Z)
• Reasoning is about giving reasons [55.56111618153049]
  高い精度の3つの一般的な推論データセットにおいて、自然言語の引数の論理構造を同定し、抽出できることが示される。 我々のアプローチは、自然言語の引数の論理構造に依存するあらゆる推論形式をサポートする。
  論文  参考訳（メタデータ） (2025-08-20T07:26:53Z)
• Context and Complementarity: Formalizing Bohr's Vision through Many-Valued Contextual Logic [0.0]
  量子力学は、時空の古典的な直観と、重ね合わせ原理による因果性に挑戦する。 ニールス・ボーア(Niels Bohr)は、このパラドックスを補足性原理(Complementarity Principle)によって解決し、量子系の完全な記述には、波動や粒子の振る舞いのような相互排他的な性質が共同で必要であると主張した。 彼の深い洞察にもかかわらず、ボーアはこれらの概念の形式的な論理的枠組みを提供しなかった。 ライヒェンバッハの3値論理を7値の形式的文脈体系に一般化することにより、このギャップに対処する。
  論文  参考訳（メタデータ） (2025-05-14T12:28:11Z)
• Sufficiency of the counterfactual account of Lüders' rule to rule out ontological models of quantum mechanics [0.0]
  L'uders' 則の反実的な説明は、本質的に量子形式論とは相容れない存在論的モデルを示す。 これは、オントロジーモデル、あるいは文脈モデルでさえ、私たちが期待するもの(通常は暗黙的に仮定される量子状態の更新規則)と異なる振る舞いをしなければならないか、あるいは量子的振る舞いをモデル化できないことを暗示している。
  論文  参考訳（メタデータ） (2025-02-21T17:38:23Z)
• Quantum Entanglement Through the Lens of Paraconsistent Logic [0.0]
  本稿では、論理的矛盾を生じさせることなく、論理的矛盾を効果的に解消する量子絡み合いに対する別のアプローチを提案する。 状態重畳や非局所性などの量子力学における不整合に対処することにより、本手法はパラ一貫性論理の原理に基づいて構築される。
  論文  参考訳（メタデータ） (2024-05-14T17:10:20Z)
• Quantum Instability [30.674987397533997]
  時間非依存な有限次元量子系が、古典力学系におけるそれに対応する線形不安定性をもたらすことを示す。 不安定な量子系は、安定な量子系よりも豊富なスペクトルとずっと長い再帰時間を持つ。
  論文  参考訳（メタデータ） (2022-08-05T19:53:46Z)
• On the Common Logical Structure of Classical and Quantum Mechanics [0.0]
  量子論は、量子命題の完全な意味を適切に考慮すれば、古典的な分配性法則を満たすことを示す。 古典力学における統計命題の格子は同じ構造を辿り、古典命題の類似非可換部分格子が得られることを示す。
  論文  参考訳（メタデータ） (2022-06-21T18:31:53Z)
• LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
  本稿では,複合量子システムにおける情報フローの推論のための動的論理形式について紹介する。 本稿では,この論理の文法,関係意味論,音響証明システムについて述べる。 アプリケーションとしては,テレポーテーションプロトコルと標準量子秘密共有プロトコルに対して,正式な正当性を与えるために,我々のシステムを利用する。
  論文  参考訳（メタデータ） (2021-10-04T12:20:23Z)
• The Logic of Quantum Programs [77.34726150561087]
  本稿では,量子プログラムにおける情報フローの論理計算について述べる。 特に、複素量子系における量子測定、ユニタリ進化、絡み合いを扱うことができる動的論理を導入する。
  論文  参考訳（メタデータ） (2021-09-14T16:08:37Z)
• Logical Neural Networks [51.46602187496816]
  ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。 すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。 推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
  論文  参考訳（メタデータ） (2020-06-23T16:55:45Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。