Repository | Buch | Kapitel
Paradox and inconsistency
revising Tennant's distinction through Schroeder-Heister's assumption rules
pp. 111-121
Abstrakt
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.
Seiten: 111-121
DOI: 10.1007/978-3-319-10434-8_7
Referenz:
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.