Barber of Seville: Who Shall Shave the Barber?

  • Thread starter Thread starter Simfish
  • Start date Start date
AI Thread Summary
The discussion centers on the self-referential paradox known as the Barber of Seville, which states that the barber shaves all men in Seville who do not shave themselves. The contradiction arises when considering whether the barber can shave himself; if he does, he violates the rule, and if he doesn't, he must shave himself. Participants clarify that the phrasing implies the barber cannot be both a shaver and a shaven individual simultaneously. Some suggest that the paradox only exists under strict logical frameworks, while others humorously propose that the barber could be a woman, thus resolving the contradiction. Ultimately, the paradox highlights the complexities of self-reference in logical statements.
Simfish
Gold Member
Messages
811
Reaction score
2
"Let the barber of Seville shave every man of Seville who does not shave himself.
Who shall shave the barber?"

So my book says that this is self-contradictory. but how?

From my reading of it, it's just that the barber of Seville shaves every man in Seville who doesn't shave themselves. Well the barber doesn't have to shave himself (or he could shave himself). So then someone else can shave the barber along with every man of Seville (and those who do not shave themselves can be shaved twice...)
 
Physics news on Phys.org
Simfish said:
"Let the barber of Seville shave every man of Seville who does not shave himself.
Who shall shave the barber?"

So my book says that this is self-contradictory. but how?

From my reading of it, it's just that the barber of Seville shaves every man in Seville who doesn't shave themselves. Well the barber doesn't have to shave himself (or he could shave himself). So then someone else can shave the barber along with every man of Seville (and those who do not shave themselves can be shaved twice...)

If the barber is shaving others then others is not "himself". He cannot shave himself because he shaves those who don't shave themselves. Since he must shave those that don't shave themselves he must shave himself.

To your answer:
Note that it says "the barber" not "a barber" as was often the case in days past. If someone else shaves the barber he didn't shave himself therefore it violated the rule that the barber shave those that don't shave themselves. The act of shaving himself is a violation of the rule that he shaves those that don't shave themselves.

The self-contradiction is only a problem when formulated under strict rule sets, which is what mathematics is.
 
Of course, there is no contradiction- the barber of Seville is a woman!

Also a more precise wording would be "The barber of Seville shaves every man in Seville who does not shave himself and does not shave any man who does shave himself. If we assume that the barber is a man in Seville then
1) He cannot shave himself because he "does not shave any man who does shave himself".
however,
2)he also cannot NOT shave himself because he "shaves every man in Seville who does not shave himself".
 
Last edited by a moderator:
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Replies
36
Views
18K
Replies
51
Views
8K
Replies
35
Views
5K
Replies
92
Views
9K
  • Poll Poll
Replies
17
Views
2K
Replies
21
Views
2K
Back
Top