Repository | Book | Chapter
(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.