Statements (23)
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 |
https://www.w3.org/2000/01/rdf-schema#label |
Kripke's theory of truth
|
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:The_Liar_Paradox
|
gptkbp:bfsLayer |
7
|