Synthese:1-17 (forthcoming)

Authors
Eduardo Alejandro Barrio
Universidad de Buenos Aires (UBA)
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.
Keywords Strict-Tolerant Logics  Non-classical logics
Categories (categorize this paper)
DOI 10.1007/s11229-016-1199-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Saving Truth From Paradox.Hartry Field - 2008 - Oxford University Press.
Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Spandrels of Truth.J. C. Beall - 2009 - Oxford University Press.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.

View all 25 references / Add more references

Citations of this work BETA

Faithfulness for Naive Validity.Ulf Hlobil - 2019 - Synthese 196 (11):4759-4774.
Noncontractive Classical Logic.Lucas Rosenblatt - 2019 - Notre Dame Journal of Formal Logic 60 (4):559-585.
The Cut‐Free Approach and the Admissibility‐Curry.Ulf Hlobil - 2018 - Thought: A Journal of Philosophy 7 (1):40-48.
Models & Proofs: LFIs Without a Canonical Interpretations.Eduardo Alejandro Barrio - 2018 - Principia: An International Journal of Epistemology 22 (1):87-112.
Infinitary Contraction‐Free Revenge.Andreas Fjellstad - 2018 - Thought: A Journal of Philosophy 7 (3):179-189.

View all 9 citations / Add more citations

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 Really 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 T. Achourioti, K. Fujimoto, H. Galinon & J. Martínez-Fernández (eds.), Unifying the Philosophy of Truth. Springer Verlag. pp. 431-459.

Analytics

Added to PP index
2016-09-02

Total views
58 ( #182,262 of 2,444,757 )

Recent downloads (6 months)
11 ( #62,069 of 2,444,757 )

How can I increase my downloads?

Downloads

My notes