Metodo

International Studies in Phenomenology and Philosophy

Book | Chapter

176847

Paradox and inconsistency

revising Tennant's distinction through Schroeder-Heister's assumption rules

Luca Tranchini

pp. 111-121

Abstract

In his "Proof and Paradox' (Dialectica 36, 1982), Tennant draws a distinction between paradox and inconsistency. In this paper, two examples are discussed which show Tennant's formulation of the distinction to be problematic. Tennant's distinction is reformulated so to account for these cases as well. This is done by using "A natural extension of natural deduction' (J Symbolic Logic 39:4, 1984) devised by Schroeder-Heister to allow not only formulas but also rules to be assumed in the course of a derivation.

Publication details

Published in:

Lolli Gabriele, Panza Marco, Venturi Giorgio (2015) From logic to practice: Italian studies in the philosophy of mathematics. Dordrecht, Springer.

Pages: 111-121

DOI: 10.1007/978-3-319-10434-8_7

Full citation:

Tranchini Luca (2015) „Paradox and inconsistency: revising Tennant's distinction through Schroeder-Heister's assumption rules“, In: G. Lolli, M. Panza & G. Venturi (eds.), From logic to practice, Dordrecht, Springer, 111–121.