Lügner-Paradox
Lügner-Paradox

== Formulierung ==
Die einfachste Form des Lügner-Paradoxes ist der folgende selbstbezügliche Satz:
Die Paradoxie dieses Satzes besteht darin, dass sich nicht vernünftigerweise behaupten lässt, er sei wahr oder falsch. Angenommen er wäre falsch: Dann würde das zutreffen, was der Satz selbst behauptet, und er müsste also wahr sein. Nehmen wir aber an, er sei wahr, dann trifft das, was der Satz behauptet, nicht zu – was bedeutet, dass er falsch ist.
Diese Art der Paradoxie wird in der philosophischen Diskussion oft als ''Semantische Paradoxie'' bezeichnet. Sie wird dadurch ermöglicht, dass die Wahrheitsbedingungen eines Satzes in diesem selbst (direkt oder indirekt) spezifiziert werden – jedoch in einer Weise, die zumindest scheinbar keine sinnvolle Zuschreibung von Wahrheit oder Falschheit mehr zulässt.
Der Name „Lügner-Paradox“ geht darauf zurück, dass sich die Paradoxie auch mithilfe des Begriffs der Lüge formulieren lässt, z. B. folgendermaßen:
: (ein Mensch behauptet:) „Ich lüge gerade.“
Der Mensch, der dies behauptet, behauptet damit, dass seine Aussage eine Lüge ist, damit also nicht der Wahrheit entspricht. So entsteht jedoch letztlich dieselbe Paradoxie wie weiter oben.
Im Paradoxon des Epimenides wird der Satz „Alle Kreter sind Lügner“ verwendet, um die Paradoxie darzustellen. Dieser Satz wird von Epimenides, der selbst Kreter ist, behauptet. Dies ist aber kein Paradox im vollen Wortsinne, da aus der Negation des Satzes, also aus „Manche Kreter sind keine Lügner“, nicht notwendigerweise folgt, dass Epimenides die Wahrheit sagt.