Ein semantisches Paradoxon, das aus Sätzen entsteht, die ihre eigene Falschheit behaupten, typischerweise am Beispiel ‚Dieser Satz ist falsch‘, was bei naiver Wahrheitszuschreibung zur Widersprüchlichkeit führt.

Prinzip

Wenn eine Sprache einem Satz erlaubt, sich auf seinen eigenen Wahrheitswert zu beziehen, und man klassische Bivalenz sowie ein naives Wahrheitsprädikat annimmt ('S ist wahr genau dann, wenn das, was S sagt, der Fall ist'), erzeugt Selbstbezüglichkeit Inkonsistenz.

Demonstration

Sei L der Satz ‚L ist falsch‘. Ist L wahr, so gilt, was L aussagt, also ist L falsch; ist L falsch, so ist nicht der Fall, dass L falsch ist, also ist L wahr. Beide Alternativen widersprechen den naiven Wahrheitsregeln.

Fehlanwendung

Das Paradoxon als bloß sprachliches Kunststück abzutun, ohne die zugrundeliegende Logik zu ändern, oder zu versuchen, jede Form von Selbstbezug zu unterbinden, statt Begriff und Logik der Wahrheit zu verfeinern.

Konsequenz

Es motiviert verfeinerte semantische Rahmen: hierarchische Wahrheitsprädikate, parakonsistente bzw. parakomplette Logiken oder die formale Trennung von Objektsprache und Metasprache, um paradoxale Zuschreibungen zu vermeiden.

Umkehrung

Im Gegensatz dazu erzeugt ein selbstbehauptender Satz wie ‚Dieser Satz ist wahr‘ nicht dieselbe Widersprüchlichkeit und liefert stabile Fixpunkte unter naiver Wahrheit oder wird in nichtklassischen Logiken anders behandelt.

Abgrenzung

Betrifft Sätze, die sich auf ihre eigene Wahrheit oder Falschheit beziehen; es entsteht nicht bei gewöhnlichen deklarativen Sätzen ohne selbstbezügliche Wahrheitsaussage oder bei externen syntaktischen Widersprüchen.

Semantische Spannung

Spannung zwischen dem Erhalt klassischer Wahrheitsprinzipien (Bivalenz, ausgeschlossener Dritter) und der Möglichkeit, selbstbezügliche Sätze aufzunehmen, ohne in den Kollaps zu geraten; verschiedene Lösungen tauschen Klassizität gegen Konsistenz.

Synthese

Das Lügnerparadoxon macht den Zusammenstoß zwischen naiven Wahrheitsprinzipien und Selbstbezug sichtbar: zur Lösung muss man entweder die Logik überarbeiten (Bivalenz oder Explosion aufgeben) oder die Wahrheit schichten und Objekt‑ und Metasprache trennen.