## Notre Dame Journal of Formal Logic

- Notre Dame J. Formal Logic
- Volume 58, Number 4 (2017), 567-581.

### Ekman’s Paradox

Peter Schroeder-Heister and Luca Tranchini

#### Abstract

Prawitz observed that Russell’s paradox in naive set theory yields a derivation of absurdity whose reduction sequence loops. Building on this observation, and based on numerous examples, Tennant claimed that this looping feature, or more generally, the fact that derivations of absurdity do not normalize, is characteristic of the paradoxes. Striking results by Ekman show that looping reduction sequences are already obtained in minimal propositional logic, when certain reduction steps, which are prima facie plausible, are considered in addition to the standard ones. This shows that the notion of reduction is in need of clarification. Referring to the notion of identity of proofs in general proof theory, we argue that reduction steps should not merely remove redundancies, but must respect the identity of proofs. Consequentially, we propose to modify Tennant’s paradoxicality test by basing it on this refined notion of reduction.

#### Article information

**Source**

Notre Dame J. Formal Logic, Volume 58, Number 4 (2017), 567-581.

**Dates**

Received: 26 February 2014

Accepted: 6 July 2015

First available in Project Euclid: 18 July 2017

**Permanent link to this document**

https://projecteuclid.org/euclid.ndjfl/1500364943

**Digital Object Identifier**

doi:10.1215/00294527-2017-0017

**Mathematical Reviews number (MathSciNet)**

MR3707652

**Zentralblatt MATH identifier**

06803188

**Subjects**

Primary: 03F05: Cut-elimination and normal-form theorems 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30}

Secondary: 00A30: Philosophy of mathematics [See also 03A05]

**Keywords**

paradoxes Russell’s paradox normalization general proof theory identity of proofs

#### Citation

Schroeder-Heister, Peter; Tranchini, Luca. Ekman’s Paradox. Notre Dame J. Formal Logic 58 (2017), no. 4, 567--581. doi:10.1215/00294527-2017-0017. https://projecteuclid.org/euclid.ndjfl/1500364943