Gentzen’s Approach to Logic

  • Carlo Cellucci
Part of the Logic, Argumentation & Reasoning book series (LARI, volume 1)


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.


Inference Rule Atomic Formula Logical Constant Elimination Rule Major Premise 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Belnap, Nuel D. 1962. Tonk, plonk and plink. Analysis 22: 130–134.CrossRefGoogle Scholar
  2. Cellucci, Carlo. 1992. Existential instantiation and normalization in sequent natural deduction. Annals of Pure and Applied Logic 58: 111–148.CrossRefGoogle Scholar
  3. Gentzen, Gerhard. 1969. Collected papers, ed. Manfred E. Szabo. Amsterdam: North-Holland.Google Scholar
  4. Prawitz, Dag. 1971. Ideas and results in proof theory. In Proceedings of the second Scandinavian logic symposium, ed. Jens Erik Fenstad, 235–307. Amsterdam: North-Holland.CrossRefGoogle Scholar
  5. Prawitz, Dag. 2006. Natural deduction. A proof-theoretical study. Mineola: Dover.Google Scholar
  6. 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
  7. Read, Stephen. 2010. General-elimination harmony and the meaning of the logical constants. Journal of Philosophical Logic 39: 557–576.CrossRefGoogle Scholar
  8. Shoesmith, David John, and Timothy John Smiley. 1978. Multiple-conclusion logic. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
  9. Ungar, Anthony M. 1992. Normalization, cut-elimination and the theory of proofs. Stanford: CSLI.Google Scholar
  10. Wansing, Heinrich. 2006. Connectives stranger than tonk. Journal of Philosophical Logic 35: 653–660.CrossRefGoogle Scholar
  11. Zimmermann, Ernst. 2002. Peirce’s rule in natural deduction. Theoretical Computer Science 275: 561–574.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  • Carlo Cellucci
    • 1
  1. 1.Sapienza University of RomeRomeItaly

Personalised recommendations