Authors
Hartry Field
New York University
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.
Keywords Volker Halbach  Leon Horsten  Carlo Nicolai  Solomon Feferman  Saul Kripke  truth  proof-theoretic strength  non-classical logic  determinacy
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

On the Costs of Classical Logic.Luca Castaldo - forthcoming - Erkenntnis:1-32.

Add more citations

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 index
2019-12-27

Total views
172 ( #62,576 of 2,455,762 )

Recent downloads (6 months)
14 ( #47,546 of 2,455,762 )

How can I increase my downloads?

Downloads

My notes