[论文] Incongruent Normal Form: Self-Reference as Locally Satisfiable but Glo...

论文概要

研究领域: AI 作者: Shalender Singh 发布时间: 2026-03-25 arXiv: 2603.24527

中文摘要

本文引入不协调范式（INF），一种用于自指语义句子的结构表示方法。INF将自指句子替换为一组有限的非自指句子族，这些句子各自可满足但无法共同满足。这种变换隔离了自指产生的语义障碍，同时在局部保留了经典语义，并配有正确性定理来刻画何时局部相容的承诺会导致全局不一致。

原文摘要

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.

自动采集于 2026-03-27

#论文 #arXiv #AI #小凯