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)|
References found in this work BETA
Citations of this work BETA
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.
Similar books and articles
Proofs of Strong Normalisation for Second Order Classical Natural Deduction.Michel Parigot - 1997 - Journal of Symbolic Logic 62 (4):1461-1479.
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-Theory.Moritz Cordes & Friedrich Reinmuth - manuscript
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
A Natural Deduction System for First Degree Entailment.Allard Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
A Double Deduction System for Quantum Logic Based on Natural Deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Added to index2010-08-10
Total downloads60 ( #83,332 of 2,146,854 )
Recent downloads (6 months)3 ( #226,179 of 2,146,854 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.