Paradoxes and Failures of Cut

Australasian Journal of Philosophy 91 (1):139 - 164 (2013)

Authors
David Ripley
Monash University
Abstract
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)
Reprint years 2013
ISBN(s)
DOI 10.1080/00048402.2011.630010
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
Through your library

References found in this work BETA

Saving Truth From Paradox.Hartry Field - 2008 - Oxford University Press.
The Logical Basis of Metaphysics.Michael DUMMETT - 1991 - Harvard University Press.
Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Spandrels of Truth.Jc Beall - 2010 - Bulletin of Symbolic Logic 16 (2):284-286.
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.

View all 38 references / Add more references

Citations of this work BETA

Conditional Heresies.Fabrizio Cariani & Simon Goldstein - forthcoming - Philosophy and Phenomenological Research.

View all 53 citations / Add more citations

Similar books and articles

A Revenge-Immune Solution to the Semantic Paradoxes.Hartry Field - 2003 - Journal of Philosophical Logic 32 (2):139-177.
Axiomatizing Kripke's Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Saving the Truth Schema From Paradox.Hartry Field - 2002 - Journal of Philosophical Logic 31 (1):1-27.
A Model of Tolerance.Elia Zardini - 2008 - Studia Logica 90 (3):337-368.
Perfect Validity, Entailment and Paraconsistency.Neil Tennant - 1984 - Studia Logica 43 (1-2):181 - 200.
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.
Against Classical Dialetheism.Wenfang Wang - 2011 - Frontiers of Philosophy in China 6 (3):492-500.

Analytics

Added to PP index
2012-01-07

Total views
330 ( #16,168 of 2,253,742 )

Recent downloads (6 months)
57 ( #11,673 of 2,253,742 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature