Search/Recent Changes
DBTropes
...it's like TV Tropes, but LINKED DATA!

Liar's Paradox

 Liar's Paradox
type
FeatureClass
 Liar's Paradox
label
Liar's Paradox
 Liar's Paradox
page
LiarsParadox
 Liar's Paradox
comment
A presumed liar gives a statement declaring that they are currently lying: "I am lying", "this is a lie". However, in doing so they create a paradox, as under the assumption that they are lying, that means what they just said is a lie and therefore they are in fact telling the truth. While the assumption that they are truthful means they are once again lying... and the cycle keeps on going.
This is known as the Liar's Paradox. A variant can be done with two people, where Alice states Bob is a liar, while Bob states Alice is telling the truth. Be careful about phrasing this. A variant like "Everything I say is a lie" is not a paradox (instead, one can deduce that not everything I say is a lie, but this particular statement is, which is logically sound).
Its most famous early formulation is ascribed to the Greek philosopher Epimenides, who came from Crete and said "All Cretans are liars". This version has a logical out (if it is untrue, then the implication is not "All Cretans tell the truth" but "Not all Cretans are liars but this one is"). The stronger version was formulated by the Greek philosopher Eubulides of Miletus, and indepently by the Indian philosopher Bhartrhari.
In early works it was often used as a Mind Screw for readers and viewers. However, as it became popularized in fiction, it became the standard-issue Logic Bomb for heroes to use against computers and robots due to the endless paradox loop.
Most instances of the Liar's Paradox involve either a Self-Proclaimed Liar or a Knights and Knaves problem.
Contrast Beware the Honest Ones and Crying Wolf. See also That Liar Lies.

Examples
 Liar's Paradox
fetched
2024-04-03T11:38:46Z
 Liar's Paradox
parsed
2024-04-03T11:38:46Z
 Liar's Paradox
processingComment
Dropped link to DeletedScene: Not an Item - FEATURE
 Liar's Paradox
processingComment
Dropped link to Devo: Not an Item - IGNORE
 Liar's Paradox
processingComment
Dropped link to LawfulStupid: Not an Item - FEATURE
 Liar's Paradox
processingComment
Dropped link to NickLowe: Not an Item - IGNORE
 Liar's Paradox
processingComment
Dropped link to TheCasanova: Not an Item - FEATURE
 Liar's Paradox
isPartOf
DBTropes
 Liar's Paradox / int_2365cd7a
type
Liar's Paradox
 Liar's Paradox / int_2365cd7a
comment
Plan 7 of 9 from Outer Space. Captain Proton tries the old "the next thing I say is a lie" trick on a Killer Robot only to have it smack him in the chops.
 Liar's Paradox / int_2365cd7a
featureApplicability
1.0
 Liar's Paradox / int_2365cd7a
featureConfidence
1.0
 Plan 7 of 9 from Outer Space (Fanfic)
hasFeature
Liar's Paradox / int_2365cd7a
 Liar's Paradox / int_3fbd173e
type
Liar's Paradox
 Liar's Paradox / int_3fbd173e
comment
Sam Starfall of Freefall boasts that he's the greatest liar in the world in the Monday 2 November 1998 strip. When Helix queries how that claim can be verified, Sam's response is, "You'll just have to trust me."
 Liar's Paradox / int_3fbd173e
featureApplicability
1.0
 Liar's Paradox / int_3fbd173e
featureConfidence
1.0
 Freefall (Webcomic)
hasFeature
Liar's Paradox / int_3fbd173e
 Liar's Paradox / int_499a0e5e
type
Liar's Paradox
 Liar's Paradox / int_499a0e5e
comment
In a Minecraft: Story Mode episode, "Access Denied", Jesse and several others are captured by a supercomputer named PAMA. Jesse notices that PAMA stalls whenever processing so he uses a paradox to loop it. One of the options to choose from is a Liar's Paradox.
 Liar's Paradox / int_499a0e5e
featureApplicability
1.0
 Liar's Paradox / int_499a0e5e
featureConfidence
1.0
 Minecraft: Story Mode (Video Game)
hasFeature
Liar's Paradox / int_499a0e5e
 Liar's Paradox / int_5755b96a
type
Liar's Paradox
 Liar's Paradox / int_5755b96a
comment
In The Order of the Stick, when Roy admits to Belkar that he lied to him in order to have him assist with his sidequest to acquire Starmetal for his sword, Belkar throws this trope at him by stating that he doesn't believe him. Of course, he was likely just busting Roy's chops.
 Liar's Paradox / int_5755b96a
featureApplicability
1.0
 Liar's Paradox / int_5755b96a
featureConfidence
1.0
 The Order of the Stick (Webcomic)
hasFeature
Liar's Paradox / int_5755b96a
 Liar's Paradox / int_64561e80
