The Paradoxes That Shook Logic — the Liar and Russell

Logic looks utterly solid and unshakable. Yet if you peek into its history, there are several moments when the ground lurched because of a single sentence or a single set. What shook it was not some abstruse theorem, but a short sentence even a child could utter — a paradox.

In this article let us look at two famous paradoxes that decisively pushed forward the rebuilding of logic into a system of symbols and rules. No difficult symbols. Just relax and savour the question, “why did such a short sentence trouble grown adults so much?”

“This Sentence Is False”

Let us start with the most famous paradox, one that goes back to ancient Greece. Read the following single sentence slowly.

“This sentence is false.”

Is this sentence true, or is it false? If it is true, then what it says — “this sentence is false” — holds, so the sentence must be false. Conversely, if it is false, then “this sentence is false” does not hold, so the sentence must be true. Set it to true and it becomes false; set it to false and it becomes true — round and round it goes, never settling on either.

The trick lies in self-reference. The sentence speaks about “itself” rather than about anything else. Ordinarily we naively believe “it must be either true or false.” But this single sentence neatly shows that this naive trust does not hold unconditionally.

Collecting Every Set That Doesn't Contain Itself

The Liar paradox was about “sentences.” The person who carried it into the world of “sets” and truly shook early-twentieth-century mathematics was Bertrand Russell. It was 1901.

At the time it was naively believed that “whatever property you think of, gathering everything that satisfies it forms a set” — for example “all red things” or “all even numbers.” Russell threw a twisted property into this.

the set $R$ of all sets that do not contain themselves as a member

Most sets do not contain themselves. For instance, the set of “all books” is not itself a book, so it does not contain itself. The set of “all even numbers,” too, is a set and not an even number, so it likewise does not contain itself. $R$ is the bag holding every such “ordinary” set. Now the question — does this $R$ contain itself?

If $R$ contains itself, then $R$ ought to be one of the “sets that do not contain themselves,” yet it contains itself — a contradiction. Conversely, if $R$ does not contain itself, then $R$ is exactly a “set that does not contain itself,” so it qualifies to be in $R$, and its absence is a contradiction. Either way we reach a contradiction. The same vicious circle as the Liar paradox now occurred in set theory, the very foundation of mathematics.

How the Shaken Ground Was Rebuilt

Here is where it gets interesting. Mathematicians did not toss the paradoxes aside as “a nuisance”; they took them seriously and rebuilt the foundations.

What came under scrutiny were the hitherto unquestioned naive assumptions that “every word has meaning unconditionally” and “every property has a corresponding set.” What the paradoxes taught was that we must decide in advance what counts as a statement, what counts as a set, and which rules of inference are allowed.

Thus the movement accelerated to sharply separate “how symbols may be arranged (syntax)” from “what they mean (semantics),” and to rebuild inference as a system of rules. The formalization of logic by Frege and Peano had already begun before the paradoxes, but the paradoxes made its necessity plain to everyone and settled the direction. Stop relying on naive intuition, and begin the discussion only after declaring which operations are permitted — much of the style of today's mathematical logic was shaped as a response to these paradoxes. On the set-theory side, too, the assumption that “every property has a set” was replaced by careful axioms, so that monsters like $R$ cannot be formed in the first place.

Paradoxes Are Not Enemies but Signposts

A paradox sounds like a “bug” or a “pitfall” in logic. But seen another way, there is no kinder signpost. A paradox pokes, right where it hurts most, at the assumptions we unconsciously hold.

“True or false is always decided,” “every property has a set,” “words always have meaning” — assumptions we never even notice are flushed out by a single sentence. Logic is carefully built as a system of symbols and rules not out of fussiness, but as a device to keep us from stepping twice on the pain that naivety invited.

Closing — the Weight of a Short Sentence

“This sentence is false.” “Collect every set that does not contain itself.” Each fits on a single line. And yet that one line shook the foundations of mathematics and forced logic to be rebuilt into a precise system of symbols and rules. A paradox is the smallest and sharpest mirror by which logic looks back at itself.

So how do we build a foundation that does not wobble? The journey of the introduction begins precisely from the response to the paradoxes — separating “the manipulation of symbols (syntax)” from “what they mean (semantics).” The next step is Syntax and Semantics, which takes up that very distinction head-on. Once you have firmed up the foundation, continue at the basic level, assembling the rules of proof one by one with your own hands.