Capturing naive validity in the Cut-free approach

Synthese 199 (Suppl 3):707-723 (2016)
  Copy   BIBTEX

Abstract

Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a serious problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty.

Similar books and articles

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.
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
External Curries.Heinrich Wansing & Graham Priest - 2015 - Journal of Philosophical Logic 44 (4):453-471.
There is No Paradox of Logical Validity.Roy T. Cook - 2014 - Logica Universalis 8 (3-4):447-467.
Validity as a primitive.J. Ketland - 2012 - Analysis 72 (3):421-430.
The inexpressibility of validity.Julien Murzi - 2014 - Analysis 74 (1):65-81.
How to be R eally Contraction-Free.Greg Restall - 1993 - Studia Logica 52 (3):381 - 391.
Knowledge of Validity.Sinan Dogramaci - 2010 - Noûs 44 (3):403-432.
The Logics of Strict-Tolerant Logic.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2015 - Journal of Philosophical Logic 44 (5):551-571.
Validity and Truth-Preservation.Lionel Shapiro & Julien Murzi - 2015 - In D. Achourioti, H. Galinon & J. Martinez (eds.), Unifying the Philosophy of Truth. Springer. pp. 431-459.

Analytics

Added to PP
2016-09-02

Downloads
335 (#54,962)

6 months
91 (#40,169)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Eduardo Alejandro Barrio
Universidad de Buenos Aires (UBA)
Lucas Rosenblatt
Universidad de Buenos Aires (UBA)

Citations of this work

Faithfulness for naive validity.Ulf Hlobil - 2019 - Synthese 196 (11):4759-4774.
The Cut‐Free Approach and the Admissibility‐Curry.Ulf Hlobil - 2018 - Thought: A Journal of Philosophy 7 (1):40-48.
Noncontractive Classical Logic.Lucas Rosenblatt - 2019 - Notre Dame Journal of Formal Logic 60 (4):559-585.

View all 16 citations / Add more citations

References found in this work

Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Spandrels of truth.J. C. Beall - 2009 - New York: Oxford University Press.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.

View all 28 references / Add more references