Mengenlehre on kenji.blog

Wenn Wörter sich selbst beschreiben: Das Grelling-Nelson-Paradoxon

Thu, 10 Sep 2026 21:00:00 +0900

Wörter sind Werkzeuge zur Beschreibung der Welt, aber wenn man versucht, Wörter selbst zu beschreiben, kann die Logik in unerwartete Fallen geraten.

Das 1908 von Kurt Grelling und Leonard Nelson erdachte „Grelling-Nelson-Paradoxon“ ist ein berühmtes Paradoxon der Semantik, das genau diese Grenzen aufzeigt, wenn „Wörter Wörter definieren“.

Wörter in zwei Kategorien einteilen

Grelling und Nelson waren der Ansicht, dass sich alle Adjektive (Wörter) in die folgenden zwei Gruppen einteilen lassen.

Autologisch (Autological): Das Wort selbst besitzt die Eigenschaft, die es beschreibt.
Heterologisch (Heterological): Das Wort selbst besitzt die Eigenschaft, die es beschreibt, nicht.

Schauen wir uns einige Beispiele an

Beispiele für autologische Wörter:

„kurz“ (short): Dieses Wort selbst ist kurz.
„englisch“ (English): Dieses Wort selbst ist englisch.
„Substantiv“ (noun): Dieses Wort ist ein Substantiv.
„fünfsilbig“ (pentasyllabic): Auf Englisch hat „pen-ta-syl-lab-ic“ 5 Silben.

Beispiele für heterologische Wörter:

„lang“ (long): Dieses Wort selbst ist kurz, nicht lang.
„deutsch“ (German): Dieses Wort ist japanisch (oder englisch) und nicht deutsch.
„unsichtbar“ (invisible): Dieses Wort ist jetzt deutlich auf dem Bildschirm oder Papier zu sehen.

Bis hierhin sieht es wie ein bloßes Wortspiel aus. Jedes Wort sollte sich notwendigerweise in eine der beiden Kategorien einordnen lassen: entweder verkörpert es seine eigene Bedeutung oder nicht.

Die fatale Frage: Die Entstehung des Paradoxons

Nun, hier beginnt das Paradoxon. Betrachten wir das folgende Wort:

Ist das Wort „heterologisch“ (Heterological) selbst autologisch oder heterologisch?

Auf diese Frage stoßen wir auf einen Widerspruch, egal welche Antwort wir wählen.

Fall 1: Wir nehmen an, „heterologisch“ ist „autologisch“

Wenn das Wort „heterologisch“ (Heterological) „autologisch“ ist, bedeutet dies per Definition, dass „das Wort selbst die Eigenschaft besitzt, die es beschreibt“. Die Bedeutung dieses Wortes ist jedoch „heterologisch“. Das heißt, die Eigenschaft „heterologisch“ zu besitzen, bedeutet, dass es „heterologisch“ ist. Obwohl wir angenommen haben, dass es autologisch ist, ist das Ergebnis heterologisch. (Widerspruch)

Fall 2: Wir nehmen an, „heterologisch“ ist „heterologisch“

Wenn das Wort „heterologisch“ (Heterological) „heterologisch“ ist, bedeutet dies per Definition, dass „das Wort selbst die Eigenschaft, die es beschreibt, nicht besitzt“. Da die Bedeutung dieses Wortes „heterologisch“ ist, bedeutet das Fehlen dieser Eigenschaft, dass es „autologisch“ ist. Obwohl wir angenommen haben, dass es heterologisch ist, ist das Ergebnis autologisch. (Widerspruch)

Egal in welche Richtung wir gehen, die Logik bricht zusammen.

graph TD A["Wort „heterologisch“ (Heterological)"] --> B{"Wie wird es klassifiziert?"} B -->|ist autologisch| C["Definition: Besitzt die eigene Bedeutung als Eigenschaft"] C --> D["Die eigene Bedeutung ist „heterologisch“"] D --> E["Ergebnis: Es ist heterologisch!"] E -->|Widerspruch| B B -->|ist heterologisch| F["Definition: Besitzt die eigene Bedeutung nicht als Eigenschaft"] F --> G["Die eigene Bedeutung ist „heterologisch“"] G --> H["Ergebnis: Es ist autologisch!"] H -->|Widerspruch| B style A fill:#4CAF50,stroke:#333,stroke-width:2px,color:#fff style B fill:#FF9800,stroke:#333,stroke-width:2px,color:#fff style E fill:#F44336,stroke:#333,stroke-width:2px,color:#fff style H fill:#F44336,stroke:#333,stroke-width:2px,color:#fff

