Cut as Consequence

History and Philosophy of Logic 31 (4):349-379 (2010)

Curtis Franks
University of Notre Dame
The papers where Gerhard Gentzen introduced natural deduction and sequent calculi suggest that his conception of logic differs substantially from the now dominant views introduced by Hilbert, Gödel, Tarski, and others. Specifically, (1) the definitive features of natural deduction calculi allowed Gentzen to assert that his classical system nk is complete based purely on the sort of evidence that Hilbert called ?experimental?, and (2) the structure of the sequent calculi li and lk allowed Gentzen to conceptualize completeness as a question about the relationships among a system's individual rules (as opposed to the relationship between a system as a whole and its ?semantics?). Gentzen's conception of logic is compelling in its own right. It is also of historical interest, because it allows for a better understanding of the invention of natural deduction and sequent calculi.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2011
DOI 10.1080/01445340.2010.522365
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,305
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Die Grundlagen der Arithmetik.Gottlob Frege - 1988 - Felix Meiner Verlag.
Grundlagen der Arithmetik.Gottlob Frege - 1884 - Breslau: Wilhelm Koebner.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge: Harvard University Press.
Tarski on Truth and Logical Consequence.John Etchemendy - 1988 - Journal of Symbolic Logic 53 (1):51-79.
From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.

View all 30 references / Add more references

Citations of this work BETA

Early Structural Reasoning. Gentzen 1932.Enrico Moriconi - 2015 - Review of Symbolic Logic 8 (4):662-679.
The Context of Inference.Curtis Franks - 2018 - History and Philosophy of Logic 39 (4):365-395.

Add more citations

Similar books and articles


Added to PP index

Total views
55 ( #157,544 of 2,280,054 )

Recent downloads (6 months)
6 ( #186,586 of 2,280,054 )

How can I increase my downloads?


My notes

Sign in to use this feature