Tarski's theory of truth

GPTKB entity

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