type
Liar's Paradox
 Liar's Paradox / int_64561e80
comment
Poker Night 2: Claptrap has a conversation about these with GlaDOS and Sam, and ends up falling into one of these after Sam gives an example.
 Liar's Paradox / int_64561e80
featureApplicability
1.0
 Liar's Paradox / int_64561e80
featureConfidence
1.0
 Poker Night 2 (Video Game)
hasFeature
Liar's Paradox / int_64561e80
 Liar's Paradox / int_78e1be24
type
Liar's Paradox
 Liar's Paradox / int_78e1be24
comment
"Opposites Day" by Lloyd Cole has two occurrences of the two-sentence variant ("The next line is the truth| The last line was a lie" and later "The next line is a lie|This one is the truth"), both being equivalent to the standard paradox.
 Liar's Paradox / int_78e1be24
featureApplicability
1.0
 Liar's Paradox / int_78e1be24
featureConfidence
1.0
 Lloyd Cole (Music)
hasFeature
Liar's Paradox / int_78e1be24
 Liar's Paradox / int_9a7088bc
type
Liar's Paradox
 Liar's Paradox / int_9a7088bc
comment
In Star Trek: The Original Series, during the episode "I, Mudd", Captain Kirk and Harry Mudd use a liar's paradox to set off a Logic Bomb in an android holding them captive.
 Liar's Paradox / int_9a7088bc
featureApplicability
1.0
 Liar's Paradox / int_9a7088bc
featureConfidence
1.0
 Star Trek: The Original Series
hasFeature
Liar's Paradox / int_9a7088bc
 Liar's Paradox / int_a895e9d3
type
Liar's Paradox
 Liar's Paradox / int_a895e9d3
comment
In Portal 2, GLaDOS is afraid of the terrible effects this paradox can have in artificial intelligence. In fact, she uses this against Wheatley in an attempt to drive him insane. Unfortunately for her, he's too dumb to understand the paradox whereas even his "frankenturrets" are not.
 Liar's Paradox / int_a895e9d3
featureApplicability
1.0
 Liar's Paradox / int_a895e9d3
featureConfidence
1.0
 Portal 2 (Video Game)
hasFeature
Liar's Paradox / int_a895e9d3
 Liar's Paradox / int_a993be1f
type
Liar's Paradox
 Liar's Paradox / int_a993be1f
comment
Knights of the Old Republic II: The Sith Lords: On Korriban, you find a computer terminal that has a test for trainee Sith which has the question "Which of these is not a paradox?" One of the answer choices is "I always lie." It's also the correct answer thanks to Exact Words (and if the player thinks in terms of first order /predicate logic instead of propositional logic). The negation of the statement isn't "I never lie" (which is the case in propositional logic and which would cause the paradox), but "I don't always lie," (in first order logic, trying to negate sentence with universal quantifier will result in negative sentence with existential quantifier. In this case, "always" is universal quantifier) which doesn't tell us anything about whether the subject is currently lying or not, and if the subject ever told the truth even once (which is likely), then the statement is just plain false, not a paradox.
 Liar's Paradox / int_a993be1f
featureApplicability
1.0
 Liar's Paradox / int_a993be1f
featureConfidence
1.0
 Knights of the Old Republic II: The Sith Lords (Video Game)
hasFeature
Liar's Paradox / int_a993be1f
 Liar's Paradox / int_ace263fa
type
Liar's Paradox
 Liar's Paradox / int_ace263fa
comment
In the second Deltora Quest book, "Lake of Tears", when Lief gets given a riddle by a Bridge Guardian and tricked into the wrong answer, the guardian presents another game to decide his method of death. Lief will say a statement, if it was true then the guardian would strangle Lief, if it was false he would cut his head off with his sword. Lief opts to Taking a Third Option and responds with the statement "You will cut off my head." It's then revealed the guardian was cursed by Thaegan the sorcerer to guard the bridge "until truth and lies become one", so Lief's liar's paradox sets him free and he reverts to the form of an eagle.
 Liar's Paradox / int_ace263fa
featureApplicability
1.0
 Liar's Paradox / int_ace263fa
featureConfidence
1.0
 Deltora Quest
hasFeature
Liar's Paradox / int_ace263fa
 Liar's Paradox / int_c43df4d8
type
Liar's Paradox
 Liar's Paradox / int_c43df4d8
comment
In Doctor Who, during the story "The Green Death", the Third Doctor manages to stump an insane computer called BOSS with the question "If I were to tell you that the next thing I say would be true, but the last thing I said was a lie, would you believe me?" However after some looping, BOSS decides the question was irrelevant.
 Liar's Paradox / int_c43df4d8
featureApplicability
1.0
 Liar's Paradox / int_c43df4d8
featureConfidence
1.0
 Doctor Who
