Statements (31)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:philosophy
formal semantics |
gptkbp:address |
gptkb:Liar_paradox
semantic paradoxes |
gptkbp:appliesTo |
formal languages
|
gptkbp:compatibleWith |
natural languages
|
gptkbp:formedBy |
gptkb:Alfred_Tarski
1930s |
gptkbp:hasConcept |
metalanguage
T-schema object language Convention T semantic definition of truth truth defined by satisfaction in a model truth is a property of sentences in formalized languages |
https://www.w3.org/2000/01/rdf-schema#label |
Tarski's theory of truth
|
gptkbp:influenced |
formal semantics
logical positivism model theory philosophy of language truth-conditional semantics deflationary theory of truth semantic conception of truth |
gptkbp:majorWork |
gptkb:The_Concept_of_Truth_in_Formalized_Languages
|
gptkbp:publishedIn |
gptkb:Studia_Philosophica
|
gptkbp:relatedTo |
gptkb:logic
gptkb:set_theory logical syntax correspondence theory of truth |
gptkbp:bfsParent |
gptkb:Semantic_theory_of_truth
|
gptkbp:bfsLayer |
7
|