Conservatively extending classical logic with transparent truth

Review of Symbolic Logic 5 (2):354-378 (2012)
Download Edit this record How to cite View on PhilPapers
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.)
No keywords specified (fix it)
(categorize this paper)
PhilPapers/Archive ID
Upload history
First archival date: 2015-11-21
Latest version: 2 (2015-11-21)
View other versions
Added to PP index

Total views
416 ( #14,010 of 2,432,332 )

Recent downloads (6 months)
44 ( #17,168 of 2,432,332 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.