A Brief History of Natural Deduction

1 January 1999

journal article
research article
Published by Taylor & Francis in History and Philosophy of Logic

Vol. 20 (1) , 1-31
https://doi.org/10.1080/014453499298165

Abstract

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

This publication has 12 references indexed in Scilit:

Logic and Structure
Published by Springer Nature ,1980
Irving M. Copi. Symbolic logic. Third edition of XIX 282. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, xvi + 400 pp.
The Journal of Symbolic Logic, 1974
A Mathematical Model of Aristotle’s Syllogistic
Archiv für Geschichte der Philosophie, 1973
Irving M. Copi. Symbolic logic. Second, revised, edition of XIX 282. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1965, xviii + 395 pp.
The Journal of Symbolic Logic, 1967
Comments on a variant form of natural deduction
The Journal of Symbolic Logic, 1965
The Stroke Function in Natural Deduction
Mathematical Logic Quarterly, 1961
Another variant of natural deduction
The Journal of Symbolic Logic, 1956
On natural deduction
The Journal of Symbolic Logic, 1950
Les méthodes récentes de déduction naturelle
Revue Philosophique de Louvain, 1946
Untersuchungen ber das logische Schlie en. I
Mathematische Zeitschrift, 1935