Abstract
The liar and kindred paradoxes show that we can derive contradictions if our language possesses sentences lending themselves to paradox and we reason classically from schema (T) about truth: where the letter is to be replaced with a sentence and the letter with a name of that sentence. This article presents a theory of truth that keeps (T) at the expense of classical logic. The theory is couched in a language that possesses paradoxical sentences. It incorporates all the instances of the analogue of (T) for that language and also includes other platitudes about truth. The theory avoids contradiction because its logical framework is an appropriately constructed nonclassical propositional logic. The logic and the theory are different from others that have been proposed for keeping (T), and the methods used in the main proofs are novel.
Citation
Yannis Stephanou. "A Propositional Theory of Truth." Notre Dame J. Formal Logic 59 (4) 503 - 545, 2018. https://doi.org/10.1215/00294527-2018-0013
Information