論文の概要: From Liar Paradox to Incongruent Sets: A Normal Form for Self-Reference
- arxiv url: http://arxiv.org/abs/2603.24527v1
- Date: Wed, 25 Mar 2026 17:04:42 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-26 21:06:11.399366
- Title: From Liar Paradox to Incongruent Sets: A Normal Form for Self-Reference
- Title（参考訳）: 嘘つきパラドックスから同伴集合へ:自己参照の正規形式
- Authors: Shalender Singh, Vishnu Priya Singh Parmar,
- Abstract要約: 意味情報の構造的源としての不一致が果たす役割について考察する。
意味的完全性は情報的完全性を妨げるが、矛盾はそれを保っていることを示す。
共生は、局所的に実現可能であるが、グローバルに互換性のない意味的コミットメントとして構造的に表される。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We introduce incongruent normal form (INF), a structural representation for self-referential semantic sentences. An INF replaces a self-referential sentence with a finite family of non-self-referential sentences that are individually satisfiable but not jointly satisfiable. This transformation isolates the semantic obstruction created by self-reference while preserving classical semantics locally and is accompanied by correctness theorems characterizing when global inconsistency arises from locally compatible commitments. We then study the role of incongruence as a structural source of semantic informativeness. Using a minimal model-theoretic notion of informativeness-understood as the ability of sentences to distinguish among admissible models-we show that semantic completeness precludes informativeness, while incongruence preserves it. Moreover, incongruence is not confined to paradoxical constructions: any consistent incomplete first-order theory admits finite incongruent families arising from incompatible complete extensions. In this sense, incompleteness manifests structurally as locally realizable but globally incompatible semantic commitments, providing a minimal formal basis for semantic knowledge. Finally, we introduce a quantitative semantic framework. In a canonical finite semantic-state setting, we model semantic commitments as Boolean functions and define a Fourier-analytic notion of semantic energy based on total influence. We derive uncertainty-style bounds relating semantic determinacy, informativeness, and spectral simplicity, and establish a matrix inequality bounding aggregate semantic variance by total semantic energy. These results show quantitatively that semantic informativeness cannot collapse into a single determinate state without unbounded energy cost, identifying incongruence as a fundamental structural and quantitative feature of semantic representation.
- Abstract（参考訳）: 自己参照意味文の構造表現である不一致正規形(INF)を導入する。
INFは、自己参照文を、個々に満足できるが、共同で満足できない有限個の非自己参照文に置き換える。
この変換は、古典的意味論を局所的に保存しながら自己参照によって生成された意味障害を分離し、局所的に互換性のあるコミットメントから大域的不整合が発生したときに特徴付ける正当性定理を伴っている。
次に、意味情報の構造的源としての矛盾の役割について研究する。
意味的完全性は情報的完全性を妨げるが、矛盾はそれを保っていることを示す。
さらに、矛盾はパラドックス的な構成に限らず、任意の一貫した不完全一階述語理論は、不整完全拡大から生じる有限の非矛盾族を許容する。
この意味で、不完全性は局所的に実現可能であるが、グローバルに互換性のない意味的コミットメントとして構造的に表され、意味的知識の最小の形式的基盤を提供する。
最後に,定量的なセマンティック・フレームワークを提案する。
正準有限意味状態設定では、意味的コミットメントをブール関数としてモデル化し、全影響に基づいて意味的エネルギーのフーリエ解析的概念を定義する。
意味的決定性, 情報性, スペクトル的単純性に関連する不確実性型境界を導出し, 全意味的エネルギーによる集合的意味的分散を束縛する行列不等式を確立する。
これらの結果から,セマンティック・インフォマティヴネスは,非有界エネルギーコストを伴わずに単一決定状態に崩壊することは不可能であり,セマンティック・表現の基本的な構造的,定量的な特徴として不一致を同定する。
関連論文リスト
- Generalised contextuality of continuous variable quantum theory can be revealed with a single projective measurement [0.0]
連続変数系に対する一般化文脈性の標準定義の直接的な適用は、いくつかの基本的な測定値の統計を包含しないことを示す。
連続変数系に対する一般化された文脈性の定義の修正を提案する。
論文 参考訳（メタデータ） (2026-01-20T15:24:26Z) - Interaction-Conditional Semantics and the Dissolution of Quantum Paradoxes [0.0]
客観性を保ちながら、物理計測幾何学における相対的な配置のみをライセンスする4つの原則を紹介します。
ベルの定理とコチェン=スペクターの定理は、力学的な謎ではなく、許容可能な説明的構造に対する制約として再構成される。
論文 参考訳（メタデータ） (2026-01-20T01:22:22Z) - Random-Matrix-Induced Simplicity Bias in Over-parameterized Variational Quantum Circuits [72.0643009153473]
本稿では,観測可能な期待値とパラメータ勾配の両方がシステムサイズに指数関数的に集中するHaar型普遍性クラスに,表現的変分アンサーゼが入ることを示す。
その結果、そのような回路によって誘導される仮説クラスは、近点関数の狭い族に高い確率で崩壊する。
テンソル-ネットワークベースおよびテンソル-ハイパーネットワークパラメータ化を含むテンソル構造VQCは、ハール型普遍性クラスの外にある。
論文 参考訳（メタデータ） (2026-01-05T08:04:33Z) - The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems [2.44755919161855]
本稿では,動的システムにおける複雑性の起源を再定義する形式的枠組みとして,一様潜在パターンの理論(ULP)を紹介する。
ULPは、本質的なランダム性や創発的な非線形性に予測不可能をもたらすのではなく、全ての分析可能な系は構造的にユニークで決定論的な生成機構によって支配されていると主張する。
論文 参考訳（メタデータ） (2025-05-24T19:52:28Z) - Kernel Language Entropy: Fine-grained Uncertainty Quantification for LLMs from Semantic Similarities [79.9629927171974]
大規模言語モデル(LLM)の不確実性は、安全性と信頼性が重要であるアプリケーションには不可欠である。
ホワイトボックスとブラックボックス LLM における不確実性評価手法である Kernel Language Entropy (KLE) を提案する。
論文 参考訳（メタデータ） (2024-05-30T12:42:05Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳（メタデータ） (2023-07-28T11:26:26Z) - Unifying different notions of quantum incompatibility into a strict
hierarchy of resource theories of communication [60.18814584837969]
我々は、POVM、チャネル、機器の非互換性の異なる概念を統一するq-compatibilityの概念を導入する。
我々は、情報理論資源の観点から、各非互換性の概念が何を構成しているかを正確に特定することができる。
論文 参考訳（メタデータ） (2022-11-16T21:33:31Z) - Admissibility in Strength-based Argumentation: Complexity and Algorithms
(Extended Version with Proofs) [1.5828697880068698]
我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。
特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。
計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
論文 参考訳（メタデータ） (2022-07-05T18:42:04Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳（メタデータ） (2020-06-23T16:55:45Z) - Bypassing the Kochen-Specker theorem: an explicit non-contextual
statistical model for the qutrit [0.0]
クォートに対する隠れ変数の明示的な非コンテキスト統計モデルについて述べる。
このような絶対的な参照枠の存在は、基本的な物理原理によって要求されるものではない。
論文 参考訳（メタデータ） (2018-05-13T19:37:33Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。