Verbindung zu Mathematik und Logik: Ein Verwandter der Russellschen Antinomie

Dieses Paradoxon ist kein einfacher Rechenfehler oder eine Illusion wie das „Rätsel des fehlenden Dollars“. Es hat im Wesentlichen die gleiche Struktur wie die Russellsche Antinomie („Enthält die Menge aller Mengen, die sich nicht selbst enthalten, sich selbst?“), welche die Grundlagen der Mathematik erschütterte.

Man kann sagen, dass das Grelling-Nelson-Paradoxon die semantische Version (Wortbedeutung) der Russellschen Antinomie ist.

Die Russellsche Antinomie in der Mengenlehre: Wenn wir die Menge

$$ R = \\{ x \mid x \notin x \\} $$

definieren und fragen, ob $R \in R$ oder $R \notin R$ gilt, führt dies zu einem Widerspruch.

Das Grelling-Nelson-Paradoxon in der Semantik: Wenn wir $Het(x)$ definieren als „das Wort $x$ besitzt die Eigenschaft $x$ nicht (ist heterologisch)“, geraten wir in den logischen Widerspruch:

$$ Het(\text{"Het"}) \iff \neg Het(\text{"Het"}) $$

Warum ist dieses Paradoxon wichtig?

Wenn Wörter sich auf sich selbst beziehen (Selbstreferenz), besteht immer die Gefahr, dass Fehler wie in einer Endlosschleife auftreten.

Dies ist nicht nur ein Problem der Philosophie oder Linguistik. Auch in der Informatik und der Künstlichen Intelligenz stößt man auf ähnliche logische Barrieren, wenn Programme versuchen, ihren eigenen Code auszuwerten und zu modifizieren, oder wenn Modelle zur Verarbeitung natürlicher Sprache semantische Widersprüche interpretieren.

Das Grelling-Nelson-Paradoxon ist ein Gedankenexperiment, das den Bug (die Grenze), der dem System „Sprache“ innewohnt, hervorragend visualisiert.

Russelsche Antinomie: Enthält die "Menge aller Mengen, die sich nicht selbst als Element enthalten", sich selbst?

Thu, 10 Sep 2026 04:00:00 +0900

1. Das “Barbier-Paradoxon”, das ein friedliches Dorf heimsuchte

In einem friedlichen Dorf gab es einen einzigen Barbier. Am Eingang des Dorfes stand ein seltsames Schild mit folgender Aufschrift:

“Der Barbier dieses Dorfes rasiert alle Männer im Dorf, die sich nicht selbst rasieren, und nur diese.”

Die Dorfbewohner waren mit dieser Regel zufrieden. Wer sich nicht selbst rasieren konnte, ging zum Barbier, und wer es konnte, rasierte sich zu Hause.

Doch eines Tages schaute der junge Barbier in den Spiegel und erschrak. Auf seinem Kinn waren Bartstoppeln gewachsen. “Nun, sollte ich mich selbst rasieren?”

Er beschloss, der Regel auf dem Schild zu folgen und logisch darüber nachzudenken.

Was ist, wenn er beschließt, “sich selbst zu rasieren”? Laut der Regel darf der Barbier nur die Männer rasieren, “die sich nicht selbst rasieren”. Wenn er sich also selbst rasiert, ist er nicht berechtigt, vom Barbier (sich selbst) rasiert zu werden. Das heißt, er “darf sich nicht rasieren”.
Was ist, wenn er beschließt, “sich nicht selbst zu rasieren”? Laut der Regel muss der Barbier alle Männer rasieren, “die sich nicht selbst rasieren”. Wenn er sich also nicht selbst rasiert, muss er vom Barbier (sich selbst) rasiert werden. Das heißt, er “muss sich rasieren”.

“Wenn ich mich rasiere, darf ich mich nicht rasieren.” “Wenn ich mich nicht rasiere, muss ich mich rasieren.”

Der Barbier geriet völlig in Panik und konnte keine von beiden Handlungen ausführen. Dies ist das berühmte “Barbier-Paradoxon”.

