Tarski's hierarchy

GPTKB entity

Statements (22)
Predicate Object
gptkbp:instanceOf hierarchy
concept in logic
gptkbp:describes levels of language
gptkbp:feature object language
hierarchical truth predicates
meta-language
meta-meta-language
https://www.w3.org/2000/01/rdf-schema#label Tarski's hierarchy
gptkbp:influenced gptkb:set_theory
philosophy of language
theory of truth
gptkbp:introduced gptkb:Alfred_Tarski
gptkbp:introducedIn 1930s
gptkbp:namedAfter gptkb:Alfred_Tarski
gptkbp:purpose avoid semantic paradoxes
gptkbp:relatedTo gptkb:liar_paradox
semantic paradoxes
truth predicate
gptkbp:usedIn gptkb:logic
formal semantics
gptkbp:bfsParent gptkb:The_Liar_Paradox
gptkbp:bfsLayer 7