Lügner
semantische Antinomie, auch bekannt als Kreter, Epimenides, Eubulides (der diese Antinomie erfunden haben soll). Epimenides, der Kreter, sagt: »Alle Kreter lügen.« Wenn Epimenides die Wahrheit sagt, so lügt er, denn er ist ein Kreter, und alle Kreter lügen. In dieser Form nicht antinomisch, denn wenn Epimenides lügt, entsteht keine logische Schwierigkeit. Echt antinomisch ist jedoch die Variante: »Ich lüge jetzt«, denn wenn ich damit die Wahrheit sage, trifft zu, was ich sage, also lüge ich dann. Sage ich aber nicht die Wahrheit, dann lüge ich, also trifft zu, was ich sage, also sage ich die Wahrheit. Es gibt zahlreiche raffiniertere Varianten des L.s, bei denen der Selbstbezug nicht so direkt oder nicht so offensichtlich ist, auch solche, die sich in formalen Systemen nachbilden lassen. Im Beweis des Unvollständigkeitssatzes macht Gödel Gebrauch von einer Nachbildung des L.s.
VP
LIT:
- H. Rdiger: Sokrates ist nicht Sokrates. Zrich/Mnchen 21978.