Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosophy
|
| gptkbp:address |
gptkb:liar_paradox
semantic paradoxes |
| gptkbp:allows |
truth-value gaps
|
| gptkbp:contrastsWith |
gptkb:classical_logic
gptkb:Tarski's_hierarchy |
| gptkbp:field |
gptkb:logic
philosophy of language |
| gptkbp:influenced |
deflationary theories of truth
revision theory of truth |
| gptkbp:influencedBy |
gptkb:Alfred_Tarski
|
| gptkbp:notableIdea |
least fixed point
groundedness ungrounded sentences |
| gptkbp:proposedBy |
gptkb:Saul_Kripke
|
| gptkbp:publishedIn |
gptkb:Journal_of_Philosophy
Outline of a Theory of Truth |
| gptkbp:uses |
fixed-point construction
partial logic |
| gptkbp:yearProposed |
1975
|
| gptkbp:bfsParent |
gptkb:Liar_paradox
gptkb:The_Liar_Paradox |
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Kripke's theory of truth
|