Gentzen’s Approach to Logic
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.
KeywordsInference Rule Atomic Formula Logical Constant Elimination Rule Major Premise
- Gentzen, Gerhard. 1969. Collected papers, ed. Manfred E. Szabo. Amsterdam: North-Holland.Google Scholar
- Prawitz, Dag. 2006. Natural deduction. A proof-theoretical study. Mineola: Dover.Google Scholar
- Prawitz, Dag. 2011. Proofs and perfect syllogisms. In Logic and knowledge, ed. Carlo Cellucci, Emily Rolfe Grosholz, and Emiliano Ippoliti, 385–402. Newcastle upon Tyne: Cambridge Scholars Publishing.Google Scholar
- Ungar, Anthony M. 1992. Normalization, cut-elimination and the theory of proofs. Stanford: CSLI.Google Scholar