Es begann als Projekt, um den Flaum zu beseitigen.
Bertrand Russell und Alfred North Whitehead wollten zeigen, dass Mathematik kein mystischer Bereich ist, der vom menschlichen Denken getrennt ist. Es ist nur Logik, verkleidet. Ihre Antwort auf dieses Ziel war Principia Mathematica, ein dreibändiges Biest, das zwischen 1910 und 1913 veröffentlicht wurde.
Auf dem Papier war die Idee recht einfach: Nehmen Sie die Grundkonzepte der Mathematik und definieren Sie sie ausschließlich unter Verwendung logischer Begriffe. Keine „Zahlen“. Keine „Quadratwurzeln“. Nur reine Logik. Vorschläge. Klassen. Wenn man alles auf diese Bausteine reduzieren könnte, würde man beweisen, was Philosophen Logik nennen.
Russell vertrat diesen Aspekt seit 1903 in „The Principles of Mathematics“ (Die Prinzipien der Mathematik). Er argumentierte, dass ein paar einfache Axiome – solche, die nicht auf spezifischen mathematischen Vorstellungen beruhten – die gesamte Mathematik hervorbringen könnten.
Dann rannte er gegen eine Wand.
Ein großes.
Das Dilemma des Friseurs
Russell entdeckte einen Widerspruch. Es befand sich direkt im Herzen des Logiksystems, das er aufzubauen versuchte.
Wir nennen es jetzt Russells Paradoxon.
Hier liegt das Problem. Einige Klassen sind Mitglieder ihrer selbst. Die Klasse aller Klassen? Ja. Es enthält sich selbst. Die Klasse aller Personen? Nein. Sie sind keine Personenklasse.
Logischerweise sollten Sie also in der Lage sein, die Klasse aller Klassen zu konstruieren, die keine Mitglieder ihrer selbst sind.
Nennen wir es Klasse R.
Stellen Sie nun die Frage: Ist Klasse R ein Mitglied ihrer selbst?
Wenn ja, dann darf es per Definition kein Mitglied von sich selbst sein.
Wenn nein, dann erfüllt es die Kriterien für die Teilnahme an der Klasse. Es ist also ein Mitglied seiner selbst.
Es ist eine Schleife. Ein Knoten, den man nicht lösen kann.
Denken Sie an den Dorffriseur. Es gilt die Regel: Er rasiert jeden, der sich nicht selbst rasiert.
Rasiert sich der Friseur?
Wenn er das tut, hält er sich nicht an die Regel.
Wenn nicht, muss er sich rasieren.
Eine einheitliche Antwort gibt es nicht.
Russell hielt dies zunächst für einen albernen Randfall. Dann wurde ihm klar, dass das bedeutete, dass sein gesamtes Fundament Risse hatte. Er schrieb darüber an Gottlob Frege. Frege, der deutsche Mathematiker, dessen frühere Arbeit Russell anerkannt hatte, antwortete mit zwei Worten: „Arithmetik wackelt.“
Das kaputte Fundament reparieren
Auf einem Erdloch kann man keinen Wolkenkratzer bauen. Russell und Whitehead mussten das Loch schließen.
Sie führten das Konzept der logischen Typen ein.
Die Regel ist starr. Eine Menge eines bestimmten Typs T kann nur Elemente eines Typs enthalten, der niedriger als T ist. Sie können einen Korb nicht in einen Korb derselben Größe legen. Sie müssen eine neue, größere Kategorie für den Container erstellen.
Dies wurde zur „einfachen“ Typentheorie. Es beendete den unmittelbaren Widerspruch.
Sie befürchteten jedoch, dass es andere Möglichkeiten gäbe, das System auszutricksen. Insbesondere machten sie sich Sorgen über selbstreferenzielle Definitionen. Was wäre, wenn Sie ein Objekt mithilfe von Quantoren („alle“ oder „einige“) definieren, die das Objekt selbst einschließen?
Russell nannte dies das Teufelskreisprinzip. Es ist das, was wir heute eine imperdikative Definition nennen. Um dies zu verhindern, komplizierten sie die Typstruktur weiter. Sie schufen eine „verzweigte“ Typentheorie.
Es hat funktioniert. Die Paradoxien verschwanden.
Doch die Reparatur hatte ihren Preis. Um zu beweisen, dass aus diesem komplexen System immer noch Standardmathematik abgeleitet werden konnte, mussten Russell und Whitehead ein Axiom der Reduzierbarkeit hinzufügen. Dieses Axiom brachte die Hierarchie, die sie gerade aufgebaut hatten, um das System konsistent zu halten, praktisch zum Einsturz.
Die verzweigte Theorie vermied Widersprüche wie Russells Paradoxon, war (und bleibt) jedoch außerordentlich schwer zu verstehen.
Hat es sich gelohnt?
Principia Mathematica ist eine Herkulesleistung. Die formalen Beweise in diesen drei Bänden? Sie sind solide. Niemand stellt ihre mathematische Gültigkeit mehr wirklich in Frage.
Aber das philosophische Ziel? Der Traum vom Logizismus?
Es wird immer noch diskutiert.
Beweist es, dass Mathematik Logik ist? Nur wenn man die Typentheorie als „logische Wahrheit“ akzeptiert. Und viele Logiker bezweifeln das. Es fühlt sich weniger wie eine natürliche Wahrheit an, sondern eher wie ein Flicken.
Dann kam Kurt Gödel.
1931 bewies der in Österreich geborene Logiker seinen ersten Unvollständigkeitssatz. Er zeigte, dass keine einzige logische Theorie die gesamte Mathematik ableiten kann. Jedes konsistente Arithmetiksystem ist notwendigerweise unvollständig. Es wird immer wahre Aussagen geben, die das System nicht beweisen kann.
Die Principia Mathematica hat also ihr Hauptziel verfehlt. Es konnte nicht alles erfassen.
Aber es als Fehlschlag zu bezeichnen, geht am Kern der Sache vorbei.
Sein Einfluss auf die mathematische Logik und die Philosophie der Mathematik ist immens. Es zwang das Feld, sich seinen eigenen Grenzen zu stellen. Es wurde klargestellt, was wir unter Konsistenz, Typen und Reduzierbarkeit verstehen.
Das Fundament hielt nicht das ganze Haus. Aber es zeigte uns genau, wo die Risse waren. Und das ist selten eine vergebliche Mühe.
Was denken Sie? Können wir ein Fachgebiet jemals wirklich auf das Nötigste reduzieren, oder bleibt immer etwas übrig?
Wie Russells Beschreibungstheorie die Sprachanalyse veränderte
Die Principia Mathematica leisteten mehr als nur die Kodifizierung der Logik. Es gab Philosophen ein Werkzeug an die Hand, von dem sie nicht wussten, dass sie es brauchten. Dieses Werkzeug ist die Theorie der Beschreibungen. Russell führte es bereits 1905 mit seinem Artikel „On Denoting“ ein. Das Ziel war einfach, aber radikal. Es übersetzte Sätze mit eindeutigen Beschreibungen in Ausdrücke ohne diese.
Nehmen Sie den Ausdruck „der gegenwärtige König von Frankreich“. Grammatisch sieht es aus wie ein Name. Es verhält sich wie ein Subjekt. Aber den gegenwärtigen König von Frankreich gibt es nicht. Dadurch entsteht ein logisches Durcheinander. Russells Methode überwindet diese Unbeholfenheit. Es beseitigt den Anschein, als würde man sich auf nicht existierende Dinge beziehen.
Ursprünglich war dies ein Patch für seine eigene Logiktheorie. Er versuchte, Widersprüche in seiner Arbeit aufzulösen. Die Lösung funktionierte so gut, dass sie sich über die Mathematik hinaus verbreitete. Mittlerweile nutzen es sogar Philosophen, die Mathematik hassen.
Die eigentliche Erkenntnis geht tiefer als die spezifische Technik. Russell zeigte, dass die gewöhnliche Sprache die Wahrheit verbirgt. Grammatische Strukturen sind nicht dasselbe wie logische Formen. Sie verschweigen oft, was tatsächlich gesagt wird. Diese Trennung bleibt sein nachhaltigster Beitrag.
„Die grammatikalischen Strukturen der gewöhnlichen Sprache unterscheiden sich von den wahren ‚logischen Formen‘ von Ausdrücken und verbergen diese oft.“
Diese Erkenntnis veränderte die Art und Weise, wie wir Philosophie lesen. Es ließ uns hinter die Kulissen der Syntax blicken. Wir haben aufgehört, Sätze für bare Münze zu nehmen. Wir begannen zu fragen, was sie eigentlich behaupten. Dieser Wandel prägt noch heute die Debatten.
Für Logikstudenten ist die Lektion praxisorientiert. Vertrauen Sie nicht nur der Grammatik. Suchen Sie nach der logischen Form darunter. Es ist eine Fähigkeit, die weit über die Philosophie hinaus Anwendung findet. Es hilft im Recht, beim Kodieren, bei der alltäglichen Argumentation. Die Welt ist voller verborgener Strukturen. Zu lernen, sie zu sehen, ist eine Superkraft.