Currys Paradoxon ist ein Paradoxon, das Haskell Curry 1942 beschrieb; es erlaubt die Ableitung einer beliebigen Aussage aus einem selbstbezüglichen Ausdruck, der seine eigene Gültigkeit voraussetzt, mittels einfacher, allgemeiner logischer Regeln. Curry zeigte auf diesem Weg die Inkonsistenz von Axiomensystemen mit solch einem Ausdruck.^[1]

Currys Paradoxon lässt sich verbal durch folgenden selbstbezüglichen Satz ausdrücken und ableiten:

Wenn dieser Satz gilt, dann gilt eine beliebige Aussage A.

Currys Ableitung des Paradoxons wird leicht verständlich, wenn dieser Satz mit S abgekürzt wird. Damit lautet S in Kurzfassung: Wenn S gilt, dann gilt A. Nun gilt selbstverständlich: Wenn S gilt, dann gilt S. Setzt man hier S in der Kurzfassung ein, so ergibt sich: Wenn S gilt, dann gilt „Wenn S gilt, dann gilt A“. Nun kann man aber eine wiederholte Bedingung einfach weglassen ohne Sinnveränderung, so dass sich ergibt: Wenn S gilt, dann gilt A. Das ist genau der Satz S. Damit gilt die Prämisse von S und man kann A folgern. Damit ist eine beliebige Aussage beweisbar, auch wenn man sie absurd wählt.

Currys Paradoxon kann in jeder Sprache formuliert werden, die folgende Bedingungen erfüllt:^[2]

• Die Sprache erlaubt den Modus ponens: Aus A und „wenn A, dann B “ schließt man B:

.

• Die Sprache erlaubt die Kontraktion, nach der eine wiederholte Prämisse ohne Bedeutungsänderung weggelassen werden kann:

• Die Sprache erlaubt die Tautologie „wenn A, dann A“:

• Die Sprache kann einen Selbstbezug ausdrücken durch eine Aussage , die eine äquivalente Formel hat, in der vorkommt, so dass der Selbstbezug folgende Form hat:

Die klassische Logik und viele nicht-klassischen Logiken, insbesondere intuitionistische Logiken und sogar parakonsistente Logiken erfüllen diese Kriterien, selbstverständlich aber auch die verbale Sprache, die Selbstbezüge mit Pronomen statt Variablen ausdrückt. Currys Paradoxon verwendet bewusst keine Negation und keine indirekten Beweise, mit denen gewöhnlich Paradoxien abgeleitet werden, sondern entwickelt eine allgemeinere direkte Ableitung.

Der spezielle Selbstbezug in Currys Paradoxon lautet mit einer freien Variablen für eine beliebige Aussage. Der formale Beweis dieser variablen Aussage lautet dann:

Als Tautologie gilt:

Die Ersetzung der rechten Seite per Selbstbezug ergibt:

Daraus folgt per Kontraktion:

Die Ersetzung mit dem Selbstbezug führt zu:

Aus (4) und (3) folgt mit dem Modus ponens schließlich:

Mit dieser Ableitung ist die Inkonsistenz des Axiomensystems gezeigt, weil alle Aussagen beweisbar sind. Dabei ist zu beachten, dass der Selbstbezug ein Zusatzaxiom ist, das neben den oben genannten sprachlichen Voraussetzungen in der Ableitung zweimal angewandt wird! ^[3] Die Ableitung zeigt also, dass dieser als zusätzliches Argument eingesetzte Selbstbezug falsch ist: Er ist nicht relativ konsistent zu Axiomensystemen, in denen die sprachlichen Voraussetzungen gelten; hier ist nämlich nur die Formulierbarkeit des Selbstbezugs gefordert, nicht aber dessen Gültigkeit.

In der naiven Mengenlehre entsteht eine Variante des Paradoxons bei folgender Klasse:

Aus ihr ergibt sich bei Anwendung des uneingeschränkten Abstraktionsprinzips folgender Selbstbezug:

Aus diesem Selbstbezug lässt sich die Aussage wie oben beweisen und damit die Inkonsistenz dieses Selbstbezugs nachweisen.

Da für die Klassenlogik und die allgemeine Mengenlehre (ohne Unendlichkeitsaxiom) Widerspruchsfreiheitsbeweise erbracht sind, führt Currys Ableitung hier zu keinem Widerspruch, sondern beweist, dass die Klasse keine Menge ist, sondern eine sogenannte echte Klasse. Der Selbstbezug folgt hier aus dem naiven uneingeschränkten Abstraktionsprinzip, das nicht gelten kann; nur eine gebundene, quantifizierte Abstraktion für Mengen ist erlaubt.

Spezialfälle des Paradoxons entstehen in der klassischen Logik oder intuitionistischen Logik, wenn in die freie Variable ein Widerspruch eingesetzt wird, der dann aus dem Selbstbezug folgt. Dann ist per Kontraposition und dem Satz vom Widerspruch gleichwertig zu . Das Paradoxon hat damit die Form des Lügner-Paradoxons in einer aussagenlogischen Formulierung per Negation. Bei der mengentheoretischen Variante ist äquivalent zur Russellschen Klasse , die für die Russellsche Antinomie verantwortlich ist.

Currys Paradoxon wurde 1955 von Martin Hugo Löb angewandt, um zu zeigen, dass Sätze, die ihre eigene Beweisbarkeit behaupten, wahr sein müssen.^[4] Daher wird es in der Literatur zuweilen als Löbs Paradoxon bezeichnet.

1. ↑ Haskell B. Curry: The inconsistency of certain formal logics. In: Journal of Symbolic Logic. Bd. 7, Nr. 3, 1942, ISSN 0022-4812, S. 115–117.
2. ↑ Haskell B. Curry: The inconsistency of certain formal logics. In: Journal of Symbolic Logic. Bd. 7, Nr. 3, 1942, S. 115, dort aber mit Tippfehler im Reflexivgesetz, korrekt in: Haskell B. Curry: The Combinatory Foundations of Mathematical Logic. In: Journal of Symbolic Logic. Bd. 7, Nr. 2, 1942, S. 49–64, hier S. 62.
3. ↑ Voraussetzung im Lemma S. 115 in: Haskell B. Curry: The inconsistency of certain formal logics. In: Journal of Symbolic Logic. Bd. 7, Nr. 3, 1942, S. 115–117.
4. ↑ Martin Hugo Löb: Solution of a Problem of Leon Henkin. In: Journal of Symbolic Logic. Bd. 20, Nr. 2, 1955, S. 115–118, Paradoxon S. 117.

• Stanford Encyclopedia of Philosophy: „Curry’s Paradox“ – von J. C. Beall (engl.).
• Grossman, Jason, University of Sydney History & Philosophy of Science: A Proof that Penguins Rule the Universe. Kurze unterhaltsame Diskussion von Currys Paradoxon.