Logische Paradoxien: Grundlagen

Kurz: Logische Paradoxien sind Aussagen oder Situationen, die scheinbar widerspruchsfrei formuliert sind, aber zu unauflösbaren logischen Widersprüchen führen. Sie decken Grenzen und blinde Flecken in formalen Systemen der Logik und Sprache auf.

Genauer: Viele Paradoxien entstehen durch Selbstbezüglichkeit, bei der eine Aussage sich direkt oder indirekt auf sich selbst bezieht.

Im Detail

• Lügner-Paradoxon: Der Satz „Dieser Satz ist falsch“ kann weder wahr noch falsch sein, ohne sich selbst zu widersprechen.
• Russells Paradoxon: Die Frage, ob die Menge aller Mengen, die sich nicht selbst enthalten, sich selbst enthält, führte zu einer tiefgreifenden Krise in der Mengenlehre.
• Sorites-Paradoxon (Haufen-Paradoxon): Wenn das Entfernen eines einzelnen Sandkorns aus einem Sandhaufen diesen nie in einen Nicht-Haufen verwandelt, wann genau wird der Haufen dann zu keinem Haufen mehr?
• Zenons Paradoxien: Antike Gedankenexperimente wie das Paradoxon von Achilles und der Schildkröte stellten die Möglichkeit von Bewegung selbst in Frage.
• Grelling-Nelson-Paradoxon: Die Frage, ob das Wort „heterologisch“ (nicht auf sich selbst zutreffend) selbst heterologisch ist, führt zu einem logischen Widerspruch.
• Reaktionen der Logiker: Verschiedene Lösungsansätze wie Typentheorien oder mehrwertige Logiken versuchen, solche Paradoxien formal zu umgehen.
• Praktischer Wert: Paradoxien sind keine bloßen Kuriositäten, sondern haben wichtige Grundlagenarbeit in Mathematik, Informatik und Philosophie der Sprache angestoßen (erkenntnistheorie-wissen-und-glauben, trolley-problem-gedankenexperiment).