Statements (62)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:Monarch
|
gptkbp:bfsLayer |
6
|
gptkbp:bfsParent |
gptkb:Tales_of_the_Black_Widowers
|
gptkbp:associated_with |
gptkb:Epimenides
|
gptkbp:challenges |
truth and falsity
|
gptkbp:connects |
naive set theory
classical logic the foundations of mathematics the principle of bivalence the law of excluded middle |
gptkbp:depicts |
the limits of formal systems
problems in epistemology |
gptkbp:has_impact_on |
gptkb:philosopher
|
gptkbp:has_variants |
strong liar paradox
weak liar paradox |
https://www.w3.org/2000/01/rdf-schema#label |
The Liar's Paradox
|
gptkbp:is_analyzed_in |
logicians
|
gptkbp:is_atype_of |
logical paradox
circular reasoning logical inconsistency self-referential paradox semantic paradox veridical paradox |
gptkbp:is_considered |
semantics
the study of truth the study of language the study of paradoxes the study of self-reference the analysis of truth conditions |
gptkbp:is_described_as |
a statement that refers to itself as false
|
gptkbp:is_discussed_in |
gptkb:philosopher
academic papers philosophical essays logic textbooks |
gptkbp:is_explored_in |
gptkb:philosophical_debates
theoretical computer science linguistics theoretical discussions the philosophy of language the philosophy of mathematics the study of language and meaning discussions of truth theory |
gptkbp:is_related_to |
gptkb:Russell's_Paradox
gptkb:Gödel's_incompleteness_theorems the concept of truth the concept of falsity the concept of paradox in logic the liar's paradox in literature the liar's sentence truth-tellers and liars |
gptkbp:is_represented_in |
' This statement is false.'
|
gptkbp:is_used_in |
mathematical logic
philosophical arguments discussions of self-reference debates about truth values |
gptkbp:origin |
gptkb:ancient_Greece
|
gptkbp:related_to |
self-reference
|
gptkbp:was_akey_figure_in |
philosophical logic
theoretical philosophy metamathematics self-referential statements paradox in philosophy |