- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Normalizability, cut eliminability and paradox
Synthese 199 (Suppl 3):597-616 (2016)
Abstract
This is a reply to the considerations advanced by Schroeder-Heister and Tranchini as prima facie problematic for the proof-theoretic criterion of paradoxicality, as originally presented in Tennant and subsequently amended in Tennant. Countering these considerations lends new importance to the parallelized forms of elimination rules in natural deduction.Author's Profile
My notes
Similar books and articles
Analogues of knowability.David DeVidi & Tim Kenyon - 2003 - Australasian Journal of Philosophy 81 (4):481 – 495.
Natural deduction and Curry's paradox.Susan Rogerson - 2007 - Journal of Philosophical Logic 36 (2):155 - 179.
Prizing truth from warranted assertibility: Reply to Tennant.Jim Edwards - 1999 - Analysis 59 (4):300–308.
Manifest invalidity: Neil Tennant's new argument for intuitionism.Jon Cogburn - 2003 - Synthese 134 (3):353 - 362.
Rule-circularity and the justification of deduction.By Neil Tennant - 2005 - Philosophical Quarterly 55 (221):625–648.
Rule-Circularity and the Justification of Deduction.Neil Tennant - 2005 - Philosophical Quarterly 55 (221):625 - 648.
Beyond Recovery? A Reply to Tennant.Sven Ove Hansson & Hans Rott - 1998 - Erkenntnis 49 (3):387-392.
Existence, freedom, identity, and the logic of abstractionist realism.Peter Milne - 2007 - Mind 116 (461):23-53.
Skolem's paradox and constructivism.Charles McCarty & Neil Tennant - 1987 - Journal of Philosophical Logic 16 (2):165 - 202.
Ultimate Normal Forms for Parallelized Natural Deductions.Neil Tennant - 2002 - Logic Journal of the IGPL 10 (3):299-337.
Analytics
Added to PP
2016-06-13
Downloads
70 (#229,266)
6 months
10 (#251,846)
2016-06-13
Downloads
70 (#229,266)
6 months
10 (#251,846)
Historical graph of downloads
Author's Profile
Citations of this work
How to Ekman a Crabbé-Tennant.Peter Schroeder-Heister & Luca Tranchini - 2018 - Synthese 199 (Suppl 3):617-639.
Paradoxes and structural rules from a dialogical perspective.Catarina Dutilh Novaes & Rohan French - 2018 - Philosophical Issues 28 (1):129-158.
What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory.Sara Ayhan - 2023 - Australasian Journal of Logic 20 (3):412-428.
On Proof-Theoretic Approaches to the Paradoxes: Problems of Undergeneration and Overgeneration in the Prawitz-Tennant Analysis.Seungrak Choi - 2019 - Dissertation, Korea University
References found in this work
The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1925 - London, England: Routledge & Kegan Paul. Edited by R. B. Braithwaite.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-pp8v9 uwo