
Bertrand Russell
1872–1970
Mitbegründer der analytischen Philosophie, Logizist und Lehrer Wittgensteins. Seine Antinomie stürzte die Grundlagen der Mathematik in eine Krise – seine Typentheorie wies einen Ausweg.

Bekanntestes Konzept
Russells Antinomie
Die Menge aller Mengen, die sich nicht selbst enthalten, führt zu einem Widerspruch: Sie enthält sich genau dann selbst, wenn sie sich nicht selbst enthält. Damit ist die unbeschränkte Mengenbildung der naiven Mengenlehre inkonsistent.
Bertrand Russell war einer der einflussreichsten britischen Logiker, Mathematiker und Philosophen des 20. Jahrhunderts. Als führender Vertreter des Logizismus wollte er die gesamte Mathematik auf die Logik zurückführen – ein Programm, das er mit Alfred North Whitehead in der monumentalen Principia Mathematica verfolgte. Schon 1902 entdeckte er jedoch die nach ihm benannte Antinomie, die Freges System zum Einsturz brachte. Seine Antworten – die Typentheorie und die Kennzeichnungstheorie – wurden zu Eckpfeilern der modernen Logik und Sprachphilosophie. Er stand in engem Kontakt mit Frege und Gödel und prägte als Lehrer das Denken Ludwig Wittgensteins.
Kernideen
- 1.Logizismus: Die gesamte Mathematik lässt sich auf die Logik zurückführen; mathematische Wahrheiten sind logische Wahrheiten.
- 2.Principia Mathematica (mit Whitehead): der Versuch einer lückenlosen Ableitung der Mathematik aus axiomatischen Grundlagen.
- 3.Russellsche Antinomie: Die unbeschränkte Mengenbildung der naiven Mengenlehre ist widersprüchlich.
- 4.Typentheorie: Eine Stufenhierarchie verbietet die Selbstreferenz, die zur Antinomie führt.
- 5.Kennzeichnungstheorie: Die logische Form von Sätzen mit definiten Beschreibungen löst philosophische Scheinprobleme auf.
- 6.Mathematische Objekte als logische Konstruktionen – Grundstein für Informatik und formale Linguistik.
Bezug zur Technikphilosophie
Russells Programm, die Mathematik auf Logik zurückzuführen, lieferte mit der „Principia Mathematica“ eine der formalen Grundlagen, auf denen die theoretische Informatik und der Begriff der Berechenbarkeit aufbauten. Seine Typentheorie, die zur Vermeidung der Antinomie Selbstreferenz durch Stufen verbietet, ist ein direkter Vorläufer der Typsysteme moderner Programmiersprachen und getypter Logiken – etwa des Lambda-Kalküls und funktionaler Sprachen wie Haskell. Mit der Auffassung mathematischer Objekte als logische Konstruktionen und der Kennzeichnungstheorie schuf er zudem Werkzeuge der formalen Sprachanalyse, die bis in die Wissensrepräsentation und Logikprogrammierung der Künstlichen Intelligenz nachwirken.
Wahrheitsbegriff
Russell vertrat eine Korrespondenztheorie der Wahrheit: Ein Glaube ist wahr, wenn ihm eine entsprechende Tatsache in der Welt korrespondiert, andernfalls falsch. In „The Problems of Philosophy“ (1912) analysierte er Glauben als mehrstellige Relation zwischen einem Subjekt und den Bestandteilen einer möglichen Tatsache; Wahrheit besteht dann in der tatsächlichen Verknüpfung dieser Bestandteile, Falschheit in ihrem Fehlen. Damit grenzte er sich scharf gegen kohärenztheoretische und idealistische Wahrheitsauffassungen (etwa der britischen Hegelianer) ab. Im logischen Atomismus entsprechen wahre Elementarsätze atomaren Tatsachen, deren Struktur die logische Form der Sprache abbildet.
Subjekt & Objekt
Russells Position wandelte sich: Im erkenntnistheoretischen Frühwerk („The Problems of Philosophy“, 1912) trennt er das wahrnehmende Subjekt von den ihm unmittelbar gegebenen Sinnesdaten und schließt erst durch eine Inferenz auf die unabhängige Objektwelt, die wir nur durch Beschreibung, nicht durch Bekanntschaft kennen. Später vertrat er einen neutralen Monismus: Geist und Materie, Subjekt und Objekt sind keine grundverschiedenen Substanzen, sondern unterschiedliche Anordnungen ein und desselben neutralen Grundstoffs, womit der scharfe Subjekt-Objekt-Dualismus aufgelöst wird. Das erkennende Subjekt verliert dabei seinen Sonderstatus und wird selbst zu einer logischen Konstruktion aus Ereignissen.
Gerechtigkeit
Über seine logischen Arbeiten hinaus war Russell ein einflussreicher Sozialphilosoph und politischer Denker, der Gerechtigkeit eng mit individueller Freiheit, sozialer Gleichheit und der Eindämmung ungezügelter Macht verband. In Werken wie „Roads to Freedom“ (1918) und „Power“ (1938) analysierte er, wie Machtkonzentration in Staat, Wirtschaft und Ideologie Freiheit und gerechte Lebensverhältnisse bedroht, und plädierte für eine Gesellschaftsordnung, die schöpferische statt besitzergreifende Impulse fördert. Als lebenslanger Pazifist, Mitbegründer der Kampagne für nukleare Abrüstung und Initiator des Russell-Tribunals zu Kriegsverbrechen verstand er Gerechtigkeit auch als konkrete politische Praxis – ein Engagement, für das er 1950 den Nobelpreis für Literatur erhielt.
Beitrag zur Wissenschaftstheorie
Russell prägte die Wissenschaftstheorie vor allem durch sein Programm der „logischen Konstruktion“: Wo immer möglich, sollten erschlossene Entitäten durch logische Konstruktionen aus dem unmittelbar Gegebenen ersetzt werden – sein „supreme maxim in scientific philosophising“. Im logischen Atomismus und in „Our Knowledge of the External World“ (1914) versuchte er, physikalische Objekte als Konstruktionen aus Sinnesdaten zu deuten und so die Naturwissenschaft erkenntnistheoretisch zu fundieren. Er rang intensiv mit dem Induktionsproblem und postulierte in „Human Knowledge“ (1948) nicht-demonstrative Schlussprinzipien (etwa Quasi-Permanenz und kausale Linien), die wissenschaftliche Inferenz überhaupt erst rechtfertigen sollen. Als Wegbereiter des logischen Empirismus beeinflusste er den Wiener Kreis und die analytische Wissenschaftsphilosophie nachhaltig.
Logische Beweise & Argumente
Die Russellsche Antinomie (1902)
Russells berühmteste Entdeckung: Schon das naive Prinzip der unbeschränkten Mengenbildung ist in sich widersprüchlich.
- P1Naive Komprehension: Zu jeder Eigenschaft existiert die Menge aller Dinge, die diese Eigenschaft besitzen.
- P2Betrachte die Eigenschaft „enthält sich nicht selbst als Element“ und bilde R = { x : x ∉ x }, die Menge aller Mengen, die sich nicht selbst enthalten.
- P3Frage nun, ob R ∈ R gilt: Wäre R ∈ R, so erfüllte R seine definierende Eigenschaft nicht, also R ∉ R. Wäre R ∉ R, so erfüllte R sie, also R ∈ R.
- ∴Es folgt R ∈ R ⟺ R ∉ R – ein Widerspruch. Die unbeschränkte Mengenbildung ist inkonsistent.
R := { x : x ∉ x }
R ∈ R ⟺ R ∉ RRussell teilte Frege den Widerspruch 1902 brieflich mit – kurz vor Erscheinen des zweiten Bands der Grundgesetze. Er trifft Freges „Grundgesetz V“. Die Antworten: Russells Typentheorie und später die axiomatische Mengenlehre (ZFC) mit Aussonderung statt Komprehension.
Die Typentheorie als Ausweg
Russells Lösung: Die Antinomie entsteht durch ungehemmte Selbstreferenz – also wird sie sprachlich verboten.
- P1Der Widerspruch setzt voraus, dass „x ∈ x“ überhaupt bildbar ist.
- P2Ordne jedem Objekt einen Typ (eine Stufe) zu: Individuen Typ 0, Mengen von Individuen Typ 1, Mengen von Mengen Typ 2, und so fort.
- P3Eine sinnvolle Aussage „a ∈ b“ verlangt, dass b genau eine Stufe höher liegt als a.
- ∴Dann ist „x ∈ x“ typwidrig und gar nicht erst formulierbar – die Antinomie kann nicht mehr entstehen.
Die verzweigte Typentheorie benötigte das umstrittene Reduzibilitätsaxiom. Russells Stufenidee ist ein Vorläufer moderner getypter Logiken und der Typsysteme heutiger Programmiersprachen.
Die Kennzeichnungstheorie („On Denoting“, 1905)
Wie können Sätze über nicht-existierende Gegenstände sinnvoll – und schlicht falsch statt sinnlos – sein?
- P1„Der gegenwärtige König von Frankreich ist kahl“ scheint ein Subjekt zu verlangen, das es nicht gibt – der Satz droht sinnlos oder wahrheitswertlos zu werden.
- P2Russell analysiert ihn als dreifache Behauptung: (a) es gibt mindestens einen König von Frankreich, (b) es gibt höchstens einen, (c) dieser ist kahl.
- P3Formal: ∃x ( Kx ∧ ∀y(Ky → y = x) ∧ Bx ).
- ∴Da (a) falsch ist, ist der ganze Satz schlicht falsch – nicht sinnlos. Die grammatische Form täuscht über die wahre logische Form hinweg.
∃x ( Kx ∧ ∀y(Ky → y = x) ∧ Bx )
Ein Musterstück der analytischen Methode: Philosophische Scheinprobleme verschwinden bei korrekter logischer Analyse der Sprache. Der Aufsatz prägte Wittgenstein und die gesamte Sprachphilosophie.
Hauptwerke
The Principles of Mathematics(1903)
Erste umfassende Darstellung des logizistischen Programms.
On Denoting(1905)
Der bahnbrechende Aufsatz zur Kennzeichnungstheorie (theory of descriptions).
Principia Mathematica (mit A. N. Whitehead)(1910–1913)
Monumentalwerk: Ableitung der Arithmetik aus Logik und Typentheorie – drei Bände.
Zitate
„Die Mathematik ist die Wissenschaft, in der wir nie wissen, wovon wir reden, noch ob das, was wir sagen, wahr ist.“
— Mathematics and the Metaphysicians (1901)
„Die Philosophie beginnt mit etwas so Einfachem, dass es nicht der Rede wert scheint, und endet mit etwas so Paradoxem, dass niemand es glauben will.“
— The Philosophy of Logical Atomism (1918)
Aus dem Leben
Philosophie hinter Gittern
1918 wurde Russell wegen eines pazifistischen Artikels, in dem er den Ersten Weltkrieg und das Eingreifen der USA kritisierte, zu sechs Monaten Haft verurteilt. Statt zu verzweifeln, nutzte er die Zeit im Brixton-Gefängnis produktiv und schrieb dort seine „Introduction to Mathematical Philosophy“. Der Überlieferung nach amüsierte ihn das Aufnahmeformular: Als er bei der Religionszugehörigkeit „Agnostiker“ angab, soll der Aufseher gemeint haben, es gebe ja viele Glaubensrichtungen, die aber alle denselben Gott verehrten – worüber Russell noch Jahre später lachte. Die Episode zeigt seinen Mut, für Überzeugungen einzustehen, und seinen unerschütterlichen Humor selbst im Gefängnis.