|
gptkbp:instanceOf
|
gptkb:paradox
|
|
gptkbp:addressedTo
|
gptkb:Tarski's_undefinability_theorem
gptkb:Kripke's_theory_of_truth
paraconsistent logic
hierarchical solutions
|
|
gptkbp:alsoKnownAs
|
Liar Paradox
|
|
gptkbp:category
|
gptkb:paradox
|
|
gptkbp:date
|
4th century BCE
|
|
gptkbp:describes
|
a statement that refers to itself and asserts its own falsehood
|
|
gptkbp:discusses
|
gptkb:logic
philosophy of language
theory of truth
|
|
gptkbp:earliestKnownProponent
|
Eubulides of Miletus
|
|
gptkbp:example
|
This statement is false.
|
|
gptkbp:field
|
gptkb:logic
gptkb:philosophy
semantics
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
The Paradox of the Liar
|
|
gptkbp:influenced
|
gptkb:logic
gptkb:set_theory
theories of truth
|
|
gptkbp:notableExample
|
I am lying.
The statement on this card is false.
This sentence is not true.
|
|
gptkbp:originatedIn
|
gptkb:ancient_Greece
|
|
gptkbp:relatedTo
|
gptkb:Barber_paradox
gptkb:Russell's_paradox
gptkb:Epimenides_paradox
gptkb:Grelling–Nelson_paradox
|
|
gptkbp:type
|
gptkb:paradox
self-reference
|
|
gptkbp:bfsParent
|
gptkb:George_Spencer-Brown
|
|
gptkbp:bfsLayer
|
7
|