Paradoxon
Das Lügner-Paradox
„Dieser Satz ist falsch." – wahr oder falsch?
Der Lügner-Satz „Dieser Satz ist falsch.“ wendet die Begriffe wahr und falsch auf sich selbst an und erzeugt damit eine perfekte Schaukel: Nimmt man ihn als wahr, so trifft zu, was er behauptet, nämlich seine eigene Falschheit – also ist er falsch. Nimmt man ihn als falsch, so ist sein Inhalt unzutreffend, mithin ist er nicht falsch, sondern wahr. Jeder der beiden klassischen Wahrheitswerte führt zwingend in den jeweils anderen, sodass das Bivalenzprinzip – wonach jede Aussage genau einen der Werte wahr oder falsch trägt – an einem einzigen, grammatisch tadellosen Satz zerbricht. Die Falle liegt nicht in einem Rechenfehler, sondern in der Selbstreferenz: Ein Satz, der über seine eigene Wahrheit urteilt, untergräbt die Stabilität, die der Wahrheitsbegriff voraussetzt.
Die maßgeblichen Positionen
Typentheorie und Vermeidung der Selbstreferenz
Bertrand Russell →Sätze, die in vitiöser Zirkularität auf sich selbst Bezug nehmen, sind sinnlos und durch eine hierarchische Stufung von Aussagen auszuschließen.
Russell deutete den Lügner als Spielart desselben Zirkelfehlers, der seine berühmte Mengen-Antinomie erzeugt, und untersagte mit dem Vicious-Circle-Principle jede Totalität, die nur durch Bezug auf sich selbst definierbar ist. Seine Typentheorie ordnet Aussagen in Stufen, sodass kein Satz über die eigene Wahrheit sprechen kann – wirksam gegen die Paradoxie, doch um den Preis einer schwerfälligen, von vielen als künstlich empfundenen Sprachordnung.
Selbstbezug, Diagonalisierung und die Grenzen formaler Systeme
Kurt Gödel →Die im Lügner verkörperte Selbstbezüglichkeit lässt sich – auf Beweisbarkeit statt auf Wahrheit umgelenkt – in einen Satz verwandeln, der seine eigene Unbeweisbarkeit behauptet und so jedes hinreichend reiche, widerspruchsfreie System zur Unvollständigkeit zwingt.
Gödel machte die im Lügner verkörperte Selbstbezüglichkeit zum technischen Kern seines Unvollständigkeitsbeweises, indem er einen Satz konstruierte, der seine eigene Unbeweisbarkeit behauptet – eine kontrollierte Variante des Paradoxes, die bewusst von „beweisbar“ statt von „wahr“ spricht, um den Widerspruch zu vermeiden. Damit zeigte er, dass die im Lügner lauernde Diagonalisierung kein bloßer Sprachunfall ist, sondern formale Systeme an prinzipielle Grenzen ihrer eigenen Selbstbeschreibung treibt. Die eng verwandte, von Tarski bewiesene Konsequenz – dass sich Wahrheit für eine hinreichend reiche Sprache nicht in dieser selbst definieren lässt, sondern nur in einer Metasprache – entschärft das Paradox, lässt aber die natürliche Sprache, die solche Stufen nicht kennt, ungelöst zurück.
Therapeutische Auflösung als Scheinproblem
Ludwig Wittgenstein →Der Lügner ist kein logischer Defekt der Welt, sondern ein leerlaufender Sprachgebrauch, der außerhalb jedes wirklichen Sprachspiels keinen schädlichen Sinn trägt.
Wittgenstein weigerte sich, im Lügner eine fundamentale Bedrohung der Logik zu sehen; der Satz richte, solange niemand mit ihm etwas Bestimmtes tut, schlicht keinen Schaden an und sei eher ein harmloses Sprachspiel als ein Abgrund. Diese Haltung befreit von der Jagd nach einer formalen Reparatur, wird aber von der mathematischen Logik als Ausweichen kritisiert, weil verwandte Selbstbezüge bei Gödel und Tarski sehr wohl ernste, beweisbare Folgen haben.
Warum es offen bleibt
Tarskis Trennung von Objekt- und Metasprache löst das Paradox in formalisierten Systemen, scheitert aber an der natürlichen Sprache, die ihr eigenes Wort „wahr“ enthält und sich nicht in saubere Stufen zerlegen lässt. Spätere Ansätze – Kripkes Theorie der Wahrheitslücken, parakonsistente Logiken, revisionstheoretische Modelle – kaufen Widerspruchsfreiheit jeweils mit dem Aufgeben einer scheinbar selbstverständlichen Annahme, sei es der Bivalenz, der Widerspruchsfreiheit oder der Allgemeingültigkeit des Wahrheitsschemas. Weil keine dieser Lösungen ohne schmerzhaften Verzicht auskommt und jede neue Varianten des Paradoxes provoziert, bleibt der Lügner ein offener Prüfstein dafür, was Wahrheit in einer Sprache überhaupt heißen kann.
Denker, die an dieser Frage rangen
Lust, selbst zu streiten? Diskutier die Frage im Live-Gespräch mit einem der Denker.