Natural deduction and Curry's paradox
type: Item
instance of: scholarly article
title: Natural deduction and Curry's paradox
zbMATH Open document ID: 1119.03013
author: Susan Rogerson
published in: Journal of Philosophical Logic
publication date: 2007-04-19T00:00:00Z
review text: Following Fitch, the author presents a natural deduction version of Curry's paradox, a well-known set-theoretic paradox that does not involve negation. She then discusses various restrictions proposed independently by Fitch and Prawitz to prevent the derivation of the paradox. These restrictions are ``global'' in nature, having to do with the general logical structure of the derivation, rather than with its set-theoretic aspects. The restrictions themselves also have some unattractive features. Finally she draws attention to an observation by Neil Tennant that a certain characteristic of Prawitz's derailment of Curry's paradox also applies to other derivations of some other paradoxes (including Russell's, the Liar, and Grelling's). However, the author points out that Tennant's approach seems to be restricted to intuitionistic logic and may not extend to classical and other systems.
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03E99
zbMATH DE Number: 5145081
zbMATH Keywords: Curry's paradox
reviewed by: Elliott Mendelson
MaRDI profile type: Publication
full work available at URL: s10992-006-9032-0
OpenAlex ID: W2045171698
cites work: Curry's paradox in contractionless constructive logic
cites work: Q3760537
cites work: Q5815602
cites work: Q5596200
cites work: Q3377758
cites work: Q5541301
cites work: Q3197806
cites work: Q4198728
cites work: Q3469090
cites work: Logical paradoxes for many-valued systems
cites work: Q5559220
cites work: Q5632554
cites work: How to be really contraction free
cites work: Naïve comprehension and contracting implications
cites work: Routes to triviality
cites work: Proof and Paradox
cites work: On Paradox without Self-Reference
cites work: Four paradoxes
DOI: 10.1007/S10992-006-9032-0
Recommended article: The naturality of natural deduction
Recommended article: Q4012972
Recommended article: Gödel's natural deduction
Recommended article: Natural deduction for paraconsistent logic
Recommended article: Q4258434
Recommended article: Q4982108
Recommended article: Q5559220
Recommended article: Curry's paradox in contractionless constructive logic
Recommended article: Naturalizing Natural Deduction
Recommended article: Natural deduction
description: scientific article; zbMATH DE number 5145081