The Cut‐Free Approach and the Admissibility‐Curry


Authors
Ulf Hlobil
Concordia University
Abstract
The perhaps most important criticism of the nontransitive approach to semantic paradoxes is that it cannot truthfully express exactly which metarules preserve validity. I argue that this criticism overlooks that the admissibility of metarules cannot be expressed in any logic that allows us to formulate validity-Curry sentences and that is formulated in a classical metalanguage. Hence, the criticism applies to all approaches that do their metatheory in classical logic. If we do the metatheory of nontransitive logics in a nontransitive logic, however, there is no reason to think that the argument behind the criticism goes through. In general, asking a logic to express its own admissible metarules may not be a good idea.
Keywords naive validity  nontransitive logic  paradox  substructural approaches to paradox  v-Curry paradox
Categories (categorize this paper)
DOI 10.1002/tht3.267
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

References found in this work BETA

Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.

View all 15 references / Add more references

Citations of this work BETA

Faithfulness for Naive Validity.Ulf Hlobil - 2019 - Synthese 196 (11):4759-4774.

Add more citations

Similar books and articles

Faithfulness for Naive Validity.Ulf Hlobil - 2019 - Synthese 196 (11):4759-4774.
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
Validity Curry Strengthened.Lionel Shapiro - 2013 - Thought: A Journal of Philosophy 2 (1):100-107.
Disarming a Paradox of Validity.Hartry Field - 2017 - Notre Dame Journal of Formal Logic 58 (1):1-19.
Relevant First-Order Logic LP# and Curry’s Paradox Resolution.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal Volume 4, Issue 1-1, January 2015 DOI: 10.11648/J.Pamj.S.2015040101.12.
Curry's Paradox in Contractionless Constructive Logic.Akama Seiki - 1996 - Journal of Philosophical Logic 25 (2):135 - 150.
Natural Deduction and Curry's Paradox.Susan Rogerson - 2007 - Journal of Philosophical Logic 36 (2):155 - 179.
External Curries.Heinrich Wansing & Graham Priest - 2015 - Journal of Philosophical Logic 44 (4):453-471.
Variations on a Theme of Curry.Lloyd Humberstone - 2006 - Notre Dame Journal of Formal Logic 47 (1):101-131.
There is No Paradox of Logical Validity.Roy T. Cook - 2014 - Logica Universalis 8 (3-4):447-467.
Curry, Yablo and Duality.Roy T. Cook - 2009 - Analysis 69 (4):612-620.

Analytics

Added to PP index
2018-02-13

Total views
213 ( #36,976 of 2,309,266 )

Recent downloads (6 months)
56 ( #12,494 of 2,309,266 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature