From Axiomatic Logic to Natural Deduction

• Published in: Studia logica Vol. 102; no. 6; pp. 1167 - 1184
• Main Author: von Plato, Jan
• Format: Journal Article
• Language: English
• Published: Dordrecht Springer Science+Business Media B. V 01-12-2014; Springer Netherlands
• Subjects: Axiomatization; Axioms; Computational Linguistics; Education; Inference; Logic; Logical disjunction; Logical givens; Logical proofs; Mathematical logic; Mathematical Logic and Foundations; Natural deduction calculus; Philosophy; Sequent calculus; Natural deduction; Gentzen; Axiomatic logic
• ISSN: 0039-3215; 1572-8730
• DOI: 10.1007/s11225-014-9565-0

Recently discovered documents have shown how Gentzen had arrived at the final form of natural deduction, namely by trying out a great number of alternative formulations. What led him to natural deduction in the first place, other than the general idea of studying "mathematical inference as it appears in practice," is not indicated anywhere in his publications or preserved manuscripts. It is suggested that formal work in axiomatic logic lies behind the birth of Gentzen's natural deduction, rather than any single decisive influence in the work of others. Various axiomatizations are explored in turn, from the classical axioms of Hubert and Ackermann to the intuitionistic axiomatization of Heyting.