A New Unified Account of Truth and Paradox

I propose an anti-realist account of truth and paradox according to which the logico-semantic paradoxes are not genuine inconsistencies. The �global� proofs of absurdity associated with these paradoxes cannot be brought into normal form. The account combines epistemicism about truth with a proof-theoretic diagnosis of paradoxicality. The aim is to combine a substantive philosophical account of truth with a more rigorous and technical diagnosis of the source of paradox for further consideration by logicians. Core Logic plays a central role in the account on offer. It is shown that the account is not prey to the problem of revenge paradox.

[1]  J. Beall.  Spandrels of Truth , 2009 .

[2]  J. Beall,et al.  Understanding Truth , 2001 .

[3]  D. Prawitz.  Natural Deduction: A Proof-Theoretical Study , 1965 .

[4]  N. Belnap,et al.  The Revision Theory of Truth , 1993 .

[5]  Dag Prawitz,et al.  On the idea of a general proof theory , 1974, Synthese.

[6]  Michael Dummett,et al.  The logical basis of metaphysics , 1991 .

[7]  Holism, Molecularity and Truth , 1987 .

[8]  Neil Tennant,et al.  CUT FOR CORE LOGIC , 2012, The Review of Symbolic Logic.

[9]  J. Barwise,et al.  The Liar: An Essay on Truth and Circularity , 1987 .

[10]  J. Beall.  Revenge of the liar : new essays on the paradox , 2007 .

[11]  Neil Tennant.  Proof and Paradox , 1982 .

[12]  Dag Prawitz.  Formulation des bétons autoplaçants : Optimisation du squelette granulaire par la méthode graphique de Dreux - Gorisse , 1974 .

[13]  Hartry Field.  Saving Truth From Paradox , 2008 .

[14]  Stephen Yablo,et al.  Paradox without Self-Reference , 1993 .

[15]  Dominic Hyde,et al.  The Law of Non-Contradiction: New Philosophical Essays , 2006 .

[16]  Saul A. Kripke,et al.  Outline of a Theory of Truth , 1975 .

[17]  Marco Aiello,et al.  A Spatial Similarity Measure based on Games: Theory and Practice , 2002, Log. J. IGPL.

[18]  N. Tennant.  A Logical Theory of Truthmakers and Falsitymakers , 2013 .

[19]  NEIL TENNANT,et al.  CUT FOR CLASSICAL CORE LOGIC , 2015, The Review of Symbolic Logic.

[20]  G. Gentzen.  Untersuchungen über das logische Schließen. I , 1935 .

[21]  Vann McGee,et al.  Truth, Vagueness, and Paradox: An Essay on the Logic of Truth , 1991 .

[22]  Barry Taylor,et al.  Michael Dummett : contributions to philosophy , 1987 .

[23]  D. Prawitz.  Meaning and proofs: on the conflict between classical and intuitionistic logic , 2008 .

[24]  Peter Milne.  Not every truth has a truthmaker , 2005 .

[25]  W. V. Quine,et al.  Der Minimalkalkul, ein Reduzierter Intutionistischer Formalismus. , 1937 .