Tarskian and Kripkean truth

DOI10.1023/A:1017977304199zbMath0869.03004MaRDI QIDQ676185

Volker Halbach

Publication date: 2 September 1997

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

decidabilitytruth predicateconstructibilityKripkean truthminimal fixed point modelTarskian truthtransfinite hierarchy of languagesunramified language

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (3)

Truth and the Liar ⋮ Truth, reflection and hierarchies ⋮ Bicontextualism

Cites Work

• The liar paradox
• Elementary induction on abstract structures
• The truth is never simple
• Reflecting on incompleteness
• Recursiveness of initial segments of Kleene's O
• Comparison of Russell's resolution of the semantical antinomies with that of Tarski
• Outline of a Theory of Truth
• Unnamed Item
• Unnamed Item

This page was built for publication: Tarskian and Kripkean truth