← Back to Library

The liar paradox - an explanation of the paradox from 400 bce

Jeffrey Kaplan doesn't just explain a 2,400-year-old logic puzzle; he dismantles the most common modern solution to it, revealing why our intuitive understanding of truth might be fundamentally broken. While most pop-philosophy stops at the cleverness of the paradox itself, Kaplan pushes into the uncomfortable realization that banning self-reference won't save us from logical collapse. This is essential listening for anyone who assumes that language can cleanly describe reality without generating contradictions.

The Trap of Simple Solutions

Kaplan begins by grounding the audience in the classic formulation: a sentence that declares its own falsehood. He walks through the inevitable contradiction where a true statement must be false, and a false statement must be true. "If this sentence is true, then we look at what the sentence says and what it says about itself is that it's false, so if it's true then it's false and that's a contradiction," Kaplan writes. This is the bedrock of the problem, a loop that defies the standard binary of true or false.

The liar paradox - an explanation of the paradox from 400 bce

The author then explores the tempting escape route: introducing a third category for sentences that are "neither true nor false." This seems like a clean fix until Kaplan introduces the "strengthened liar sentence." By simply swapping the word "false" with "not true," the paradox regenerates instantly. "Being neither true nor false is one version of being not true and the sentence says that it's not true, so if the sentence is neither true nor false well then this is accurate," he explains. The moment we try to categorize the sentence as "not true," the logic forces it to be true, recreating the contradiction. This is a devastatingly effective critique of gap theories; it shows that the problem isn't just about the word "false," but about the very structure of truth claims.

If you've ever heard of this other Paradox Russell's Paradox... you might have noticed that these two paradoxes though different have something very important in common: they both seem to result from self-reference.

The Illusion of Banning Self-Reference

Many thinkers attempt to resolve the issue by declaring that sentences cannot refer to themselves. Kaplan dismantles this strategy with surgical precision. He first demonstrates how one can name a sentence (calling it "Fribble") to avoid the phrase "this sentence," only to show that the name is just shorthand for the sentence itself, leading to an infinite regress of definitions. But his most powerful move comes when he proves that self-reference isn't even necessary to create the paradox.

Kaplan constructs a scenario with two sentences that refer to each other in a circle: one claims the other is false, and the second claims the first is true. "This is false and this sentence which is about this one says that it's false and so this sentence is true like no problem," he notes, before revealing the trap. When you trace the logic of this pair, you hit the exact same wall of contradiction as the single self-referential sentence. "The problem of course comes from this kind of circular thing but it's not really a problem for self-reference," Kaplan argues. "Any attempt to ban self-reference from our language in order to prevent liar sentences from arising that's doomed to failure."

Critics might note that some logicians have successfully developed formal systems that strictly limit circular reference, but Kaplan's point stands for natural language: we cannot simply edit our way out of the problem without losing the ability to speak naturally about our own statements. The circularity is a feature of how we use language, not a bug we can patch.

The Deep Crisis of Truth

Having eliminated the easy outs, Kaplan forces the reader to confront the real cost of the paradox. We are left with a choice between two deeply unpalatable options. The first is to abandon the "T-schema," the intuitive rule that allows us to say "'P' is true" whenever we can say "P." "One way to get out of the liar Paradox is just to drop this but that seems crazy," Kaplan admits. The second option is to abandon classical logic entirely, moving toward "dialetheism" or other non-standard systems that accept contradictions as true.

He frames this not as a niche academic debate but as a live, active crisis in how we understand reality. "The point is that this is an area of live and active debate today in philosophy and logic," he concludes, grounding his analysis in the work of scholars like Tim Maudlin and Ethan Jerzak. The implication is stark: our standard tools for distinguishing truth from falsehood may be insufficient for the complexity of self-referential systems.

The liar Paradox shows that there is a deep problem with one of two things: first our notion of Truth itself... or the other way out might be worse and that's to abandon classical logic.

Bottom Line

Kaplan's strongest contribution is his demonstration that the paradox is resilient; it survives every attempt to patch it with semantic workarounds or structural bans. The argument's greatest vulnerability is that it offers no solution, leaving the reader with a profound sense of logical vertigo. However, that is precisely the point: the paradox is not a riddle to be solved, but a mirror reflecting a fundamental instability in our concept of truth. Watch for how emerging fields in computer science and AI grapple with these same circularity issues, as the stakes move from abstract philosophy to the code that runs our world.

Sources

The liar paradox - an explanation of the paradox from 400 bce

by Jeffrey Kaplan · Jeffrey Kaplan · Watch video

the liar Paradox is very simple and very old it goes back at least to the year 2265. you say you are lying but if everything you say is a lie then you are telling the truth illogical Boy the original Star Trek from the 60s was wild huh come on spark I know that look okay the liar Paradox in the real back at least you book philosopher and student of Euclid in the 4th Century BCE that's the year negative 400. this sentence is false what do we make of a sentence like this is it true well when a sentence is true you look at what the sentence says suppose that there's a sentence in here and we know that this sentence whatever it is true well we look at what that sentence says the ship is on fire so if the sentence is true then the ship is on fire back to the liar sentence if this sentence is true well then we look at what the sentence says and what it says about itself is that it's false so if it's true then it's false and that's a contradiction so this option is out so then the sentence is false right well the sentence says that it's false and so if this claim here is itself false then it's false that it's false which means it's true and that's a contradiction or another way to put this is just that the claim of the sentence the claim that the sentence is false well that claim is false so it's false that it's false okay well if it's false that it's false then it's not false so this sentence is not true it's not false what if we say that it's both true and false unfortunately that's not going to work because in order to be both of two things you have to be each of them individually to make an analogy if a character is not well written and it's not well acted then it definitely can't be both well written and well acted as we all know the greatest Captain was Jean-Luc Picard William Shatner is old and Rich enough that he's not going to care he's not going to sue me that's why it can't be both we've already eliminated for example true so it can't be both true and anything else so ...