Antinomie

Eine Antinomie (griechisch: "Widergesetz") ist ein logischer Widerspruch, bei dem zwei Aussagen sich gegenseitig ausschließen, aber beide gleich gut begründet erscheinen. Der Begriff stammt aus der Philosophie Immanuel Kants, der vier kosmologische Antinomien formulierte: Ist das Universum endlich oder unendlich? Hat alles eine Ursache oder gibt es einen freien Anfang?

In der formalen Logik führen Antinomien zu Paradoxien, die ganze Systeme zum Kollaps bringen können. Die berühmteste ist Russells Antinomie: die Menge aller Mengen, die sich nicht selbst enthalten. Enthält sie sich selbst? Wenn ja, dann nein. Wenn nein, dann ja.

Für die Science Fiction sind Antinomien ein Geschenk. Zeitreise-Paradoxien (das Großvaterparadoxon) sind im Kern Antinomien. Greg Egan, Ted Chiang und Christopher Nolan nutzen logische Widersprüche als Plotmechanismen. In Philip K. Dicks Werk zerfällt die Realität selbst an antinomischen Bruchstellen. Steffen Vogts Roman Antinomie trägt das Konzept im Titel und macht logische Widersprüche zum zentralen Plotmechanismus. Und wenn in der Quantenphysik ein Teilchen gleichzeitig hier und dort ist, berührt die Physik selbst die Grenze zur Antinomie.

Kants vier kosmologische Antinomien sind in der Wissenschaftsgeschichte deshalb so prägend, weil sie zeigen, dass reine Vernunft sich selbst widersprechen kann. Das Universum muss einen Anfang haben, weil eine unendliche Vergangenheit keine Ursachenkette erlaubt. Und es darf keinen Anfang haben, weil vor dem Anfang nichts war, was ihn hätte verursachen können. Beide Argumente sind logisch gültig. Kant schloss daraus, dass das Universum als Ganzes kein Gegenstand möglicher Erfahrung ist, und legte damit den Grundstein für eine nüchternere Kosmologie.

Für die Science Fiction ist das fruchtbar, weil das Genre genau dort lebt, wo die Logik an ihre Grenzen stößt. Zeitreise-Paradoxien sind strukturell Antinomien: Eine Handlung, die ihre eigene Ursache zerstört, ist sowohl notwendig als auch unmöglich. Ted Chiangs Geschichte 'Story of Your Life' löst das, indem sie eine andere Zeitlogik einführt, eine, in der Vergangenheit und Zukunft gleichzeitig existieren und die Antinomie damit gar nicht erst entsteht.

In der formalen Informatik haben Antinomien direkte Konsequenzen. Alan Turings Beweis der Unlösbarkeit des Halteproblems ist strukturell eine Antinomie: Er zeigt, dass eine Maschine, die entscheiden soll, ob eine andere Maschine anhält, sich selbst widerlegen würde, egal wie sie entscheidet. Dass solche Widersprüche nicht nur abstrakte Philosophie sind, sondern harte Grenzen für das Berechenbare markieren, ist eine der wichtigsten Einsichten des 20. Jahrhunderts.