In article , "Jon Danniken" wrote:
HeyBub wrote:

Given: There is a male barber in a small town that shaves every man
in the town who does not shave himself.

Question: Who shaves the barber?

There are three possibilities:
* He shaves himself,
* He isn't shaved at all.
* Someone else shaves him.

All three possibilities violate the given condition.

Not the first two, according to the syntax provided in your "given"
statement".

The second one does indeed violate the given condition: if the barber isn't
shaved at all, then he is part of the set of "every man in town who does not
shave himself" and therefore *is* shaved by the barber -- a contradiction.