Russells Paradox - Philosophie
Russells Paradox - Philosophie
Russells Paradox - Philosophie
Einleitung
Bertrand Russell zeigte, dass eine scheinbar harmlose Regel der naiven Mengenlehre zu einem Widerspruch führt. Das Paradox betrifft deshalb nicht nur Mathematik, sondern auch Logik, Erkenntnistheorie und die Frage, wie formale Systeme begründet werden.[1]
Du untersuchst die Antinomie, ihren historischen Hintergrund und zwei zentrale Antworten: Typentheorie und Zermelo-Fraenkel-Mengenlehre.
Lernziele
- Mengenbildung: Du erklärst, warum unbeschränkte Mengenbildung problematisch ist.
- Selbstbezug: Du leitest den Widerspruch schrittweise her.
- Grundlagenfrage: Du beurteilst die philosophische Bedeutung des Paradoxons.
- Lösungsansätze: Du vergleichst Typentheorie und axiomatische Mengenlehre.
Das Paradox
Die naive Regel lautet: Zu jeder eindeutig beschriebenen Eigenschaft gibt es eine Menge aller Dinge mit dieser Eigenschaft. Russell betrachtet nun:
R enthält genau die Mengen, die sich nicht selbst als Element enthalten.
- Angenommen, R ist Element von R. Dann erfüllt R seine eigene Aufnahmebedingung nicht und ist daher kein Element von R.
- Angenommen, R ist kein Element von R. Dann erfüllt R die Aufnahmebedingung und muss Element von R sein.
- Somit gilt zugleich: .
Der Widerspruch zeigt: Die Menge R darf in einer widerspruchsfreien Theorie nicht durch eine unbeschränkte Regel gebildet werden. Er zeigt nicht, dass jede Mathematik widersprüchlich ist.[2]
Das Barbierparadoxon
Ein Barbier rasiert genau diejenigen Dorfbewohner, die sich nicht selbst rasieren. Rasiert er sich selbst? Beide Antworten widersprechen der Regel. Die richtige Folgerung lautet: Einen Barbier mit genau dieser Eigenschaft kann es nicht geben.
Visualisierung einer polykontextualen Deutung des Barbierparadoxons.
Hörfassung:
Die Geschichte ist eine anschauliche Analogie. Die formale Antinomie betrifft jedoch die Existenz einer bestimmten Menge.
Historischer Kontext
Russell entdeckte den Widerspruch um 1901 und teilte ihn Gottlob Frege 1902 mit. Frege wollte die Arithmetik aus logischen Grundgesetzen ableiten. Die Antinomie traf damit ein zentrales Projekt des Logizismus.
Die Debatte prägte die frühe analytische Philosophie und die moderne Grundlagenforschung.
Philosophische Bedeutung
- Begriffsbildung: Nicht jede sprachlich formulierbare Bedingung bestimmt einen zulässigen Gegenstand.
- Formale Logik: Regeln müssen auf Widerspruchsfreiheit geprüft werden, bevor man mit ihnen argumentiert.
- Selbstreferenz: Selbstanwendung kann produktiv sein, aber auch Antinomien erzeugen.
- Philosophie der Mathematik: Mathematische Gegenstände werden nicht allein durch beliebige Beschreibungen garantiert.
Reaktionen und Lösungen
| Ansatz | Grundidee | Wirkung |
|---|---|---|
| Typentheorie | Mengen und Aussagen werden auf Ebenen verteilt. | Ein Ausdruck darf nicht beliebig auf sich selbst angewandt werden. |
| Zermelo-Fraenkel-Mengenlehre | Neue Mengen entstehen nur nach festgelegten Axiomen. | Die unbeschränkte Menge aller Objekte mit einer Eigenschaft wird nicht zugelassen. |
| Aussonderungsaxiom | Aus einer vorhandenen Menge darf eine Teilmenge ausgewählt werden. | Die problematische universelle Ausgangsmenge fehlt. |
Russell und Alfred North Whitehead entwickelten in den Principia Mathematica eine typentheoretische Grundlegung.
Denkfehler vermeiden
- Paradoxon: Die Aufgabe verlangt keine raffinierte Wahl zwischen zwei Antworten; die angenommene Menge existiert im System nicht.
- Klasse: Nicht jede sinnvoll beschreibbare Sammlung ist eine Menge.
- Selbstbezüglichkeit: Selbstbezug allein ist nicht immer widersprüchlich; entscheidend sind die verwendeten Regeln.
Interaktive Aufgaben
Quiz: Teste Dein Wissen
Welche Menge erzeugt Russells Paradox? (Die Menge aller Mengen, die sich nicht selbst enthalten) (!Die Menge aller geraden Zahlen) (!Die Menge aller endlichen Mengen) (!Die leere Menge)
Welche Annahme der naiven Mengenlehre wird problematisch? (Jede eindeutig formulierte Eigenschaft bestimmt eine Menge) (!Jede Menge besitzt endlich viele Elemente) (!Alle Zahlen sind Mengen) (!Mengen dürfen keine Teilmengen haben)
Was folgt aus der Annahme, dass R Element von R ist? (R kann nicht Element von R sein) (!R ist die leere Menge) (!R enthält alle Zahlen) (!R wird zu einer echten Klasse)
Was folgt aus der Annahme, dass R kein Element von R ist? (R muss Element von R sein) (!R enthält nur sich selbst) (!R ist endlich) (!R ist identisch mit jeder Menge)
Welche Person erhielt 1902 Russells Mitteilung über die Antinomie? (Gottlob Frege) (!David Hume) (!Immanuel Kant) (!René Descartes)
Was veranschaulicht das Barbierparadoxon? (Eine widersprüchliche Selbstanwendung) (!Einen Beweis für die Existenz des Barbiers) (!Eine Regel der Wahrscheinlichkeitsrechnung) (!Eine geometrische Konstruktion)
Welche Strategie verfolgt die Typentheorie? (Sie trennt Ausdrücke und Gegenstände in Ebenen) (!Sie erlaubt jede Form der Mengenbildung) (!Sie ersetzt Logik durch Erfahrung) (!Sie verbietet alle unendlichen Mengen)
Wie begrenzt die Zermelo-Fraenkel-Mengenlehre die Mengenbildung? (Sie verwendet festgelegte Axiome) (!Sie akzeptiert nur Zahlen) (!Sie erlaubt ausschließlich leere Mengen) (!Sie verwirft den Elementbegriff)
Welche philosophische Lehre ist besonders betroffen? (Der Logizismus) (!Der Hedonismus) (!Der Existenzialismus) (!Der Stoizismus)
Welche Aussage beschreibt die Reichweite des Paradoxons korrekt? (Es widerlegt unbeschränkte Mengenbildung) (!Es widerlegt jede Form von Mathematik) (!Es beweist, dass Logik nutzlos ist) (!Es zeigt, dass Mengen immer endlich sind)
Memory
| Russell | Entdecker der Antinomie |
| Naive Mengenlehre | Unbeschränkte Mengenbildung |
| Selbstbezug | Anwendung auf sich selbst |
| Frege | Logizistisches Grundlagenprogramm |
| Typentheorie | Hierarchie logischer Ebenen |
| Zermelo | Axiomatische Mengenlehre |
| Barbierparadoxon | Anschauliche Analogie |
| Aussonderung | Teilmenge einer vorhandenen Menge |
Drag and Drop
| Ordne die richtigen Begriffe zu. | Funktion |
|---|---|
| Naive Komprehension | Bildet zu jeder Eigenschaft eine Menge |
| Russellmenge | Enthält genau die Mengen ohne Selbstmitgliedschaft |
| Typentheorie | Trennt Gegenstände in logische Ebenen |
| Aussonderungsaxiom | Wählt Elemente aus einer vorhandenen Menge aus |
| Barbierparadoxon | Veranschaulicht die widersprüchliche Regel |
Kreuzworträtsel
| Russell | Wer formulierte die berühmte Antinomie? |
| Antinomie | Wie heißt ein echter logischer Widerspruch in einem Regelsystem? |
| Mengenlehre | In welchem mathematischen Gebiet tritt das Paradox auf? |
| Selbstbezug | Welcher Mechanismus ist für die Herleitung zentral? |
| Typentheorie | Welcher Ansatz ordnet Ausdrücke verschiedenen Ebenen zu? |
| Zermelo | Welcher Mathematiker steht für eine axiomatische Antwort? |
LearningApps
Lückentext
Offene Aufgaben
Leicht
- Begriffsnetz: Gestalte ein Begriffsnetz zu Menge, Element, Selbstbezug, Widerspruch und Axiom.
- Barbierparadoxon: Erkläre die Geschichte in höchstens sechs Sätzen und markiere den Widerspruch.
- Symbolsprache: Übersetze die Definition der Russellmenge in Alltagssprache.
- Medienanalyse: Vergleiche zwei eingebettete Erklärmedien hinsichtlich Verständlichkeit und Genauigkeit.
Standard
- Argumentrekonstruktion: Stelle beide Fälle der Herleitung als Ablaufdiagramm dar.
- Frege und Russell: Verfasse einen fiktiven, sachlich korrekten Briefwechsel über die Folgen der Antinomie.
- Typentheorie: Entwickle ein eigenes Beispiel dafür, wie Ebenen problematische Selbstanwendung verhindern.
- Axiomatische Mengenlehre: Erkläre mit einem Beispiel den Unterschied zwischen unbeschränkter Mengenbildung und Aussonderung.
Schwer
- Philosophie der Mathematik: Beurteile, ob das Paradox eher eine Krise oder einen Fortschritt darstellt.
- Logizismus: Untersuche, welche Teile des logizistischen Programms durch die Antinomie gefährdet werden.
- Selbstreferenz: Vergleiche Russells Paradox mit einem anderen selbstbezüglichen Paradox und arbeite Unterschiede heraus.
- Formales System: Entwirf Regeln für eine kleine Gegenstandswelt und prüfe systematisch, ob Selbstanwendung zugelassen werden darf.
|
|
Lernkontrolle
- Fallanalyse: Eine Theorie erlaubt zu jeder sprachlichen Bedingung eine Sammlung. Prüfe, ob daraus stets eine Menge entstehen darf, und begründe Dein Urteil mit Russells Argument.
- Regelvergleich: Vergleiche Typentheorie und Aussonderungsaxiom danach, an welcher Stelle sie die paradoxe Konstruktion blockieren.
- Transfer auf Datenbanken: Untersuche, ob eine Kategorie „alle Kategorien, die sich nicht selbst zuordnen“ ein analoges Problem erzeugt.
- Wissenschaftstheorie: Erkläre, warum die Entdeckung eines Widerspruchs nicht das Ende, sondern eine Verbesserung eines formalen Systems bewirken kann.
- Begriffsprüfung: Entwickle Kriterien dafür, wann eine Definition einen Gegenstand beschreibt und wann sie nur scheinbar sinnvoll ist.
- Urteilsbildung: Nimm begründet Stellung zur These: „Selbstbezug ist grundsätzlich zu vermeiden.“
Lernnachweis
Für einen Lernnachweis solltest Du:
- die Russellmenge korrekt definieren,
- beide Fälle der Widerspruchsherleitung erklären,
- das Barbierbeispiel als Analogie einordnen,
- den historischen Zusammenhang mit Frege und dem Logizismus darstellen,
- Typentheorie und axiomatische Mengenlehre vergleichen,
- die philosophische Bedeutung auf einen neuen Fall übertragen.
Quellen und Vertiefung
- Stanford Encyclopedia of Philosophy: Russell’s Paradox
- Wikipedia: Russellsche Antinomie
- Wikimedia Commons: Logical paradoxes
OERs zum Thema
Verknüpfte Lernbereiche
aiMOOC-Projekte
Schulfach+
|
|
aiMOOCs
aiMOOC Projekte
|
|
.png){kind=link}
THE MONKEY DANCE
|
|
|