hasFeature
Liar's Paradox / int_c43df4d8
 Liar's Paradox / int_cb6abea3
type
Liar's Paradox
 Liar's Paradox / int_cb6abea3
comment
Done in Yu-Gi-Oh! by 2 appropriately named Trickster Twins Para and Dox. The heroes have to choose the correct door to exit. The brothers claim one of them tells the truth and one lies, and the heroes will have to figure out which is which in order to ask the right one which door is correct. The Pharoah realizes it's a trap; since they've both said the same thing, they can't be one liar and one truthful — the only way they could both make that claim is if they're both lying. He's right, but he beats them at their own game using a Two Sided Coin to get them to open the right door.
 Liar's Paradox / int_cb6abea3
featureApplicability
1.0
 Liar's Paradox / int_cb6abea3
featureConfidence
1.0
 Yu-Gi-Oh!
hasFeature
Liar's Paradox / int_cb6abea3
 Liar's Paradox / int_cfd91008
type
Liar's Paradox
 Liar's Paradox / int_cfd91008
comment
Parodied and subverted in the Eighth Doctor Adventures novel Frontier Worlds, in which the Doctor tries the Liar's Paradox on a security robot, which simply snaps, "Get off with you. You'll be asking me to calculate pi next," and keeps attacking him.
 Liar's Paradox / int_cfd91008
featureApplicability
-0.3
 Liar's Paradox / int_cfd91008
featureConfidence
1.0
 Eighth Doctor Adventures
hasFeature
Liar's Paradox / int_cfd91008
 Liar's Paradox / int_d6c9c0a4
type
Liar's Paradox
 Liar's Paradox / int_d6c9c0a4
comment
Ghost in the Shell: Stand Alone Complex: During season one, the Tachikomas (who are AIs themselves) use this paradox to shut down a humanoid drone in order to take a look at the thing it was watching over. They promptly boast about how their own superior programming means that they understand that there isn't a correct answer to the question and consequently are immune to getting caught by it.
 Liar's Paradox / int_d6c9c0a4
featureApplicability
1.0
 Liar's Paradox / int_d6c9c0a4
featureConfidence
1.0
 Ghost in the Shell: Stand Alone Complex
hasFeature
Liar's Paradox / int_d6c9c0a4
 Liar's Paradox / int_ea4f62db
type
Liar's Paradox
 Liar's Paradox / int_ea4f62db
comment
Family Guy: Peter gets caught in this when Chris points out a lie he just told:
 Liar's Paradox / int_ea4f62db
featureApplicability
1.0
 Liar's Paradox / int_ea4f62db
featureConfidence
1.0
 Family Guy
hasFeature
Liar's Paradox / int_ea4f62db
 Liar's Paradox / int_ec9155b1
type
Liar's Paradox
 Liar's Paradox / int_ec9155b1
comment
In Small Gods: One of the Ephebian philosophers gets into trouble when he tries to discuss this paradox with his fellows. Discworld intellects being what they are, Xeno takes offense:
Also in Discworld, the literal-minded omnicidal Auditors of Reality eventually deal with paradoxes by deciding that all statements are either (1) true, (2) false, or (3) bloody stupid.
The dwarf Casanunda's business card says he is an "outrageous liar", but if you ask if it's true, he'll deny it.
After snookering Ridcully in a card game, he reminds them that he warned he was an Outrageous Liar. But Ridcully thought that was a lie.
 Liar's Paradox / int_ec9155b1
featureApplicability
1.0
 Liar's Paradox / int_ec9155b1
featureConfidence
1.0
 Small Gods
hasFeature
Liar's Paradox / int_ec9155b1

The following is a list of statements referring to the current page from other pages.

 Liar's Paradox
processingCategory2
Logic Tropes
 Liar's Paradox
processingCategory2
Philosophy Tropes
 Liar's Paradox
processingCategory2
Truth and Lies
 Shadowpact (Comic Book) / int_38eb584d
type
Liar's Paradox
 Deltora Quest / int_38eb584d
type
Liar's Paradox
 Small Gods / int_38eb584d
type
Liar's Paradox
 What is the Name of This Book? / int_38eb584d
type
Liar's Paradox
 Lloyd Cole (Music) / int_38eb584d
type
Liar's Paradox
 Knights of the Old Republic II: The Sith Lords (Video Game) / int_38eb584d
type
Liar's Paradox
 Minecraft: Story Mode (Video Game) / int_38eb584d
type
Liar's Paradox
 Poker Night 2 (Video Game) / int_38eb584d
type
Liar's Paradox
 Portal 2 (Video Game) / int_38eb584d
type
Liar's Paradox
 FreedomToons (Web Animation) / int_38eb584d
type
Liar's Paradox
 qxlkbh (Webcomic) / int_38eb584d
type
Liar's Paradox