Towards a Non-classical Meta-theory for Substructural Approaches to Paradox

Journal of Philosophical Logic 50 (5):1007-1055 (2021)

Abstract

In the literature on self-referential paradoxes one of the hardest and most challenging problems is that of revenge. This problem can take many shapes, but, typically, it besets non-classical accounts of some semantic notion, such as truth, that depend on a set of classically defined meta-theoretic concepts, like validity, consistency, and so on. A particularly troubling form of revenge that has received a lot of attention lately involves the concept of validity. The difficulty lies in that the non-classical logician cannot accept her own definition of validity because it is given in a classical meta-theory. It is often suggested that this mismatch between the consequence relation of the account being espoused and the consequence relation of the meta-theory is a serious embarrassment. The main goal of the paper is to explore whether certain substructural accounts of the paradoxes can avoid this sort of embarrassment. Typically, these accounts are expressively incomplete, since they cannot assert in the object language that certain invalid arguments are in fact invalid. To overcome this difficulty I develop a novel type of hybrid proof-procedure, one that takes invalidities to be just as fundamental as validities. I prove that this proof-procedure enjoys a number of interesting properties and I analyze the prospects of applying it to languages capable of expressing self-referential statements.

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,694

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2021-03-11

Downloads
29 (#399,032)

6 months
3 (#198,777)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Lucas Rosenblatt
University of Buenos Aires

References found in this work

Saving Truth From Paradox.Hartry Field - 2008 - Oxford, England: Oxford University Press.
Spandrels of Truth.J. C. Beall - 2009 - Oxford, England: Oxford University Press.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
The Liar: An Essay on Truth and Circularity.Jon Barwise & John Etchemendy - 1987 - Oxford, England and New York, NY, USA: Oxford University Press USA.

View all 49 references / Add more references

Similar books and articles

Noncontractive Classical Logic.Lucas Rosenblatt - 2019 - Notre Dame Journal of Formal Logic 60 (4):559-585.
Expressing Validity: Towards a Self-Sufficient Inferentialism.Ulf Hlobil - 2020 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2019. London: College Publications. pp. 67-82.
Naïve Validity.Julien Murzi & Lorenzo Rossi - 2017 - Synthese 199 (Suppl 3):819-841.
Can the Classical Logician Avoid the Revenge Paradoxes?Andrew Bacon - 2015 - Philosophical Review 124 (3):299-352.
Classical Logic and the Strict Tolerant Hierarchy.Chris Scambler - 2020 - Journal of Philosophical Logic 49 (2):351-370.
A Unified Theory of Truth and Paradox.Lorenzo Rossi - 2019 - Review of Symbolic Logic 12 (2):209-254.
The Cut‐Free Approach and the Admissibility‐Curry.Ulf Hlobil - 2018 - Thought: A Journal of Philosophy 7 (1):40-48.
Validity as a Primitive.J. Ketland - 2012 - Analysis 72 (3):421-430.
Comparing Substructural Theories of Truth.David Ripley - 2015 - Ergo: An Open Access Journal of Philosophy 2.