Barber paradox
E13607
illustration of Russell's paradox
logical paradox
philosophical puzzle
self-referential paradox
thought experiment
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.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Barber paradox canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T124575 — 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: Barber paradox Context triple: [Russell’s paradox, relatedTo, Barber paradox]
-
A.
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.
-
B.
On Contradiction
"On Contradiction" is a 1937 philosophical essay by Mao Zedong that systematically applies and develops Marxist dialectical materialism to analyze the nature and role of contradictions in social and historical processes.
-
C.
Russell
Russell is a common English surname most famously associated with legendary Boston Celtics basketball player and civil rights activist Bill Russell.
-
D.
Bertrand
Bertrand is a masculine given name most famously associated with the British philosopher, logician, and Nobel laureate Bertrand Russell.
-
E.
Kasner
Kasner is the birth surname of former German chancellor Angela Merkel, reflecting her family name before marriage.
- 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: Barber paradox Target entity description: 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.
-
A.
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.
-
B.
On Contradiction
"On Contradiction" is a 1937 philosophical essay by Mao Zedong that systematically applies and develops Marxist dialectical materialism to analyze the nature and role of contradictions in social and historical processes.
-
C.
Russell
Russell is a common English surname most famously associated with legendary Boston Celtics basketball player and civil rights activist Bill Russell.
-
D.
Bertrand
Bertrand is a masculine given name most famously associated with the British philosopher, logician, and Nobel laureate Bertrand Russell.
-
E.
Kasner
Kasner is the birth surname of former German chancellor Angela Merkel, reflecting her family name before marriage.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
illustration of Russell's paradox
ⓘ
logical paradox ⓘ philosophical puzzle ⓘ self-referential paradox ⓘ thought experiment ⓘ |
| assumes |
The barber shaves all those who do not shave themselves
ⓘ
The barber shaves no one who shaves himself ⓘ |
| basedOn |
Russell’s paradox
ⓘ
surface form:
Russell's paradox
|
| category |
paradoxes of self-reference
ⓘ
semantic and logical paradoxes ⓘ |
| demonstrates |
inconsistency of the defining condition for the barber
ⓘ
paradox arising from self-application of a rule ⓘ |
| expressedIn | natural language ⓘ |
| formalizableAs |
question whether the barber is a member of that set
ⓘ
set of all people in the village who do not shave themselves ⓘ |
| hasDidacticPurpose |
to make Russell's paradox more intuitive
ⓘ
to show how paradoxes can arise from everyday descriptions ⓘ |
| hasDomain | village of people and a barber ⓘ |
| hasFormulation | There is a barber who shaves all and only those who do not shave themselves ⓘ |
| hasKeyQuestion | Does the barber shave himself? ⓘ |
| hasRole | barber who shaves certain people ⓘ |
| hasStructure | self-membership analogue in everyday language ⓘ |
| illustrates |
Russell’s paradox
ⓘ
surface form:
Russell's paradox
limits of naive set theory ⓘ logical contradiction ⓘ problems with unrestricted comprehension ⓘ self-reference problem ⓘ set-theoretic inconsistency ⓘ |
| involvesConcept |
existence of objects satisfying given conditions
ⓘ
logical consistency ⓘ membership conditions ⓘ self-shaving ⓘ |
| leadsTo | contradiction when asking whether the barber shaves himself ⓘ |
| relatedTo |
Russell’s paradox
ⓘ
surface form:
Russell's paradox
foundations of mathematics ⓘ liar paradox ⓘ naive set theory ⓘ philosophy of logic ⓘ self-referential definitions ⓘ set of all sets that do not contain themselves ⓘ |
| resolution | no such barber can exist under the given conditions ⓘ |
| shows |
need for restrictions on set or property formation
ⓘ
not every description determines a possible object ⓘ some apparently simple conditions are inconsistent ⓘ |
| usedIn |
introductory logic teaching
ⓘ
philosophy education ⓘ popular explanations of Russell's paradox ⓘ |
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: Barber paradox Description of subject: 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.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.