Conservatively extending classical logic with transparent truth

Review of Symbolic Logic 5 (2):354-378 (2012)
Abstract
This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but the other does not.)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/S1755020312000056
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
References found in this work BETA
Outline of a Theory of Truth.Saul A. Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Proof Theory.Gaisi Takeuti - 1987 - Elsevier.
From Heaps and Gaps to Heaps of Gluts.D. Hyde - 1997 - Mind 106 (424):641-660.

View all 10 references / Add more references

Citations of this work BETA
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
The Cut‐Free Approach and the Admissibility‐Curry.Ulf Hlobil - 2018 - Thought: A Journal of Philosophy 7 (1):40-48.
Naive Modus Ponens.Elia Zardini - 2013 - Journal of Philosophical Logic 42 (4):575-593.
Contractions of Noncontractive Consequence Relations.Rohan French & David Ripley - 2015 - Review of Symbolic Logic 8 (3):506-528.

View all 22 citations / Add more citations

Similar books and articles
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Saving the Truth Schema From Paradox.Hartry Field - 2002 - Journal of Philosophical Logic 31 (1):1-27.
The Transparency of Truth.ME Kalderon - 1997 - Mind 106 (423):475-497.
A Revenge-Immune Solution to the Semantic Paradoxes.Hartry Field - 2003 - Journal of Philosophical Logic 32 (2):139-177.
On the Role of Implication in Formal Logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
False Though Partly True – an Experiment in Logic.Lloyd Humberstone - 2003 - Journal of Philosophical Logic 32 (6):613-665.
Logic and Truth.Ken Akiba - 2000 - Journal of Philosophical Research 25:101-123.
Added to PP index
2011-01-20

Total downloads
153 ( #36,036 of 2,235,741 )

Recent downloads (6 months)
17 ( #27,563 of 2,235,741 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature