From Liar Paradox to Incongruent Sets: A Normal Form for Self-Reference
Summary: arXiv:2603.24527v1 Announce Type: new
Abstract
In recent developments in the field of semantics, we introduce the concept of Incongruent Normal Form (INF), which serves as a structural representation for self-referential semantic sentences. The significance of INF lies in its ability to transform a self-referential sentence into a finite family of non-self-referential sentences. Although these transformed sentences are individually satisfiable, they collectively lead to a state of unsatisfiability.
Key Features of Incongruent Normal Form
The INF approach effectively isolates the semantic obstruction caused by self-reference while maintaining classical semantics at a local level. This transformation is supported by a series of correctness theorems that delineate the circumstances under which global inconsistency emerges from locally compatible commitments. Key features include:
- Transformation of self-referential sentences into a finite family of non-self-referential sentences.
- Preservation of classical semantics in local contexts.
- Correctness theorems that clarify the relationship between local compatibility and global inconsistency.
The Role of Incongruence
In our exploration, we delve into the role of incongruence as a structural source of semantic informativeness. Utilizing a minimal model-theoretic perspective on informativeness, which is defined as the capacity of sentences to differentiate between admissible models, we arrive at several pivotal insights:
- Semantic completeness inherently limits informativeness.
- Incongruence, on the other hand, preserves and even enhances informativeness.
- Incongruence is not restricted to paradoxical cases; any consistent incomplete first-order theory can generate finite incongruent families from incompatible complete extensions.
Incompleteness and Semantic Commitments
This understanding of incongruence leads us to consider incompleteness as a structural manifestation of locally realizable but globally incompatible semantic commitments. This finding provides a minimal formal foundation for semantic knowledge, emphasizing the importance of understanding the limits and potential of self-reference in semantic theory.
A Quantitative Semantic Framework
To further our analysis, we propose a quantitative semantic framework. In a standard finite semantic-state context, we model semantic commitments through Boolean functions and introduce a Fourier-analytic concept of semantic energy that is based on total influence. Our findings yield several important results:
- We establish uncertainty-style bounds linking semantic determinacy, informativeness, and spectral simplicity.
- A matrix inequality is derived that bounds aggregate semantic variance by total semantic energy.
These results quantitatively illustrate that semantic informativeness cannot simply reduce to a single determinate state without incurring unbounded energy costs. This identifies incongruence as a fundamental feature, both structurally and quantitatively, of semantic representation.