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

## 论文概要 **研究领域**: AI **作者**: Shalender Singh **发布时间**: 2026-03-25 **arXiv**: [2603.24527](https://arxiv.org/abs/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 #小凯