Paradoxes That No One Can Solve
Based on Pursuit of Wonder's video on YouTube. If you like this content, support the original creators by watching, liking and subscribing to their content.
Quine’s classification distinguishes paradoxes caused by wrong premises (falsitical), paradoxes that are logically valid but counterintuitive (veritical), and paradoxes that generate contradictions even under correct reasoning (antinomy).
Briefing
Paradoxes persist because they force people to follow seemingly solid premises and logic to conclusions that feel impossible—yet the “impossible” can come from different sources. Willard Van Orman Quine’s framework sorts paradoxes into three types—falsitical, veritical, and antinomies—showing that some paradoxes collapse once a hidden assumption is wrong, others are true but counterintuitive, and the hardest ones create a genuine crisis in thought.
Falsitical paradoxes look right only because they rely on flawed premises or an incorrect model of the situation. Zeno’s arrow paradox from around 400 BC is the classic example: in each isolated instant, the arrow occupies a single position, so it seems not to move; since time is made of such instants, motion would never occur. The paradox dissolves once the assumptions are corrected—treating time as divisible into finitely small “chunks” that effectively contain no elapsed duration, and defining motion as if it could be captured by abstract, dimensionless instants rather than by an object being in different places at different times.
Veritical paradoxes reach conclusions that are actually true, using correct logic and true premises, even though intuition rejects them. Bertrand Russell’s barber paradox illustrates the structure: a town has one barber who shaves all and only men who do not shave themselves. The barber cannot exist because the moment the question “does he shave himself?” is answered, the definition forces a contradiction—if he shaves himself, he violates the rule; if he doesn’t, he must be among those he shaves. The key takeaway is that a simple-sounding statement can be logically impossible even when every step is valid.
Antinomies are the most unsettling category: they produce contradictions or absurd conclusions even under correct premises and consistent reasoning, and sometimes no conceivable informational fix seems available. The most compact antinomies come from self-referential statements like “This statement is false,” which loops into mutual dependence: if it’s true, it must be false; if it’s false, it must be true. Similar problems arise with “There is no truth.” From there, the transcript broadens to large-scale antinomies—such as the Fermi paradox (high odds of extraterrestrial life versus lack of evidence), the faint young sun paradox (early Earth’s liquid water and life versus a weaker early sun), and the “why is there something rather than nothing” question about cosmic origins. Even consciousness is framed as an antinomy via the hard problem: how physical brain activity becomes a subjective felt experience.
The unresolved tension is that paradoxes may be permanently tied to the limits of human thinking. Some once “antinomical” puzzles (like Zeno’s) become falsitical with new knowledge, but it’s unclear whether that pattern will continue for most contradictions—or whether some will always remain beyond repair. The transcript ends by suggesting paradoxes might be wiring or language glitches, or possibly that all meaning-making is inherently contrived, leaving humanity to map a foggy valley of what can and cannot be comprehended. A final example reinterprets the Ship of Theseus: after accumulating summaries and audiobooks, at what point does “Sarah” become a different person, if she still feels continuous—an echo of how identity and change resist clean answers.
Cornell Notes
Paradoxes don’t all fail in the same way. Quine’s three categories—falsitical, veritical, and antinomies—separate paradoxes caused by wrong assumptions, paradoxes that are logically valid but counterintuitive, and paradoxes that generate contradictions even with correct reasoning. Zeno’s arrow paradox is falsitical because it depends on treating time and motion in a way that breaks under proper analysis. Russell’s barber paradox is veritical in the sense that the contradiction follows from a definition that can’t be satisfied. Antinomies, like “This statement is false,” create self-referential loops that seem to leave no escape route, and larger versions appear in puzzles like the Fermi paradox and the hard problem of consciousness.
What makes Zeno’s arrow paradox falsitical rather than truly paradoxical?
Why does the barber paradox show a contradiction even though the logic is consistent?
What distinguishes antinomies from the other two categories?
How do the Fermi paradox and the faint young sun paradox fit the antinomy pattern?
Why does the hard problem of consciousness resemble an antinomy?
What identity question does the Ship of Theseus reinterpretation raise?
Review Questions
- Which assumptions in Zeno’s arrow paradox are identified as the source of its failure, and how do they undermine the argument?
- How does the barber paradox force a contradiction, and why can’t the contradiction be avoided by choosing one answer to “does the barber shave himself?”
- What features of self-referential statements like “This statement is false” make them harder to resolve than falsitical or veritical paradoxes?
Key Points
- 1
Quine’s classification distinguishes paradoxes caused by wrong premises (falsitical), paradoxes that are logically valid but counterintuitive (veritical), and paradoxes that generate contradictions even under correct reasoning (antinomy).
- 2
Zeno’s arrow paradox collapses when time is treated as infinitely divisible with nonzero elapsed duration and when motion is defined relationally across different times and positions, not as a property of isolated instants.
- 3
Russell’s barber paradox shows that a seemingly straightforward definition can be logically unsatisfiable, making the existence of the barber impossible.
- 4
Antinomies often rely on self-reference, producing loops where truth and falsity depend on each other without a stable exit.
- 5
Large scientific and philosophical puzzles—like the Fermi paradox, the faint young sun paradox, and the hard problem of consciousness—can be framed as antinomy-like tensions between strong reasoning and conflicting evidence or explanatory gaps.
- 6
Paradox resolution may come with a cost: either some part of our model breaks, or our language and concepts hit limits that can’t be repaired by adding more information.