Repository | Book | Chapter
(2013) Rethinking logic, Dordrecht, Springer.
In Chapter 10 it has been argued that Frege's analysis of deduction does not achieve his ideal of atomizing deduction. A better approximation to this ideal is provided by Gentzen's analysis of deduction. In order to describe it, we need to fix some terminology and notation about first-order languages.
Publication details
DOI: 10.1007/978-94-007-6091-2_11
Full citation:
Cellucci, C. (2013). Gentzen's approach to logic, in Rethinking logic, Dordrecht, Springer, pp. 199-213.
This document is unfortunately not available for download at the moment.