Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:paradox
self-referential statement |
| gptkbp:category |
gptkb:paradox
|
| gptkbp:describedBy |
gptkb:Epimenides
|
| gptkbp:firstDescribed |
gptkb:ancient_Greece
|
| gptkbp:form |
This statement is false.
|
| gptkbp:hasSolutionAttempt |
gptkb:Kripke's_theory_of_truth
gptkb:Tarski's_hierarchy paraconsistent logic dialetheism |
| https://www.w3.org/2000/01/rdf-schema#label |
Liar paradox
|
| gptkbp:implies |
foundations of mathematics
semantic paradoxes truth theory |
| gptkbp:notableExample |
The statement 'I am lying.'
The statement 'This sentence is false.' |
| gptkbp:relatedTo |
gptkb:Barber_paradox
gptkb:Russell's_paradox gptkb:Grelling–Nelson_paradox |
| gptkbp:studiedIn |
gptkb:logic
gptkb:philosophy semantics |
| gptkbp:bfsParent |
gptkb:Semantic_theory_of_truth
gptkb:Epimenides_of_Crete |
| gptkbp:bfsLayer |
7
|