David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Australasian Journal of Philosophy 91 (1):139 - 164 (2013)
This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Michael A. E. Dummett (1991). The Logical Basis of Metaphysics. Harvard University Press.
Graham Priest (2006). Doubt Truth to Be a Liar. Oxford University Press.
Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij (2012). Tolerant, Classical, Strict. Journal of Philosophical Logic 41 (2):347 - 385.
Saul A. Kripke (1975). Outline of a Theory of Truth. Journal of Philosophy 72 (19):690-716.
Jc Beall & Julien Murzi (2013). Two Flavors of Curry's Paradox. Journal of Philosophy 110 (3):143-165.
Citations of this work BETA
Rohan French & David Ripley (2015). Contractions of Noncontractive Consequence Relations. Review of Symbolic Logic 8 (3):506-528.
Jc Beall (2015). Free of Detachment: Logic, Rationality, and Gluts. Noûs 49 (2):410-423.
David Ripley (2015). Naive Set Theory and Nontransitive Logic. Review of Symbolic Logic 8 (3):553-571.
David Ripley (2015). Anything Goes. Topoi 34 (1):25-36.
Similar books and articles
David Ripley (2012). Conservatively Extending Classical Logic with Transparent Truth. Review of Symbolic Logic 5 (2):354-378.
Greg Restall (2007). Curry's Revenge: The Costs of Non-Classical Solutions to the Paradoxes of Self-Reference. In J. C. Beall (ed.), Revenge of the Liar: New Essays on the Paradox. Oxford University Press
Hartry Field (2003). A Revenge-Immune Solution to the Semantic Paradoxes. Journal of Philosophical Logic 32 (2):139-177.
Paolo Maffezioli, Alberto Naibo & Sara Negri (2013). The Church–Fitch Knowability Paradox in the Light of Structural Proof Theory. Synthese 190 (14):2677-2716.
Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. Journal of Symbolic Logic 71 (2):677 - 712.
Volker Halbach & Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. Journal of Symbolic Logic 71 (2):677 - 712.
Hartry Field (2002). Saving the Truth Schema From Paradox. Journal of Philosophical Logic 31 (1):1-27.
Hartry Field (2004). The Semantic Paradoxes and the Paradoxes of Vagueness. In J. C. Beall (ed.), Liars and Heaps: New Essays on Paradox. Clarendon Press
Elia Zardini (2008). A Model of Tolerance. Studia Logica 90 (3):337 - 368.
Jim Edwards (2007). Response to Hoeltje: Davidson Vindicated? Mind 116 (461):131-141.
Neil Tennant (1984). Perfect Validity, Entailment and Paraconsistency. Studia Logica 43 (1-2):181 - 200.
Edwin Mares & Francesco Paoli (2014). Logical Consequence and the Paradoxes. Journal of Philosophical Logic 43 (2-3):439-469.
Wenfang Wang (2011). Against Classical Dialetheism. Frontiers of Philosophy in China 6 (3):492-500.
Added to index2012-01-07
Total downloads66 ( #51,671 of 1,726,249 )
Recent downloads (6 months)16 ( #46,799 of 1,726,249 )
How can I increase my downloads?