David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
History and Philosophy of Logic 20 (1):1-31 (1999)
Natural deduction is the type of logic most familiar to current philosophers, and indeed is all that many modern philosophers know about logic. Yet natural deduction is a fairly recent innovation in logic, dating from Gentzen and Ja?kowski in 1934. This article traces the development of natural deduction from the view that these founders embraced to the widespread acceptance of the method in the 1960s. I focus especially on the different choices made by writers of elementary textbooks?the standard conduits of the method to a generation of philosophers?with an eye to determining what the ?essential characteristics? of natural deduction are
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
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
P. N. Johnson-Laird & Ruth M. J. Byrne (1991). Deduction. Monograph Collection (Matt - Pseudo).
Stephen Cole Kleene (1952). Introduction to Metamathematics. North Holland.
Dag Prawitz (1965/2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
P. F. Strawson (1952). Introduction to Logical Theory. New York, Wiley.
Alonzo Church (1944). Introduction to Mathematical Logic. London, H. Milford, Oxford University Press.
Citations of this work BETA
Benjamin Schnieder (2011). A Logic for 'Because'. Review of Symbolic Logic 4 (3):445-465.
Allen P. Hazen & Francis Jeffry Pelletier (2014). Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. Studia Logica 102 (6):1103-1142.
Anders Kraal (2011). Logic and Divine Simplicity. Philosophy Compass 6 (4):282-294.
Daniel J. Velleman (2006). Variable Declarations in Natural Deduction. Annals of Pure and Applied Logic 144 (1):133-146.
Similar books and articles
James W. Garson (2010). Expressive Power and Incompleteness of Propositional Logics. Journal of Philosophical Logic 39 (2):159-171.
Michel Parigot (1997). Proofs of Strong Normalisation for Second Order Classical Natural Deduction. Journal of Symbolic Logic 62 (4):1461-1479.
Francis Jeffry Pelletier (1998). Automated Natural Deduction in Thinker. Studia Logica 60 (1):3-43.
Moritz Cordes & Friedrich Reinmuth, A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-Theory.
Hartley Slater (2008). Harmonising Natural Deduction. Synthese 163 (2):187 - 198.
Greg Restall & Francesco Paoli (2005). The Geometry of Non-Distributive Logics. Journal of Symbolic Logic 70 (4):1108 - 1126.
Sara Negri & Jan von Plato (2001). Sequent Calculus in Natural Deduction Style. Journal of Symbolic Logic 66 (4):1803-1816.
Allard Tamminga & Koji Tanaka (1999). A Natural Deduction System for First Degree Entailment. Notre Dame Journal of Formal Logic 40 (2):258-272.
Yannis Delmas-Rigoutsos (1997). A Double Deduction System for Quantum Logic Based on Natural Deduction. Journal of Philosophical Logic 26 (1):57-67.
Added to index2010-08-10
Total downloads38 ( #85,870 of 1,724,879 )
Recent downloads (6 months)8 ( #81,171 of 1,724,879 )
How can I increase my downloads?