The Power of Naive Truth

Abstract

While non-classical theories of truth that take truth to be transparent have some obvious advantages over any classical theory that evidently must take it as non-transparent, several authors have recently argued that there's also a big disadvantage of non-classical theories as compared to their “external” classical counterparts: proof-theoretic strength. While conceding the relevance of this, the paper argues that there is a natural way to beef up extant internal theories so as to remove their proof-theoretic disadvantage. It is suggested that the resulting internal theories should seem preferable to their external counterparts.

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
On the Costs of Nonclassical Logic.Volker Halbach & Carlo Nicolai - 2018 - Journal of Philosophical Logic 47 (2):227-257.
A Proof-Theoretic Account of Classical Principles of Truth.Graham E. Leigh - 2013 - Annals of Pure and Applied Logic 164 (10):1009-1024.
Axiomatic Theories of Truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Type-Free Truth.Thomas Schindler - 2015 - Dissertation, Ludwig Maximilians Universität München
On the Explanatory Power of Truth in Logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.
Truth and Reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.
Norms for Theories of Reflexive Truth.Leon Horsten & Volker Halbach - 2015 - In Kentaro Fujimoto, José Martínez Fernández, Henri Galinon & Theodora Achourioti (eds.), Unifying the Philosophy of Truth. Springer Verlag.
Principles of Truth.Volker Halbach & Leon Horsten (eds.) - 2002 - Hänsel-Hohenhausen.
Relative Truth Definability of Axiomatic Truth Theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.

Analytics

Added to PP
2019-12-27

Downloads
225 (#53,860)

6 months
22 (#47,240)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hartry Field
New York University

References found in this work

No references found.

Add more references