Back to Search
Start Over
AXIOMS FOR GROUNDED TRUTH
- Source :
- The Review of Symbolic Logic. 7:73-83
- Publication Year :
- 2013
- Publisher :
- Cambridge University Press (CUP), 2013.
-
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.
Details
- ISSN :
- 17550211 and 17550203
- Volume :
- 7
- Database :
- OpenAIRE
- Journal :
- The Review of Symbolic Logic
- Accession number :
- edsair.doi...........0d4019f12f887d410c37f85c212b9d64
- Full Text :
- https://doi.org/10.1017/s1755020313000282