Set Theory on kenji.blog

When Words Describe Themselves: The Grelling-Nelson Paradox

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

Words are tools for describing the world, but when we try to describe the words themselves, logic can fall into unexpected pitfalls.

Devised in 1908 by Kurt Grelling and Leonard Nelson, the “Grelling-Nelson Paradox” is a famous semantic paradox that confronts the limits of “words defining words.”

Classifying Words into Two Categories

Grelling and Nelson considered that all adjectives (words) could be classified into the following two groups:

Autological: A word that possesses the property it expresses.
Heterological: A word that does not possess the property it expresses.

Let’s Look at Some Examples

Examples of Autological Words:

“short”: The word itself is short.
“English”: The word itself is English.
“noun”: The word is a noun.
“pentasyllabic”: The word “pen-ta-syl-lab-ic” in English has five syllables.

Examples of Heterological Words:

“long”: The word itself is short, not long.
“German”: This word is English, not German.
“invisible”: This word is currently clearly visible on your screen or paper.

Up to this point, it looks like mere wordplay. Every word should theoretically fall into one of the two categories: either it embodies its meaning or it doesn’t.

The Fatal Question: The Emergence of the Paradox

Now, here begins the paradox. Consider the following single word:

Is the word “heterological” itself autological or heterological?

Whatever answer we choose for this question, we face a contradiction.

Case 1: Assume “heterological” is “autological”

If the word “heterological” is “autological,” by definition, it “possesses the property it expresses.” However, the meaning of this word is “heterological.” In other words, having the property of being “heterological” means that it is “heterological.” We assumed it was autological, but the result turned out to be heterological. (Contradiction)

Case 2: Assume “heterological” is “heterological”

If the word “heterological” is “heterological,” by definition, it “does not possess the property it expresses.” Since the meaning of this word is “heterological,” not having that property means that it is “autological.” We assumed it was heterological, but the result turned out to be autological. (Contradiction)

Whichever way it goes, logic collapses.

graph TD A["The word 'heterological'"] --> B{"How is it classified?"} B -->|Autological| C["Definition: Possesses the property it expresses"] C --> D["Its meaning is 'heterological'"] D --> E["Result: It is heterological!"] E -->|Contradiction| B B -->|Heterological| F["Definition: Does not possess the property it expresses"] F --> G["Its meaning is 'heterological'"] G --> H["Result: It is autological!"] H -->|Contradiction| 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

Connection to Math and Logic: A Relative of Russell’s Paradox

This paradox is not a simple miscalculation or illusion like the “Missing Dollar Riddle.” It shares essentially the same structure as Russell’s Paradox (“Does the set of all sets that do not contain themselves contain itself?”), which shook the foundations of mathematics.

The Grelling-Nelson Paradox can be considered the semantic (word meaning) version of Russell’s Paradox.

Russell’s Paradox in set theory: When defining a set

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

asking whether $R \in R$ or $R \notin R$ leads to a contradiction.

The Grelling-Nelson Paradox in semantics: When defining $Het(x)$ as “the word $x$ does not possess the property $x$ (is heterological)”,

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

leads to a logical contradiction.

Why is This Paradox Important?

When words refer to themselves (self-reference), there is always a latent danger of infinite loop-like errors occurring.

This is not just a problem in philosophy or linguistics. In the fields of computer science and artificial intelligence, similar logical walls are encountered when programs attempt to evaluate or modify their own code, or when natural language processing models interpret semantic contradictions.

The Grelling-Nelson Paradox is a thought experiment that beautifully visualizes the bugs (limitations) inherently contained within the system of “language.”

Russell's Paradox: Does the "set of all sets that do not contain themselves" contain itself?

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

1. The “Barber Paradox” That Struck a Peaceful Village

In a certain peaceful village, there was a single barber. At the entrance of the village stood a strange sign with the following rule:

“The barber of this village shaves all and only those villagers who do not shave themselves.”

The villagers were satisfied with this rule. Those who couldn’t shave themselves just had to go to the barber, and those who could shave themselves would just do it at home.

However, one day, the young barber looked in the mirror and was suddenly startled. He had stubble growing on his chin. “Now then, should I shave my own beard?”

He decided to think logically according to the rule on the sign.

What if he decides to “shave himself”? According to the rule, the barber must only shave those who “do not shave themselves.” Therefore, if he shaves himself, he is not eligible to be shaved by the barber (himself). In other words, “he must not shave himself.”
What if he decides “not to shave himself”? According to the rule, the barber must shave everyone who “does not shave themselves.” Therefore, if he doesn’t shave himself, he must be shaved by the barber (himself). In other words, “he must shave himself.”

“If he shaves himself, he must not shave himself.” “If he does not shave himself, he must shave himself.”

The barber completely panicked and became unable to take either action. This is the famous “Barber Paradox”.

