In the second half of the nineteenth century, logic awoke from a sleep of two millennia: people realised that Aristotle, with his syllogisms, had yet to have the last word on the subject. Powerful and flexible systems were developed by the English mathematician George Boole as well as by the German logician Gottlob Frege. Soon, however, logic found itself entangled in self-reference (a statement which refers to itself or its own referent). Curiously, the self-reference debate was contemporary with the discovery of quantum theory, and Austrian logician Kurt Gödel's theorem of incompleteness was proved at about the same time as the uncertainty principle, with similar effects.
One of the first thinkers to point to self-reference, while Frege's work was in press, was the British philosopher Bertrand Russell. One form of his paradox refers to a village where the barber shaves precisely those people who do not shave themselves. Who shaves the barber? In particular, does the barber shave himself?
If he does, then he is one of the people shaved by the barber, and so doesn't shave himself, a contradiction. But on the opposite assumption, we fall into the same trap.
Russell’s question has the same structure as the simpler version of self-reference often set forth: "this statement is false". We cannot maintain consistently that this statement is either true or false, since each implies the opposite.
In passing, note, too, that the more innocent-looking statement "this statement is true" has problems of its own. You can consistently maintain that it is true; but you can also consistently maintain that it is false. So you can't prove it either way.
Join the conversation