Abstract
Abstract
Nonclassical theories of truth that take truth to be transparent have some obvious advantages over any classical theory of truth (which must take it as nontransparent on pain of inconsistency). 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.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference21 articles.
1. What’s so bad about contradictions?;Priest;Journal of Philosophy,1998
2. Picollo, L. (2018). Truth in a logic of formal inconsistency: How classical can it get? Logic Journal of the IGPL, jzy059. doi.org/10.1093/jigpal/jzy059.
3. On the costs of nonclassical logic;Halbach;Journal of Philosophical Logic,2018
4. A fixed point theorem for the Weak Kleene valuation scheme
5. Reflecting on incompleteness
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Saving logic from paradox via nonclassical recapture;Philosophical Studies;2024-06-01
2. Systems for Non-Reflexive Consequence;Studia Logica;2023-08-10
3. CLASSICAL DETERMINATE TRUTH I;The Journal of Symbolic Logic;2023-07-05
4. Recapture Results and Classical Logic;Mind;2023-06-01
5. Bicontextualism;Notre Dame Journal of Formal Logic;2023-02-01