Grelling–Nelson paradox
E357180
The Grelling–Nelson paradox is a self-referential logical paradox arising from classifying adjectives as "autological" or "heterological," leading to a contradiction when considering whether "heterological" describes itself.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Grelling–Nelson paradox canonical | 2 |
| Grelling paradox | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T3435935 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Grelling–Nelson paradox Context triple: [Epimenides paradox, relatedTo, Grelling–Nelson paradox]
-
A.
Berry paradox
The Berry paradox is a self-referential logical paradox arising from phrases like “the smallest positive integer not definable in under eleven words,” which appears to define exactly such a number while claiming it cannot be defined.
-
B.
Yablo's paradox
Yablo's paradox is a self-referential logical paradox involving an infinite sequence of sentences, each saying that all later sentences in the sequence are false, which challenges traditional notions of semantic paradox and self-reference.
-
C.
Barber paradox
The Barber paradox is a self-referential logical puzzle about a barber who shaves all and only those who do not shave themselves, illustrating a contradiction similar to Russell’s paradox.
-
D.
Curry paradox
Curry paradox is a self-referential logical paradox that arises in certain formal systems without using negation, showing how naive reasoning about implication and self-reference can lead to triviality.
-
E.
Russell’s paradox
Russell’s paradox is a foundational logical contradiction in naive set theory that reveals problems with sets that contain themselves, leading to major developments in modern logic and the axiomatization of set theory.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Grelling–Nelson paradox Target entity description: The Grelling–Nelson paradox is a self-referential logical paradox arising from classifying adjectives as "autological" or "heterological," leading to a contradiction when considering whether "heterological" describes itself.
-
A.
Berry paradox
The Berry paradox is a self-referential logical paradox arising from phrases like “the smallest positive integer not definable in under eleven words,” which appears to define exactly such a number while claiming it cannot be defined.
-
B.
Yablo's paradox
Yablo's paradox is a self-referential logical paradox involving an infinite sequence of sentences, each saying that all later sentences in the sequence are false, which challenges traditional notions of semantic paradox and self-reference.
-
C.
Barber paradox
The Barber paradox is a self-referential logical puzzle about a barber who shaves all and only those who do not shave themselves, illustrating a contradiction similar to Russell’s paradox.
-
D.
Curry paradox
Curry paradox is a self-referential logical paradox that arises in certain formal systems without using negation, showing how naive reasoning about implication and self-reference can lead to triviality.
-
E.
Russell’s paradox
Russell’s paradox is a foundational logical contradiction in naive set theory that reveals problems with sets that contain themselves, leading to major developments in modern logic and the axiomatization of set theory.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
logical paradox
ⓘ
self-referential paradox ⓘ semantic paradox ⓘ |
| alsoKnownAs |
Grelling paradox
ⓘ
linked to:
Grelling–Nelson paradox
|
| assumes |
every adjective is either autological or heterological
ⓘ
no adjective is both autological and heterological ⓘ |
| basedOn |
natural language semantics
ⓘ
set-theoretic comprehension ⓘ |
| category |
paradoxes of self-reference
ⓘ
philosophical logic ⓘ |
| concerns |
adjectives that describe themselves
ⓘ
adjectives that do not describe themselves ⓘ |
| describes | classification of adjectives ⓘ |
| exposes |
limits of naive classification in natural language
ⓘ
self-referential inconsistency ⓘ |
| field |
logic
ⓘ
philosophy of language ⓘ set theory ⓘ |
| formalization | set of all heterological adjectives ⓘ |
| hasComponent |
definition of autological adjective
ⓘ
definition of heterological adjective ⓘ |
| illustrates |
problems with naive set formation
ⓘ
self-referential paradoxes in ordinary language ⓘ |
| influenced |
development of formal semantics
ⓘ
later work on semantic paradoxes ⓘ |
| involvesQuestion |
whether the adjective "heterological" is autological
ⓘ
whether the adjective "heterological" is heterological ⓘ |
| language | German ⓘ |
| leadsTo | logical contradiction ⓘ |
| motivated |
hierarchies of languages
ⓘ
restrictions on semantic predicates ⓘ type-theoretic solutions ⓘ |
| namedAfter |
Kurt Grelling
ⓘ
Leonard Nelson ⓘ |
| problemType | vagueness and self-application in predicates ⓘ |
| relatedConcept |
Tarski undefinability theorem
ⓘ
linked to:
Tarski's undefinability theorem
semantic hierarchy ⓘ truth predicate ⓘ |
| relatedTo |
Berry paradox
ⓘ
Russell paradox ⓘ
linked to:
Russell’s paradox
liar paradox ⓘ semantic paradox ⓘ |
| timePeriod | early 20th century ⓘ |
| usesConcept |
autological adjective
ⓘ
heterological adjective ⓘ liar paradox ⓘ self-reference ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Grelling–Nelson paradox Description of subject: The Grelling–Nelson paradox is a self-referential logical paradox arising from classifying adjectives as "autological" or "heterological," leading to a contradiction when considering whether "heterological" describes itself.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Grelling–Nelson paradox