The Liar Paradox

Consider the sentence: “This statement is false.” It is only four words, but it creates a problem that has troubled philosophers and logicians for centuries. Suppose the sentence is true.

If it is true, then what it says must be correct. But it says that it is false. So if it is true, it is false.

Now suppose it is false. If the statement “This statement is false” is false, then the statement must actually be true. Again, we move in a circle. This is the Liar Paradox.

Versions of the paradox are very old. The ancient Greek tradition already contained puzzles about people declaring their own statements false. The modern form is especially interesting because the sentence refers directly to itself. The problem forces us to ask what “true” and “false” really mean when language can talk about itself.

Several approaches have been developed to deal with this kind of problem. Some logical systems separate different levels of language so a statement cannot freely make truth claims about itself. Other approaches allow more than the two traditional truth values, or treat certain self-referential statements as not having an ordinary truth value.

I do not think the most interesting part is choosing one final solution. The interesting part is seeing how quickly everyday ideas become difficult. We use the words true and false constantly. They feel simple. Then one tiny sentence shows that the rules become much more complicated when self-reference enters the picture.

The Liar Paradox is a reminder that language is not only a tool for describing problems. Sometimes language creates the problem.