Journal of Philosophical Logic 32 (2):139-177 (2003)
The paper offers a solution to the semantic paradoxes, one in which we keep the unrestricted truth schema "True ↔ A", and the object language can include its own metalanguage. Because of the first feature, classical logic must be restricted, but full classical reasoning applies in "ordinary" contexts, including standard set theory. The more general logic that replaces classical logic includes a principle of substitutivity of equivalents, which with the truth schema leads to the general intersubstitutivity of True with A within the language. The logic is also shown to have the resources required to represent the way in which sentences that lead to paradox in classical logic are "defective". We can in fact define a hierarchy of "defectiveness" predicates within the language. Contrary to claims that any solution to the paradoxes just breeds further paradoxes involving defectiveness predicates, there is a general consistency/conservativeness proof that shows that talk of truth and the various "levels of defectiveness" can all be made coherent together within a single object language.
|Keywords||conditionals Curry paradox determinateness Liar paradox truth|
|Categories||categorize this paper)|
References found in this work BETA
Theory of Recursive Functions and Effective Computability.H. Rogers - 1987 - MIT Press.
Citations of this work BETA
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.
On Artifacts and Truth-Preservation.Shawn Standefer - 2015 - Australasian Journal of Logic 12 (3):135-158.
What Theories of Truth Should Be Like (but Cannot Be).Hannes Leitgeb - 2007 - Philosophy Compass 2 (2):276–290.
Revision Revisited.Leon Horsten, Graham E. Leigh, Hannes Leitgeb & Philip Welch - 2012 - Review of Symbolic Logic 5 (4):642-664.
Similar books and articles
Why Paraconsistent Logic Can Only Tell Half the Truth.Joachim Bromand - 2002 - Mind 111 (444):741-749.
Validity, Paradox, and the Ideal of Deductive Logic.Thomas Hofweber - 2007 - In J. C. Beall (ed.), Revenge of the Liar: New Essays on the Paradox. Oxford University Press.
Solving the Paradoxes, Escaping Revenge.Hartry Field - 2007 - In J. C. Beall (ed.), Revenge of the Liar: New Essays on the Paradox. Oxford University Press.
My Own Truth ---Pathologies of Self-Reference and Relative Truth.Alexandre Billon - 2011 - In Rahman Shahid, Primiero Giuseppe & Marion Mathieu (eds.), Logic, Epistemology, and the Unity of Science, Vol. 23. springer.
Curry's Revenge: The Costs of Non-Classical Solutions to the Paradoxes of Self-Reference.Greg Restall - 2007 - In J. C. Beall (ed.), Revenge of the Liar: New Essays on the Paradox. Oxford University Press.
Added to index2009-01-28
Total downloads85 ( #62,190 of 2,178,202 )
Recent downloads (6 months)2 ( #166,012 of 2,178,202 )
How can I increase my downloads?