graph TD Barber["Barber: Should he shave himself?"] Barber -->|YES: Shaves himself| Cond1["Rule violation!
(He must not shave the beard of someone who shaves himself)"] Barber -->|NO: Does not shave himself| Cond2["Rule violation!
(He must shave the beard of someone who does not shave himself)"] Cond1 --> Paradox["Contradiction (Paradox)"] Cond2 --> Paradox style Paradox fill:#ff4444,color:#fff,stroke:#333,stroke-width:2px

2. “Russell’s Paradox” That Shook the Mathematical World

This “Barber Paradox” is an allegory created by the British logician and philosopher Bertrand Russell to explain a mathematical paradox he discovered in a way that is easy for the general public to understand.

What he actually discovered was not about a barber, but a terrifying contradiction regarding “Sets”. It is called “Russell’s Paradox (1901)”.

The Concept of a “Set of Sets”

In mathematics, a “set” is a collection of things that satisfy a certain condition.

“The set of even numbers less than or equal to 10” = $\{2, 4, 6, 8, 10\}$
“The set of red apples”

And, as the contents (elements) of a set, you can also put in another “set”. For example, consider “the set of all books in the world”. Since this set itself is not a “book”, “the set of all books in the world” is not included within its own set.

On the other hand, consider “the set of things that are not books”. This set itself is also not a “book”. Therefore, “the set of things that are not books” is included within its own set.

In this way, sets in the world can be broadly divided into two types:

A: Sets that do not contain themselves (e.g., the set of books)
B: Sets that contain themselves (e.g., the set of things that are not books)

The Birth of the Demonic Set $R$

Here, Russell considered the following special set $R$:

Set $R$ = The set of all “sets that do not contain themselves (Type A)”

Written as a mathematical formula (intensional notation), it looks like this:

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

Now, here is the main point. Russell posed the following question regarding this set $R$:

“Does the set $R$ contain itself ($R$)?”

Let’s think about it.

What if $R$ “contains itself ($R \in R$)”? The condition to be included in $R$ is “not containing oneself”. Therefore, $R$ does not satisfy the condition, and cannot be included in $R$. (Leading to $R \notin R$, a contradiction)
What if $R$ “does not contain itself ($R \notin R$)”? The condition to be included in $R$ is “not containing oneself”. Therefore, $R$ perfectly satisfies the condition, and must be included in $R$. (Leading to $R \in R$, a contradiction)

Written as a formula, it is a logical collapse in just one line:

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

“If it contains itself, it is not contained.” “If it is not contained, it contains itself.” This has exactly the same structure as the Barber Paradox. However, while the village barber story can be laughed off with “the mayor who put up a sign with such rules is just stupid”, in the world of mathematics, it’s not that simple.

This was because the mathematical community at the time was right in the middle of trying to rebuild all of mathematics based on the naive rule (Naive Set Theory) that “as long as you clearly define the condition, you can freely create a ‘set’ out of anything”.

3. Frege’s Tragedy

The person to whom Russell sent a letter detailing this was the great German logician Gottlob Frege. Frege had just sent the second volume of his magnum opus, The Basic Laws of Arithmetic, to the printing press, having dedicated his entire life to it. This book was a culmination of his attempt to prove the completeness of mathematics based on the rule that “a set can be created from any condition”.

Upon reading Russell’s letter, Frege despaired. It proved that using the “most fundamental of foundations” rules in his book, an “absolutely contradictory set” like Russell’s Paradox could be created. If the foundation collapses, hundreds of pages of mathematical formulas built upon it all become invalid.

At the very end of his book, right before publication, Frege left the following agonizing postscript:

“Hardly anything more unfortunate can befall a scientific writer than to have one of the foundations of his edifice shaken after the work is finished. This was the position I was placed in by a letter of Mr. Bertrand Russell, just when the printing of this volume was nearing its completion.”

4. Overcoming the Crisis: The Birth of Axiomatic Set Theory

Russell’s Paradox triggered a massive panic in the mathematical community, known as the “foundational crisis of mathematics”. The freewheeling rule that “as long as you decide the condition, you can freely create a set” had given birth to a monster called contradiction.

To resolve this crisis, mathematicians set out to strictly enforce the rules. Mathematicians such as Zermelo and Fraenkel established a rulebook (axiomatic system) that strictly distinguishes between “sets that are allowed to be created” and “sets that must not be created (too large)”. This is called the “ZFC Axioms (Axiomatic Set Theory)”.

Under the ZFC axioms, a “set $R$ that collects all ‘sets that do not contain themselves’” as conceived by Russell was banned from the world of mathematics, deemed “too huge and dangerous, so it is no longer recognized as a ‘set’ (it is merely a ‘class’)”.

graph LR subgraph "Naive Set Theory (Before Russell)" Free["You can freely create a set
with any condition!"] --> Monster["The Monster of Contradiction R
(Russell's Paradox)"] end subgraph "Axiomatic Set Theory (Modern Mathematics)" Strict["Only those that follow strict
rules (axioms) are 'Sets'"] --> Safe["Contradiction R is not recognized
as a 'Set', so it's safe!"] end Monster -.->|Crisis in the Mathematical World| Strict

5. Conclusion: Paradoxes are a “Drastic Medicine” for Fixing “Logic Bugs”

Russell’s Paradox is the ultimate logic bug caused by self-reference (referring to oneself), similar to “a snake eating its own tail (Ouroboros)” or “the liar who says ‘I am a liar’”.

At first glance, paradoxes may seem like mere sophistry or wordplay, but they destroyed the very foundation of mathematics, the most rigorous of disciplines, and consequently forced it to evolve into something stronger and more rigorous.

If the genius Russell had not noticed this “barber’s bug”, modern mathematics, and computer science which lies on the extension of that logic, might have developed while harboring a fatal contradiction somewhere. A paradox is the most stimulating drastic medicine that teaches us the limits of human logic.