Semantic theory of truth

GPTKB entity

Statements (28)
Predicate Object
gptkbp:instanceOf gptkb:philosophy
gptkbp:alsoKnownAs gptkb:Tarski's_theory_of_truth
gptkbp:appliesTo formal languages
gptkbp:contrastsWith pragmatic theory of truth
deflationary theory of truth
coherence theory of truth
correspondence theory of truth
gptkbp:developedBy 1930s
gptkbp:hasConcept metalanguage
T-schema
a sentence is true if it corresponds to reality
object language
truth is a property of sentences in a language
truth is defined in terms of satisfaction and reference
https://www.w3.org/2000/01/rdf-schema#label Semantic theory of truth
gptkbp:influenced gptkb:logic
model theory
philosophy of language
gptkbp:proposedBy gptkb:Alfred_Tarski
gptkbp:publishedIn gptkb:The_Concept_of_Truth_in_Formalized_Languages
gptkbp:relatedTo gptkb:Liar_paradox
semantic paradoxes
truth predicate
gptkbp:usedIn gptkb:logic
formal semantics
linguistics
gptkbp:bfsParent gptkb:Verdade
gptkbp:bfsLayer 6