Axioms for grounded truth

Schindler, Thomas (2014): Axioms for grounded truth. In: Review of Symbolic Logic, Vol. 7, No. 1: pp. 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.

• Item Type: Journal article
• Form of publication: Publisher's Version
• Faculties: Philosophy, Philosophy of Science and Religious Science
• Subjects: 100 Philosophy and Psychology > 100 Philosophy
• ISSN: 1755-0203
• Alliance/National Licence: This publication is with permission of the rights owner freely accessible due to an Alliance licence and a national licence (funded by the DFG, German Research Foundation) respectively.
• Annotation: Published online: 30 October 2013
• Language: English