Gentzen's approach to logic
pp. 199-213
Abstract
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
Published in:
Cellucci Carlo (2013) Rethinking logic: logic in relation to mathematics, evolution, and method. Dordrecht, Springer.
Pages: 199-213
DOI: 10.1007/978-94-007-6091-2_11
Full citation:
Cellucci Carlo (2013) Gentzen's approach to logic, In: Rethinking logic, Dordrecht, Springer, 199–213.