Review of Symbolic Logic 7 (1):73-83 (2014)

Authors
Thomas Schindler
University of Amsterdam
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 $\epsilon_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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2014
DOI 10.1017/s1755020313000282
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,323
Through your library

References found in this work BETA

Saving Truth From Paradox.Hartry Field - 2008 - Oxford University Press.
Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Axiomatic Theories of Truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Reflecting on Incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
What Truth Depends On.Hannes Leitgeb - 2005 - Journal of Philosophical Logic 34 (2):155-192.

View all 14 references / Add more references

Citations of this work BETA

HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
A Graph-Theoretic Analysis of the Semantic Paradoxes.Timo Beringer & Thomas Schindler - 2017 - Bulletin of Symbolic Logic 23 (4):442-492.
Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.
Notes on Leitgeb’s What Truth Depends on.Edoardo Rivello - 2020 - Studia Logica 108 (6):1235-1262.
A Disquotational Theory of Truth as Strong as Z 2 −.Thomas Schindler - 2015 - Journal of Philosophical Logic 44 (4):395-410.

View all 6 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2013-11-01

Total views
44 ( #242,827 of 2,448,712 )

Recent downloads (6 months)
3 ( #224,503 of 2,448,712 )

How can I increase my downloads?

Downloads

My notes