(October 22, 2013 at 1:35 am)Sejanus Wrote: Suppose there is a town with only one barber. The barber shaves every man in the town who does not shave himself, and every man who shaves himself is not shaved by the barber. Does the barber shave, and if so, who shaves him?
The barber is male (implied by 'who shaves him').
The barber does not shave himself (that would contradict 'every man who shaves himself is not shaved by the barber')
The barber does not shave (as him being shaved by someone else, or shaving himself would be contradictory to the premise)
Conclusion: The barber does not shave.