graph TD Barber["Barbier: Sollte er sich selbst rasieren?"] Barber -->|JA: Er rasiert sich selbst| Cond1["Regelverstoß!
(Er darf niemanden rasieren, der sich selbst rasiert)"] Barber -->|NEIN: Er rasiert sich nicht selbst| Cond2["Regelverstoß!
(Er muss jeden rasieren, der sich nicht selbst rasiert)"] Cond1 --> Paradox["Widerspruch (Paradoxon)"] Cond2 --> Paradox style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

2. Die “Russelsche Antinomie”, die die Welt der Mathematik erschütterte

Dieses “Barbier-Paradoxon” ist eine Metapher, die der britische Logiker und Philosoph Bertrand Russell erfunden hat, um sein mathematisches Paradoxon der Allgemeinheit verständlich zu erklären.

Was er wirklich entdeckte, war kein Barbier, sondern ein schrecklicher Widerspruch bezüglich von “Mengen (Sets)”. Dies wird als “Russelsche Antinomie (1901)” bezeichnet.

Die Idee einer “Menge von Mengen”

Eine “Menge” in der Mathematik ist eine Ansammlung von Objekten, die eine bestimmte Bedingung erfüllen.

“Menge der geraden Zahlen bis 10” = $\{2, 4, 6, 8, 10\}$
“Menge der roten Äpfel”

Außerdem können Sie andere “Mengen” als Elemente in eine Menge aufnehmen. Betrachten wir zum Beispiel die “Menge aller Bücher der Welt”. Da diese Menge selbst kein “Buch” ist, ist die “Menge aller Bücher der Welt” nicht in ihrer eigenen Menge enthalten.

Betrachten wir andererseits die “Menge aller Dinge, die keine Bücher sind”. Auch diese Menge selbst ist kein “Buch”. Daher ist die “Menge aller Dinge, die keine Bücher sind” in ihrer eigenen Menge enthalten.

Auf diese Weise lassen sich die Mengen der Welt grob in zwei Arten einteilen:

A: Mengen, die sich nicht selbst als Element enthalten (z. B. die Menge der Bücher)
B: Mengen, die sich selbst als Element enthalten (z. B. die Menge der Dinge, die keine Bücher sind)

Die Geburt der teuflischen Menge $R$

Hier betrachtete Russell die folgende spezielle Menge $R$:

Menge $R$ = Die Menge, die alle “Mengen, die sich nicht selbst enthalten (Typ A)” zusammenfasst

Mathematisch (in Intensionsnotation) geschrieben sieht das so aus:

$$ R = \{ x \mid x \notin x \} $$

Nun zum Kernpunkt. Russell stellte die folgende Frage an diese Menge $R$:

“Enthält die Menge $R$ sich selbst ($R$)?”

Lassen Sie uns nachdenken.

Was ist, wenn $R$ “sich selbst enthält ($R \in R$)”? Die Bedingung, um in $R$ aufgenommen zu werden, ist, “sich nicht selbst zu enthalten”. Daher erfüllt $R$ die Bedingung nicht und kann nicht in $R$ aufgenommen werden. (Dies führt zum Widerspruch $R \notin R$)
Was ist, wenn $R$ “sich nicht selbst enthält ($R \notin R$)”? Die Bedingung, um in $R$ aufgenommen zu werden, ist, “sich nicht selbst zu enthalten”. Daher erfüllt $R$ diese Bedingung perfekt und muss in $R$ aufgenommen werden. (Dies führt zum Widerspruch $R \in R$)

Mathematisch geschrieben ist es ein Zusammenbruch der Logik in nur einer Zeile:

$$ R \in R \iff R \notin R $$

“Wenn sie es enthält, ist sie nicht enthalten.” “Wenn sie nicht enthalten ist, enthält sie es.” Dies ist genau die gleiche Struktur wie beim Barbier-Paradoxon. Aber beim Dorfbarbier kann man einfach lachen und sagen: “Der Bürgermeister, der so ein Regelschild aufgestellt hat, ist einfach nur dumm”, in der Welt der Mathematik ist das jedoch nicht so einfach.

Der Grund dafür ist, dass die damalige Welt der Mathematik gerade dabei war, die gesamte Mathematik auf der Grundlage der naiven Regel (naive Mengenlehre) neu aufzubauen: “Solange die Bedingung klar definiert ist, kann man aus allem frei eine ‘Menge’ bilden”.

3. Freges Tragödie

Die Person, an die Russell diesen Brief schickte, war der große deutsche Logiker Gottlob Frege. Frege hatte gerade den zweiten Band seines monumentalen Werks “Grundgesetze der Arithmetik”, dem er sein ganzes Leben gewidmet hatte, an die Druckerei übergeben. Dieses Buch war der Höhepunkt seines Versuchs, die Vollständigkeit der Mathematik zu beweisen, basierend auf der Regel, dass “Mengen aus jeder Bedingung gebildet werden können”.

Als Frege den Brief von Russell las, verzweifelte er. Es wurde bewiesen, dass man mit der “grundlegendsten Grundlage” seines Buches eine “absolut widersprüchliche Menge” wie das Russellsche Paradoxon erschaffen kann. Wenn das Fundament zusammenbricht, werden hunderte Seiten von mathematischen Formeln, die darauf aufgebaut sind, alle ungültig.

Frege hinterließ kurz vor der Veröffentlichung seines Buches folgenden herzzerreißenden Nachtrag am Ende des Bandes:

“Einem wissenschaftlichen Schriftsteller kann kaum etwas Unerwünschteres begegnen, als dass ihm nach Vollendung einer Arbeit eine der Grundlagen seines Baues erschüttert wird. In diese Lage wurde ich durch einen Brief des Herrn Bertrand Russell versetzt, als der Druck dieses Bandes sich seinem Ende näherte.”

4. Die Krise überwinden: Die Geburt der axiomatischen Mengenlehre

Die Russelsche Antinomie löste in der Mathematikwelt eine große Panik aus, die als “Grundlagenkrise der Mathematik” bezeichnet wird. Die freie Regel “Solange man eine Bedingung festlegt, kann man frei eine Menge bilden” hatte ein Monster namens Widerspruch hervorgebracht.

Um diese Krise zu lösen, begannen Mathematiker, die Regeln zu verschärfen. Mathematiker wie Zermelo und Fraenkel entwickelten ein Regelwerk (Axiomensystem), das strikt zwischen “Mengen, die gebildet werden dürfen” und “Mengen, die nicht gebildet werden dürfen (zu große Mengen)” unterscheidet. Dies wird als “ZFC-Axiomensystem (axiomatische Mengenlehre)” bezeichnet.

Unter dem ZFC-Axiomensystem wurde eine Menge $R$, die alle “Mengen sammelt, die sich nicht selbst enthalten”, wie Russell sie sich vorgestellt hatte, aus der Welt der Mathematik verbannt mit der Begründung: “Sie ist zu groß und gefährlich, also wird sie nicht mehr als ‘Menge’ anerkannt (sie ist lediglich eine ‘Klasse’)”.

graph LR subgraph "Naive Mengenlehre (vor Russell)" Free["Man kann unter jeder Bedingung frei
eine Menge bilden!"] --> Monster["Das Widerspruchsmonster R
(Russelsche Antinomie)"] end subgraph "Axiomatische Mengenlehre (Moderne Mathematik)" Strict["Nur das, was strengen Regeln (Axiomen) folgt,
ist eine 'Menge'"] --> Safe["Der Widerspruch R wird nicht als 'Menge'
anerkannt und ist daher sicher!"] end Monster -.->|Krise der Mathematikwelt| Strict

5. Fazit: Paradoxien sind eine “starke Medizin”, um “Logik-Bugs” zu beheben

Die Russelsche Antinomie ist das Extrem eines Logik-Bugs, der durch Selbstreferenz (sich auf sich selbst beziehen) verursacht wird, ähnlich wie “die Schlange, die ihren eigenen Schwanz frisst (Ouroboros)” oder der Lügner, der sagt: “Ich bin ein Lügner”.

Paradoxien, die auf den ersten Blick wie bloße Haarspalterei oder Wortspiele wirken, zerstörten die Grundlage der Mathematik, der strengsten aller Wissenschaften, und führten letztendlich dazu, dass sich die Mathematik zu etwas Stärkerem und Strengerem entwickelte.

Wenn das Genie Russell diesen “Barbier-Bug” nicht bemerkt hätte, hätten sich die moderne Mathematik und die Informatik, die eine Erweiterung ihrer Logik ist, vielleicht mit einem fatalen Widerspruch irgendwo weiterentwickelt. Ein Paradoxon ist die anregendste Medizin, die uns die Grenzen der menschlichen Logik lehrt.