Studia Logica 102 (6):1103-1142 (2014)

Gentzen’s and Jaśkowski’s formulations of natural deduction are logically equivalent in the normal sense of those words. However, Gentzen’s formulation more straightforwardly lends itself both to a normalization theorem and to a theory of “meaning” for connectives . The present paper investigates cases where Jaskowski’s formulation seems better suited. These cases range from the phenomenology and epistemology of proof construction to the ways to incorporate novel logical connectives into the language. We close with a demonstration of this latter aspect by considering a Sheffer function for intuitionistic logic.
Keywords Jaśkowski  Gentzen  Natural deduction  Classical logic  Intuitionistic logic  Inferential semantics  Generalized natural deduction  Sheffer functions
Categories (categorize this paper)
DOI 10.1007/s11225-014-9564-1
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,959
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

Counterfactuals.David Kellogg Lewis - 1973 - Cambridge, MA, USA: Blackwell.
Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - Oxford, Clarendon Press.

View all 66 references / Add more references

Citations of this work BETA

View all 9 citations / Add more citations

Similar books and articles

From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
A Note on the Proof Theory the λII-Calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
Gentzen's Proof of Normalization for Natural Deduction.Jan von Plato & G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2):240 - 257.
Jaśkowski and Gentzen Approaches to Natural Deduction and Related Systems.Andrzej Indrzejczak - 1998 - In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers. pp. 253--264.
Gentzen's Proof Systems: Byproducts in a Work of Genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
Harmonising Natural Deduction.Hartley Slater - 2008 - Synthese 163 (2):187 - 198.


Added to PP index

Total views
49 ( #230,977 of 2,504,815 )

Recent downloads (6 months)
8 ( #91,044 of 2,504,815 )

How can I increase my downloads?


My notes