Axioms for grounded truth

Schindler, Thomas (2014): Axioms for grounded truth. In: Review of Symbolic Logic, Bd. 7, Nr. 1: S. 73-83

Abstract

We axiomatize Leitgeb’s (2005) theory of truth and show that this theory proves all arithmetical sentences of the system of ramified analysis up to ε0. We also give alternative axiomatizations of Kripke’s (1975) theory of truth (Strong Kleene and supervaluational version) and show that they are at least as strong as the Kripke-Feferman system KF and Cantini’s VF, respectively.

• Dokumententyp: Zeitschriftenartikel
• Publikationsform: Publisher's Version
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft
• Themengebiete: 100 Philosophie und Psychologie > 100 Philosophie
• ISSN: 1755-0203
• Allianz-/Nationallizenz: Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG-geförderten) Allianz- bzw. Nationallizenz frei zugänglich.
• Bemerkung: Published online: 30 October 2013
• Sprache: Englisch