论文信息 - AXIOMS FOR GROUNDED TRUTH

AXIOMS FOR GROUNDED TRUTH

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 e0. 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.

Thomas Schindler | T. Schindler

[1] Hartry Field. Saving Truth From Paradox , 2008 .

[2] Steve Yablo,et al. Grounding, dependence, and paradox , 1982, J. Philos. Log..

[3] Hannes Leitgeb,et al. What Truth Depends on , 2005, J. Philos. Log..

[4] Kentaro Fujimoto. Relative truth definability of axiomatic truth theories , 2010, Bull. Symb. Log..

[5] Andrea Cantini. A Theory of Formal Truth Arithmetically Equivalent to ID1 , 1990, J. Symb. Log..

[6] Volker Halbach. Truth and Reduction , 2000 .

[7] Toby Meadows. Truth, Dependence and Supervaluation: Living with the Ghost , 2013, J. Philos. Log..

[8] Solomon Feferman,et al. AXIOMS FOR DETERMINATENESS AND TRUTH , 2008, The Review of Symbolic Logic.

[9] Solomon Feferman,et al. Reflecting on incompleteness , 1991, Journal of Symbolic Logic.

[10] Leon Horsten,et al. The deflationist's axioms for truth , 2005 .

[11] Saul A. Kripke,et al. Outline of a Theory of Truth , 1975 .

[12] Hans G. Herzberger. Paradoxes of Grounding in Semantics , 1970 .