Neuer Normalform-Ansatz klärt Selbstreferenzparadoxien

In einer kürzlich veröffentlichten Arbeit auf arXiv wird die „incongruent normal form“ (INF) vorgestellt – ein strukturelles Verfahren, das selbstreferenzielle Sätze in eine endliche Familie von nicht‑selbstreferenziellen Sätzen zerlegt. Jede dieser Sätze ist einzeln erfüllbar, doch gemeinsam können sie nicht gleichzeitig wahr sein. So wird die semantische Blockade, die durch Selbstreferenz entsteht, isoliert, während die klassische Semantik lokal erhalten bleibt.

Die Autoren beweisen, dass INF korrekt ist: globale Inkonsistenzen entstehen genau dann, wenn lokale, kompatible Verpflichtungen im Widerspruch zueinander stehen. Darüber hinaus untersuchen sie die Rolle von Inkongruenz als Quelle semantischer Informativität. Mit einer minimalen modeltheoretischen Definition von Informativität – die Fähigkeit von Sätzen, zulässige Modelle zu unterscheiden – zeigen sie, dass vollständige Semantik Informativität ausschließt, während Inkongruenz sie bewahrt.

Interessanterweise beschränkt sich Inkongruenz nicht auf Paradoxien. Jede konsistente, unvollständige erste‑Ordnungstheorie liefert endlich viele inkompatible, vollständige Erweiterungen, die als inkomgruenten Familien auftreten. Damit wird Unvollständigkeit strukturell als lokal realisierbare, aber global inkompatible semantische Verpflichtungen dargestellt – ein minimalistisches Fundament für semantisches Wissen.

Schließlich führen die Autoren ein quantitatives Rahmenwerk ein, in dem semantische Verpflichtungen als Boolesche Funktionen modelliert werden. Sie definieren eine Fourier‑analytische „semantische Energie“ basierend auf dem Gesamteinfluss und erarbeiten Unsicherheits‑ähnliche Schranken, die Zusammenhänge zwischen Determiniertheit, Informativität und semantischer Energie aufzeigen.