How to Ekman a Crabbé-Tennant

Synthese:1-23 (forthcoming)
Authors
Luca Tranchini
Universität Tübingen
Abstract
Developing early results of Prawitz, Tennant proposed a criterion for an expression to count as a paradox in the framework of Gentzen’s natural deduction: paradoxical expressions give rise to non-normalizing derivations. Two distinct kinds of cases, going back to Crabbé and Tennant, show that the criterion overgenerates, that is, there are derivations which are intuitively non-paradoxical but which fail to normalize. Tennant’s proposed solution consists in reformulating natural deduction elimination rules in general form. Developing intuitions of Ekman we show that the adoption of general rules has the consequence of hiding redundancies within derivations. Once reductions to get rid of the hidden redundancies are devised, it is clear that the adoption of general elimination rules offers no remedy to the overgeneration of the Prawitz–Tennant analysis. In this way, we indirectly provide further support for a solution to one of the two overgeneration cases developed in previous work.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11229-018-02018-3
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 36,555
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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Ekman’s Paradox.Peter Schroeder-Heister & Luca Tranchini - 2017 - Notre Dame Journal of Formal Logic 58 (4):567-581.
Translations From Natural Deduction to Sequent Calculus.Jan von Plato - 2003 - Mathematical Logic Quarterly 49 (5):435.
Natural Deduction and Curry's Paradox.Susan Rogerson - 2007 - Journal of Philosophical Logic 36 (2):155 - 179.
Natural Deduction with General Elimination Rules.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (7):541-567.
A Normalizing System of Natural Deduction for Intuitionistic Linear Logic.Sara Negri - 2002 - Archive for Mathematical Logic 41 (8):789-810.
On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.
Tennant on Knowable Truth.Timothy Williamson - 2000 - Ratio 13 (2):99–114.
Analogues of Knowability.David DeVidi & Tim Kenyon - 2003 - Australasian Journal of Philosophy 81 (4):481 – 495.

Analytics

Added to PP index
2018-12-19

Total downloads
2 ( #960,749 of 2,302,572 )

Recent downloads (6 months)
2 ( #273,859 of 2,302,572 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature