A Brief History of Natural Deduction

History and Philosophy of Logic

Volumn 20, Issue 1, 1999, Pages 1-31

  Pelletier, Francis Jeffry ^a  

^a UNIVERSITY OF ALBERTA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 28044465271     PISSN: 01445340     EISSN: 14645149     Source Type: Journal    
DOI: 10.1080/014453499298165     Document Type: Article

References (55)

1. Anderson, A., and Johnstone, H., 1962. Natural Deduction, the Logical Basis of Axiom Systems, Belmont, CA:Wadsworth.
2. Anellis, I., 1991. Forty Years of “Unnatural” Natural Deduction and Quantification:A History of First-Order Systems of Natural Deduction from Gentzen, to Copi. Modern Logic, 2:113–152. See also Anellis, I. 1992. Correction, Modern Logic 3, 98
3. Bergmann, M., Mohr, J., and Nelson, J., 1980. The Logic Book, NY:Random House.
4. Bernays, P., 1936. Logical Calculus. Notes by Prof. Bernays with the assistance of F. A. Ficken at Institute for Advanced Study 1935–1936. Princeton, NJ
5. Bohnert, H., 1977. Logic:Its Use and Basis, Washington:University Press of America.
6. Bonevac, D., 1987. Deduction, Mountain View, CA:Mayfield Press.
7. Cellucci, C., 1995. On Quine's Approach to Natural Deduction, Edited by:Leonardi, P., and Santambrogio, M., 314–335. On Quine:New Essays, Cambridge:Cambridge University Press.
8. Chellas, B., 1997. Elementary Formal Logic, Calgary:Perry Lane Press.
9. Church, A., 1956. Introduction to Mathematical Logic, Vol. I, Princeton:Princeton University Press.
10. Cooley, J., 1942. A Primer of Formal Logic, NY:Macmillan Co.
11. Copi, I., 1954. Symbolic Logic, NY:Macmillan Co.
12. Copi, I., 1956. Another Variant of Natural Deduction. Journal of Symbolic Logic, 21:52–55.
13. Corcoran, J., 1973. A MathematicalModel of Aristotle's Syllogistic. Archiv für Geschichte der Philosophie,:191–219.
14. Curry, H., 1950. A Theory of Formal Deducibility, Notre Dame Mathematical Lectures, No. 6 Notre Dame, IN:Notre Dame University Press.
15. Curry, H., 1960/61. The Inferential Approach to Logical Calculus, Parts I and II. Logique et Analyse, 3:119–136. and 4, 5-22
16. Curry, H., 1963. Foundation s of Mathematical Logic, NY:McGraw-Hill.
17. Curry, H., 1965. “ Remarks on Inferential Deduction ”. In Contributions to Logic and Methodology, Edited by:Tymieniecka, A., Amsterdam:North-Holland.:In Honor of J. M. Bochenski
18. Feys, R., 1946. Les méthodes récentesde déduction naturelle. Revue philosophique de Louvain, 44:370–400.
19. Feys, R., 1965. Modal Logics, Edited by:Dopp, J., Louvain:E. Nauwelaerts.
20. Fitch, F., 1952. Symbolic Logic, NY:Roland Press.
21. Frege, G., 1879. Begriffschrift, Halle:L. Nebert. Translation in Conceptual Notation and Related Articles, Edited by:Bynum, T., 101–203. Oxford:Oxford UP. 1972
22. Gentzen, G., 1934/5. Untersuchungen über das logische Schliessen. Mathematische Zeitschrift, 39:176–210. 405–431. Translated as ‘Investigations into Logical Deduction’ and printed in M. Szabo, The Collected Papers of Gerhard Gentzen, Amsterdam:North-Holland, 1969, pp. 68-131
23. Hilbert, D., and Bernays, P., 1934/1939. Gundlagen der Mathematik, vol. 1, vol. 2, Berlin:Springer Verlag.
24. Johnson-Laird, P. N., and Byrne, R. M. J., 1991. Deduction, Hillsdale, NJ:Lawrence Erlbaum.
25. Jaśkowski, S., 1934. On the Rules of Suppositions in Formal Logic, Studia Logica, Vol. v.1, 232–258. Oxford:Oxford University Press. Reprinted in S. McCall, 1967. Polish Logic 1920–1939
26. Kalish, D., 1967. Review of I. Copi Symbolic Logic, 2nd Edition., Journal of Symbolic Logic 32 252–255.
27. Kalish, D., 1974. Review of I. Copi Symbolic Logic, 3rd Edition., Journal of Symbolic Logic 37 177–178.
28. Kalish, D., and Montague, R., 1964. Logic:Techniques of Formal Reasoning, NY:Harbourt, Brace, World.
29. Kearns, J., 1988. The Principles of Deductive Logic, Albany:SUNY Press.
30. Kleene, S., 1952. Introduction to Metamathematics, NY:van Nostrand.
31. Klenk, V., 1983. Understanding Symbolic Logic, Englewood Cliffs, NJ:Prentice-Hall.
32. Kozy, J., 1974. Understanding Natural Deduction, Encino, CA:Dickenson Pub. Co.
33. Leblanc, H., 1965. Minding One's X's and Y's. Logique et Analyse, 8:209–210.
34. Leblanc, H., and Wisdom, W., 1972. Deductive Logic, Boston:Allyn & Bacon.
35. Lemmon, E. J., 1965. Beginning Logic, London:Nelson.
36. Maslov, S., 1969. “ Relationship between Tactics of the Inverse Method and the Resolution Method ”. In Zapiski Nauchnykh Seminarov LOMI v.16 Edited by:Slisenko, A., 139–146. in Russian, English translation in Siekmann & Wrightson 1983. vol. 2, pp. 264-272.
37. Mates, B., 1965. Elementary Logic, NY:Oxford UP.
38. Mints, G., Three Faces of Natural Deduction, in Automated Reasoning with Analytic Tableaux and Related Methods. Proceedings of Tableaux 1997, Springer-Verlag Lecture Notes in Artificial Intelligence #1227. Berlin:Springer-Verlag.
39. Myro, G., Bedau, M., and Monroe, T., 1987. Rudiments of Logic, Englewood Cliffs:Prentice Hall.
40. Parry, W., 1965. Comments on a Variant Form of Natural Deduction. Journal of Symbolic Logic, 30:119–122.
41. Pollock, J., 1969. Introduction to Symbolic Logic, NY:Holt, Rinehart & Winston.
42. Prawitz, D., 1965. Natural Deduction:A Proof Theoretical Study, Stockholm:Almqvist & Wiksell.
43. Price, R., 1962. The Stroke Function and Natural Deduction. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 7:117–123.
44. Quine, W. V., 1940. Mathematical Logic, NY:Norton & Co.
45. Quine, W. V., 1950. Method of Logic, NY:Henry Holt & Co.
46. Quine, W. V., 1950b. On Natural Deduction. Journal of Symbolic Logic, 15:93–102.
47. Rips, L. J., 1994. The psychology of proof, Cambridge, MA:MIT Press.
48. Rosser, J. B., 1953. Logic for Mathematicians, NY:McGraw-Hill.
49. Slater, J., 1966. The Required Correction to Copi's Statement of UG. Logique et Analyse, 9:267
50. Strawson, P., 1952. Introduction to Logical Theory, London:Methuen.
51. Suppes, P., 1957. Introduction to Logic, Princeton:Van Nostrand/Reinhold Press.
52. Tapscott, B., 1976. Elementary Applied Symbolic Logic, Englewood Cliffs:Prentice-Hall.
53. Thomason, R., 1970. Symbolic Logic, NY:Macmillan.
54. van Dalen, D., 1980. Logic and Structure, Berlin:Springer-Verlag.
55. Wilson, J., 1992. Introductory Symbolic Logic, Belmont, CA:Wadsworth.