Repository | Book | Chapter

176840

(2015) From logic to practice, Dordrecht, Springer.

Paradox and inconsistency

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

Luca Tranchini

pp. 111-121

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

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

Full citation:

Tranchini, L. (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, pp. 111-121.

This document is unfortunately not available for download at the moment.