Liar paradox
"This sentence is false." True iff false.
WE DON'T DISCUSS PARADOXES. WE SOLVE THEM.
Send your own paradoxes, solutions, or comments to ZHI Systems.
Completion: 1 / 474; 0 in progress; 473 unsolved.
Browse every paradox in the compendium.
"This sentence is false." True iff false.
A Cretan says all Cretans are liars; the loose ancestor of the Liar.
"This sentence is not true," which defeats truth-value-gap fixes.
"This sentence is true." Consistent either way, hence groundless.
Two sentences each asserting the other is false; symmetry blocks any assignment.
An infinite sequence of sentences, each saying all later ones are false; paradox without any circularity.
"If this sentence is true, then P" proves arbitrary P from little more than modus ponens.
The provability-logic sibling of Curry's.
"Yields falsehood when preceded by its quotation" yields falsehood when preceded by its quotation.
Is "heterological" (not describing itself) heterological?
"The least integer not nameable in under eleven words" was just named in ten.
Diagonalizing over definable reals using definitions in ordinary language.
"This sentence is not known" — the Liar transposed into epistemic logic.
The barber who shaves all and only those who don't shave themselves. (Russell's paradox, popularized.)
His nose grows when he lies; he says "My nose is growing now."
Each side of a card denies the other.
A contingent-fee lawsuit whose verdict determines its own premise.
The crocodile will return the child iff the parent correctly predicts what it will do.
Plato will let Socrates cross iff Socrates's next utterance is true; Socrates says "You will throw me in the water."
A correct conceptual analysis is either trivial (synonymous) or false.
"It's raining, but I don't believe it's raining" — consistent yet absurd to assert.
The set of all sets not members of themselves; killed naive set theory.
The set of all sets would have a power set larger than the largest cardinal.
The set of all ordinals would be an ordinal greater than itself.
First-order set theory has countable models that internally "prove" uncountability exists.
A full hotel with infinite rooms still accommodates infinitely many new guests.
There are as many perfect squares as integers, though squares are sparse.
A solid ball can be cut into finitely many pieces and reassembled into two identical balls.
Finite volume, infinite surface area: fillable but not paintable.
Measured length grows without bound as the ruler shrinks.
Rearranged triangle pieces appear to create area from nothing.
The least uninteresting number is thereby interesting.
A true-but-unprovable sentence asserting its own unprovability.
Type-theoretic collapse when a type of all types is allowed.
The faster runner must first reach where the slower began, ad infinitum.
To go anywhere you must first go halfway, so motion never starts.
At each instant the arrow is motionless, so motion is an illusion.
Relative velocities appear to make half a time equal a whole time.
Toggled at 1, 1/2, 1/4… minutes; is it on or off at minute 2?
Add ten, remove one, infinitely often; the vase is empty at noon.
An infinite sequence of conditional killers kills without any one acting.
Divisible magnitudes must be both infinitely large and of zero size.
One grain isn't a heap; adding one never makes a heap; therefore no heap exists.
The same argument run on hairs.
Replace every plank; is it the same ship? And what if the old planks are reassembled?
Overlapping cat-candidates make cat-counting indeterminate.
Cloud boundaries are indeterminate, so there are billions of clouds where we see one.
Amputation seems to destroy the larger object rather than the smaller.
Switching doors doubles your odds.
"Random chord" has three defensible, incompatible answers.
The two-drawer coin problem; the answer is 2/3, not 1/2.
Ambiguous conditioning yields 1/2 or 1/3.
Expected-value reasoning says always switch, forever.
A game of infinite expected value that nobody would pay much to play.
Halfers versus thirders on self-locating belief.
Your birth rank as evidence for humanity's imminent end.
A trend present in every subgroup reverses when groups are pooled.
Two defensible analyses of change scores give opposite conclusions.
Selection creates spurious negative correlation.
23 people suffice for a coin-flip chance of a shared birthday.
Your friends have more friends than you do, on average.
Sampled waiting times and class sizes are systematically inflated.
Conditioning on a measure-zero event depends on the parametrization.
A green apple confirms that all ravens are black.
Evidence confirms "all emeralds are grue" as well as "green."
Rational to believe each ticket loses, irrational to believe all do.
An author rationally believes each claim in the book and that the book contains errors.
If all truths are knowable, all truths are already known.
No non-circular justification for expecting the future to resemble the past.
A highly accurate test for a rare condition still mostly yields false positives.
Reclassifying cases raises average survival in both groups.
Punishment appears to work and praise to backfire.
Evidential and causal decision theory give opposite advice.
Individually rational defection yields a collectively worse outcome.
The same logic at scale, applied to shared resources.
A group does what no member wanted.
Perfectly balanced options produce paralysis and starvation.
Observed preferences violate the independence axiom.
Ambiguity aversion violates expected utility.
The prisoner disproves the sentence, then is duly surprised.
You are paid to intend to do what you'll have no reason to do.
Backward induction forbids the deterrence everyone finds sensible.
Rationality predicts immediate defection; people cooperate for many rounds.
Iterated undercutting drives the Nash equilibrium to the minimum.
Two losing games alternated produce a winning game.
Adding a road increases everyone's travel time.
Expanding road capacity worsens commute times where transit competes.
Infinite payoff swamps any finite probability.
The same reasoning weaponized by tiny probabilities of vast utility.
Rational individuals shouldn't vote, yet voting sustains democracy.
Majority preferences can cycle: A beats B beats C beats A.
No voting rule satisfies a short list of obvious fairness conditions.
Majority voting on premises contradicts majority voting on conclusions.
Increasing House seats can reduce a state's allocation.
Apportionment anomalies of the same family.
Voting for your favorite candidate can cause them to lose.
The traveling twin returns younger; asymmetry resolves it.
Length contraction makes simultaneity frame-dependent.
A thread between identically accelerating ships snaps.
A rigid rotating disk cannot have a Euclidean geometry.
A relativistic bullet in fluid appears to both sink and float.
Superposition dragged up to macroscopic scale.
Quantum mechanics is either incomplete or nonlocal.
Two observers disagree about whether a measurement has occurred.
A continuously observed system never evolves.
Interaction-free measurement implies contradictory particle histories.
Relativistic particles tunnel through arbitrarily high barriers.
Hawking evaporation appears to destroy quantum information.
Monogamy of entanglement puts a wall of energy at the horizon.
Why is the night sky dark in an infinite, eternal universe?
If life is common, where is everybody?
Time-symmetric microphysics yields time-asymmetric thermodynamics.
Systems must eventually return arbitrarily near their initial state.
Entropy of mixing depends on whether particles are counted as distinguishable.
Sorting molecules seems to defeat the second law; information erasure saves it.
Random fluctuation observers should vastly outnumber evolved ones.
Early Earth had liquid water under a dimmer Sun.
The less massive star in a binary is the more evolved one.
Ideal fluid theory predicts zero drag on a moving body.
Concentric circles of different radii trace equal path lengths.
Fluid pressure depends on depth, not on the amount of fluid.
Stirred leaves migrate to the center, not the rim.
Which way does a submerged sprinkler turn when it sucks water in?
Hot water can freeze faster than cold.
Rigid-body friction models admit no consistent solution.
Small water-walking insects shouldn't be able to propel themselves.
Downwind craft exceeding wind speed.
Paleoclimate models conflict with proxy temperature data.
Two incompatible cosmic endings from the same physics.
Kill your grandfather and you were never born to do it.
An object or idea with no origin, looping through time.
Your attempt to prevent an event causes it.
A billiard ball knocks its earlier self off course.
Effects preceding causes in advanced-wave solutions.
Can God create a stone too heavy for God to lift?
Omnipotence, omnibenevolence, and evil cannot all hold.
Infallible foreknowledge appears to negate freedom.
You cannot search for what you don't know, nor for what you do.
Something from nothing.
Why is there something rather than nothing?
We feel real emotions for people we know don't exist.
We seek out art that makes us miserable.
Same, for fear.
Directly pursuing pleasure reliably fails to produce it.
Rewatching preserves suspense despite known outcomes.
Using a faculty to validate itself.
Physicalism seems to leave out what it is like.
Is the copy you?
Killing one to save five, and its many variants (footbridge, loop, bystander).
Total utilitarianism prefers vast populations with lives barely worth living.
The stepwise argument that generates the above.
Acts that harm no particular person still seem wrong.
Adding suffering lives can beat adding mediocre ones.
Constraints forbid you from minimizing violations of themselves.
Unlimited tolerance destroys tolerance.
Forgiveness is either unwarranted or unnecessary.
Two legal acts (asking for money, revealing a secret) combine into a crime.
We blame people for outcomes outside their control.
The majority may vote to end majority rule.
Unlimited liberty permits the strong to destroy the liberty of the weak.
The claim that nothing matters is itself asserted as mattering.
Is the pious loved by the gods because it is pious, or pious because loved?
Useless diamonds outprice essential water.
Universal saving reduces aggregate saving.
Efficiency gains increase total resource consumption.
Demand rises as price rises.
Demand rises with price because of status.
Capital-rich America exported labor-intensive goods.
Capital doesn't flow from rich to poor countries as theory predicts.
Domestic saving and investment correlate too tightly for open capital markets.
Stocks outperform bonds by more than risk aversion can explain.
Rising national income doesn't raise reported happiness.
"Computers everywhere but in the productivity statistics."
Two firms suffice to drive price to marginal cost.
Capacity constraints destroy pure-strategy price equilibrium.
A tariff lowers the domestic price of the imported good.
Interest rates track price levels rather than inflation rates.
You can't value information without being given it for free.
The strengths that made a firm succeed cause its failure.
Perfectly efficient markets destroy the incentive to make them efficient.
Individually safe withdrawals cause bank runs.
Proteins fold far faster than random search allows.
Genome size doesn't track organismal complexity.
Neither does gene count.
Whales don't get more cancer than mice despite vastly more cells.
Too many species coexist on too few limiting resources.
Female choice should exhaust the genetic variation it selects on.
Dolphins swim faster than their muscle power seems to permit.
Higher BMI associates with better survival in some patient groups.
Low heart disease despite a high-saturated-fat diet.
Better health outcomes despite worse socioeconomic indicators.
Using antibiotics undermines their effectiveness.
Adding food to an ecosystem destabilizes predator–prey cycles.
Sexual reproduction halves fitness yet dominates.
Pesticide use can increase pest populations.
More options reduce satisfaction.
Hard reasoning is easy for machines; easy perception is hard.
We know more than we can tell, so we cannot fully automate it.
The more reliable the automation, the more critical and degraded the human operator.
Confront brutal facts while retaining unwavering faith.
Customers rate you higher after you fail and fix it.
More witnesses, less help.
Competence promotes you until you are incompetent.
Suppression amplifies.
Users refuse to read manuals that would save them time.
Work expands to fill available time.
People say they value privacy and act otherwise.
Unfinished tasks occupy more attention than finished ones.
Drying 100 kg of 99%-water potatoes to 98% leaves 50 kg.
Elevators near the top always seem to be going down.
Your line is always the slow one (an inspection-paradox cousin).
A coin rolled around an identical coin turns twice, not once.
Dissection illusions.
Justification must be circular, infinite, or arbitrary.
Fully God and fully man, without division or confusion.
Three persons, one substance; neither three gods nor one mask.
The eternal enters time; reason encounters what it cannot think.
Abraham is praised for a willingness that ethics calls murder.
A God who wants relationship yet permits non-belief.
Asking an omniscient, immutable, perfectly good being to change its mind.
Salvation is unearnable, yet effort is commanded.
Why preach if the elect are already chosen?
The Fall is called fortunate because it occasioned redemption.
Infinite punishment for finite offense, imposed by infinite love.
Justice satisfied by punishing the innocent to acquit the guilty.
God's power displayed by emptying itself of power.
A perfect being cannot choose worse, so how is it free?
An eternal, timeless God performs an act with a date.
The lawgiver breaks the laws to prove authorship of them.
A God who cannot suffer is said to love.
Negative theology says God is unsayable, in words.
Prohibiting images requires an image of what must not be imaged.
The righteous suffer, and the answer given is that there is no answer for us.
Rest becomes an obligation, and mercy must break the law of mercy.
A universal love mediated by a particular and excluding creed.
Life is affirmed by surrendering it.
Liberation requires extinguishing desire, including the desire for liberation.
A vow to save all beings, taken by one who denies that beings exist.
The self must labor to discover there is no self doing the laboring.
The sound of one hand; understanding arrives by exhausting understanding.
"The Tao that can be named is not the eternal Tao," in a named book.
Achievement through non-action; effortlessness pursued effortfully.
The ineffable experience described at length and in libraries.
Setting something apart to honor it removes it from the life it sanctifies.
We are not free to be unfree.
Lying to oneself requires knowing the truth one hides.
Deliberately being authentic is a performance.
The deceiver and deceived are one mind.
Doing what one judges, at that moment, one ought not do.
Who controls the controller, and why does he lose?
"Be spontaneous!" cannot be obeyed.
Trying to fall asleep guarantees wakefulness.
Effortful unwinding.
Suppressing a thought summons it.
Examination interrupts the living it evaluates.
Unfulfilled desire is pain; fulfilled desire is boredom.
Arrival empties the aim of its meaning.
Where death is, I am not; so it can never harm me.
We dread future non-existence but not the eternity before birth.
Mourning a person who, by hypothesis, is no longer there to be wronged.
Endless life would drain life of urgency (Williams's Makropulos case).
Longing for a past that was not happy while it was present.
One changes only by ceasing to try to change.
Exposure of weakness is the source of strength.
Loosening one's grip increases one's actual command.
Closeness requires preserved separateness.
Pursuing it directly corrodes it.
Recognizing one's humility forfeits it.
Impossibly high standards produce nothing at all.
Renunciation becomes the most refined form of appetite.
Choosing, repeatedly, what one sincerely does not want.
A rational agent acting against a judgment it has not revised.
The self that promises is not the self that must perform.
Binding a future person who did not consent.
A free gift creates a debt, which unfrees the gift.
A gift recognized as a gift is already an exchange.
To welcome unconditionally, one must remain master of the house.
Only the unforgivable needs forgiving; the excusable needs none.
Trust cannot be justified in advance without ceasing to be trust.
Genuine loyalty must be capable of disobedience.
Loving someone for their qualities makes them replaceable.
Guarding a love destroys what it guards.
Being alone is bearable only for those who are securely attached.
Refusing to advise is itself an intervention.
If an act is truly best, why is it not required?
The morally perfect person would be intolerable company.
Valuing another's life above one's own devalues the giver.
Compassion presupposes the inferiority of its object.
Aid can entrench the dependence it means to relieve.
The purest gift forfeits the accountability that improves giving.
Inflicting harm to demonstrate that harm is wrong.
It can be right to threaten what it would be wrong to do.
Safety secured by a credible commitment to suicide.
Each side's defense is the other's threat.
Refusing violence permits the violent.
Rules of restraint may prolong the killing they civilize.
The good politician must sometimes do wrong to govern well.
Sovereignty is violated to defend the rights sovereignty protects.
Civilians are starved to inconvenience a ruler who eats.
We congratulate ourselves using standards our descendants will condemn.
Asserted absolutely, it refutes itself.
Everyone is guilty, so no one is.
More witnesses, less help.
Letting die is treated as lesser than killing, with identical outcomes.
Doing good today licenses doing worse tomorrow.
Sincere virtue becomes suspect once display is profitable.
Treating others as you wish imposes your preferences on them.
Overriding a person's choices in the name of their autonomy.
Consent is shaped by the very system it is asked to legitimate.
Caring labor is indispensable and therefore unpriced.
We owe duties to people whose existence our choices decide.
Maximizing good may require abandoning those near you.
The most scrupulous feel guiltiest; the culpable feel least.
Admitting fault can function as a way of retaining it.
A power that makes the law cannot itself be bound by it.
The sovereign is defined by the power to suspend the order that defines him.
The people authorize the constitution that first constitutes "the people."
Good laws require a good people, who require good laws.
Can an amendment rule be used to repeal itself?
Binding obligation from an agreement nobody signed.
An illegal act founds the legality that judges it.
It devours its own children.
Breaking the law to affirm the rule of law.
The majority may vote to abolish majority rule.
Grievance intensifies as conditions improve.
Concessions accelerate rather than defuse revolt.
The master's recognition is worthless because it comes from a slave.
The most powerful man is the least free.
Holding it requires courting those you rule.
Organizations formed for democracy generate ruling elites.
Representing a people that only exists once represented.
Unanimity requirements block the action they exist to legitimate.
Rules written to eliminate arbitrariness create new arbitrariness.
A measure ceases to be a good measure once it becomes a target.
The same, in social policy, with corruption included.
More disclosure often lowers trust.
Being watched shifts effort from the work to the record of it.
Experts underperform simple rules while enjoying more confidence.
Secret law cannot guide the conduct it governs.
Freedom is defended by the apparatus of its erosion.
Suppression advertises.
The named case of the above.
It works only while its audience denies it is working.
Freedom includes the freedom to destroy the conditions of freedom.
Respect for all cultures includes cultures that respect no others.
Belonging is offered on the condition of ceasing to be who arrived.
A universal form of feeling with an exclusively particular content.
Solidarity strong enough to redistribute may require a boundary.
Identical treatment of unequal people entrenches inequality.
Success justified by merit produces a hereditary elite.
Race is used to arrive at a society where race is not used.
Rights are claimed against the state that must guarantee them.
Shared interest does not produce shared effort.
Rational abstention undermines what everyone rationally wants.
Universal support for housing, universal opposition to housing here.
Emergency both suspends legitimacy and manufactures it.
Visible measures reassure precisely by not working.
Betrayal is the highest form of loyalty to the institution.
Only the powerless fool may speak the truth to power.
The first case decided under a common-law rule has no precedent.
Law rules only through the discretion of persons.
Legality claims obedience it may not deserve.
Truth is served by an official falsehood.
A standard defined by a person who has never existed.
Maintained sincerely up to the moment of conviction.
Jurors may lawfully refuse to apply the law.
The trial right is preserved by punishing those who exercise it.
Torture produces speech, and thereby destroys evidence.
Silence protected, and universally read as guilt.
Life's sanctity asserted by ending one.
Monopoly granted in order to enlarge the commons.
Incentives to invent that make invention infeasible.
A person that cannot be imprisoned or die.
Individually visible acts become a violation in aggregate.
Consent to terms no one has read or can alter.
Justice expires so that justice remains possible.
Peace bought by declining to do justice.
Truth commissions trade punishment for testimony.
Judgments are subjective, yet some critics are simply better.
We pay to feel grief. (Volume I lists this; here as the root of the family.)
Terror contemplated at a safe distance yields pleasure.
The performer must feel nothing to make an audience feel everything.
Purging emotion by inducing it.
Beautiful depictions of repellent things.
A physically identical canvas is worth nothing.
Reproduction democratizes art by destroying what made it worth reproducing.
Novelty is legible only against a tradition it departs from.
Institutionalized rebellion; the museum of the anti-museum.
Art created by nothing but the declaration that it is art.
Smashing images produces the era's most memorable images.
Preservation requires exclusion.
The artist is the last authority on the work.
Reality is staged in order to be truthfully shown.
Convincing fiction is achieved by artifice, not accuracy.
We learn the truth from a source stipulated to be false.
Knowing the ending often deepens the experience.
Tension survives certainty about the outcome.
Incompletion becomes the source of its power.
Sincere feeling, deployed so efficiently it becomes false.
Pain, correctly timed, is pleasure.
Objects are honored by removal from the life that gave them meaning.
Preserving an artifact requires replacing it.
A language only I could understand could not be a language.
Nothing in my past fixes what "following the rule" now requires.
All behavioral evidence is compatible with incompatible translations.
Pointing presupposes knowing what is being pointed at.
A literal falsehood that communicates a truth nothing literal can.
Meaning is conveyed by asserting its opposite and being understood.
Saying nothing is often the most emphatic statement.
Each polite term acquires the stigma of what it replaced.
Terms adopted for precision produce systematic obscurity.
A message informs only to the extent that it was not expected.
The content of a medium distracts from the medium, which is the real message.
Natural speech cannot be recorded, because recording it makes it unnatural.
Studying a behavior changes it.
The prediction causes the event.
The prediction prevents the event, and so is false.
Contradictory demands where noticing the contradiction is also forbidden.
Prescribing the symptom relieves it.
Placebos work when patients are told they are placebos.
Warning of side effects produces them.
Unprecedented access to data, declining shared knowledge.
Personalization narrows the person it serves.
Content is free because you are what is sold.
Spontaneity, professionally manufactured.
The condition of free speech and of its worst abuses.
Continuously in touch and increasingly alone.
Ancient customs are usually recent inventions.
Advance achieved by returning to a lost antiquity.
Reason, pressed to its conclusion, produces new myth and new terror.
Every document of civilization is a document of barbarism.
Ideals of liberty developed most vigorously in a slave society.
The conquests that build an empire generate the burdens that destroy it.
The past is judged by standards it made possible.
The wilderness that formed a national character is destroyed by settling it.
Prosperity dissolves the discipline that produced it.
Recording everything is a mode of forgetting.
Every act of recall rewrites what is recalled.
Explaining what happened requires imagining what did not.
Work expands to fill the time available.
A century of automation, no gain in leisure.
Efficiency creates the demand that consumes the time saved.
Gatherings held to make decisions prevent decisions.
Retaining control requires surrendering it.
The qualities that start a company wreck it at scale.
Serving your best customers correctly leads to your destruction.
Universal adoption eliminates the advantage.
Safety equipment causes riskier behavior.
Insurance against a risk increases the risk (moral hazard).
Backups breed the complacency that defeats them.
Complexity added for safety guarantees unforeseeable failure.
The more reliable the system, the less capable its human supervisor.
What a child does effortlessly defeats machines; what a grandmaster does yields easily.
We know more than we can say, so we cannot instruct a machine to do it.
We must specify values we have never successfully articulated.
Passing it may measure our credulity rather than the machine's mind.
A key for the good guys is a key.
Security requirements produce sticky notes.
Private, uncompensated labor produces the world's public infrastructure.
Managing the system consumes the time it recovers.
Flexibility that abolishes the boundary it was meant to protect.
Rigid procedure is what enables expert judgment.
The student must already grasp something to recognize the lesson.
The wisest man is the one who knows that he knows nothing.
No one does wrong willingly; all vice is ignorance.
Expertise makes it impossible to model the novice.
Measuring learning reliably distorts what is learned.
Universal degrees devalue the degree and raise its necessity.
It ends up testing the ability to take exams.
No teacher, and therefore no way to detect one's own gaps.
Intellectual freedom is produced by constraint.
The books that change you most are the ones you were not ready for.
Mastery consists in recovering the ignorance one started with.
Crossing fields requires standing in one.