Review of Symbolic Logic 15 (1):225-258 (2022)
AbstractNonclassical theories of truth that take truth to be transparent have some obvious advantages over any classical theory of truth. But several authors have recently argued that there’s also a big disadvantage of nonclassical 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 are preferable to their external counterparts.
Similar books and articles
Indicative conditionals, restricted quantification, and naive truth.Hartry Field - 2016 - Review of Symbolic Logic 9 (1):181-208.
New Grounds for Naive Truth Theory.Stephen Yablo - 2004 - In J. C. Beall (ed.), Liars and Heaps: New Essays on Paradox. Clarendon Press. pp. 312-330.
Naïve truth-conditions and meaning.Lionel Shapiro - 2008 - Philosophical Quarterly 58 (231):265–277.
Naive truth and naive logical properties.Elia Zardini - 2014 - Review of Symbolic Logic 7 (2):351-384.
The truth, but not yet: Avoiding naïve skepticism via explicit communication of metadisciplinary aims.Jake Wright - 2019 - Teaching in Higher Education 24 (3):361-377.
Disarming a Paradox of Validity.Hartry Field - 2017 - Notre Dame Journal of Formal Logic 58 (1):1-19.
Truth, Omniscience, and Cantorian Arguments: An Exchange.Alvin Plantinga & Patrick Grim - 1993 - Philosophical Studies 71 (3):267-306.
Truth, probability, and naive criteria.Michael Sheard - 2002 - In Volker Halbach & Leon Horsten (eds.), Principles of Truth. Dr. Hänsel-Hohenhausen. pp. 169-182.
Added to PP
Historical graph of downloads
Citations of this work
Nonclassical Truth with Classical Strength. A Proof-Theoretic Analysis of Compositional Truth Over Hype.Martin Fischer, Carlo Nicolai & Pablo Dopico - 2021 - Review of Symbolic Logic:1-24.
Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - forthcoming - Journal of Philosophical Logic: 1 - 26.
References found in this work
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.