Completeness before post: Bernays, Hilbert, and the development of propositional logic

Bulletin of Symbolic Logic

Volumn 5, Issue 3, 1999, Pages 331-366

  Zach, Richard ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033246736     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/421184     Document Type: Article

References (74)

1. VITO MICHELE ABRUSCI, David Hilbert's Vorlesungen on logic and the foundations of mathematics. Atti del convegno internazionale di storia della logica, le teorie delle modalità. 5-8 December 1987, San Gimignano (Bologna) (Giovanna Corsi, Corrado Mangione, and Massimo Mugnai, editors), CLUEB, 1989, pp. 333-338.
2. WILHELM ACKERMANN, Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, Mathematische Annalen, vol. 93 (1925), pp. 1-36.
3. HEINRICH BEHMANN, Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem, Mathematische Annalen, vol. 86 (1922), pp. 163-229.
4. _, Mathematische Logik, Universität Göttingen, Sommer-Semester 1922. Unpublished lecture notes. Behmann Nachlaß, Institut für Philosophie, Universität Erlangen.
5. PAUL BERNAYS, Beiträge zur axiomatischen Behandlung des Logik-Kalküls, Habilitationsschrift, Universität Göttingen, 1918, Bernays Nachlaß, WHS, Bibliothek, ETH Zürich, Hs 973.192.
6. _, Axiomatische Untersuchungen des Aussagen-Kalkuls der "Principia Mathematica", Mathematische Zeitschrift, vol. 25 (1926), pp. 305-20.
7. _, Probleme der theoretischen Logik, Unterrichtsblätter für Mathematik und Naturwissenschaften, vol. 33 (1927), pp. 369-77.
8. _, Axiomatic set theory, North-Holland, Amsterdam, 1958.
9. -, A short biography. , Sets and classes (Gert H. Müller, editor), North-Holland, Amsterdam, 1976, pp. xi-xiii.
10. _, Interviews with J.-P. Sydler and E. Clavadetscher, Bernays Nachlaß, WHS, ETH Zürich, T 1285, 1977.
11. PAUL BERNAYS and MOSES SCHÖNFINKEL, Zum Entscheidlingsproblem der mathematischen Logik, Mathematische Annalen, vol. 99 (1928), pp. 342-372.
12. GARRETT BIRKHOFF and MARY KATHERINE BENNETT, Hilbert's "Grundlagen der Geometrie", Rendiconti del Circolo Matematico di Palermo, Serie II, vol. 36 (1987), pp. 343-389.
13. I. M. BOCHEŃSKI, Formale Logik, Alber, Freiburg, 1956.
14. ALONZO CHURCH, Introduction to mathematical logic, Princeton University Press, Princeton, N.J., 1956.
15. JOHN CORCORAN, Categoricity, History and Philosophy of Logic, vol. 1 (1980), pp. 187-207.
16. _, From categoricity to completeness, History and Philosophy of Logic, vol. 2 (1981), pp. 113-119.
17. MARTIN DAVIS, Emil L. Post: His life and work, Solvability, provability, definability: The collected works of Emil L. Post (Martin Davis, editor), Birkhäuser, Boston, 1994, pp. xi-xxviii.
18. _, American logic in the 1920s, this BULLETIN, vol. 1 (1995), pp. 273-278.
19. KOSTA DOŠEN, A historical introduction to substructural logics, Substructural logics (Peter Schröder-Heister and Kosta Došen, editors), Oxford University Press, Oxford, 1993, pp. 1-30.
20. BURTON DREBEN and JEAN VAN HEIJENOORT, Introductory note to Gödel 1929, 1930, and 1930a, In Feferman et al. [22], pp. 44-59.
21. William Bragg Ewald (editor), From Kant to Hilbert. A source book in the foundations of mathematics, vol. 2, Oxford University Press, Oxford, 1996.
22. Solomon Feferman et al.(editors), Kurt Gödel. Collected works, vol. 1, Oxford University Press, Oxford, 1986.
23. GERHARD GENTZEN, Untersuchungen über das logische Schließen I-II, Mathematische Zeitschrift, vol. 39 (1934), pp. 176-210, 405-431.
24. _, The collected papers of Gerhard Gentzen, North-Holland, Amsterdam, 1969.
25. KURT GÖDEL, Über die Vollständigkeit des Logikkalküls, Dissertation, Universität Wien, 1929, Reprinted and translated in [22], pp. 60-101.
26. _, Zum intuitionistischen Aussagenkalkül, Anzeiger der Akademie der Wissenschaften in Wien, vol. 69 (1932), pp. 65-66, Reprinted and translated in [22], pp. 222-225.
27. AREND HEYTING, Die formalen Regeln der intuitionistischen Logik, Sitzungsberichte der Preussischen Akademie der Wissenschaften (1930), pp. 42-56, Translated in [56], pp. 311-334.
28. DAVID HILBERT, Mathematische Probleme, Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Math.-Phys. Klasse (1900), pp. 253-297, Lecture given at the International Congress of Mathematicians, Paris, 1900.
29. _, Über den Zahlbegriff, Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 8 (1900), pp. 180-84.
30. _, Grundlagen der Geometrie, 2nd ed., Teubner, Leipzig, 1903.
31. _, Logische Principien des mathematischen Denkens, Vorlesung, Sommer-Semester 1905. Lecture notes by Ernst Hellinger. Unpublished manuscript. Bibliothek, Mathematisches Institut, Universität Göttingen.
32. _, Über die Grundlagen der Logik und der Arithmetik, Verhandlungen des dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8. bis 13. August 1904 (Leipzig) (A. Krazer, editor), Teubner, 1905, English translation in [73], pp. 129-38, pp. 174-85.
33. _, Prinzipien der Mathematik, Lecture notes by Paul Bernays. Winter-Semester 1917-18. Unpublished typescript. Bibliothek, Mathematisches Institut, Universität Göttingen.
34. _, Axiomatisches Denken, Mathematische Annalen, vol. 78 (1918), pp. 405-15, Lecture given at the Swiss Society of Mathematicians, 11 September 1917. Reprinted in [42], pp. 146-56. English translation in [21], pp. 1105-1115.
35. _, Logik-Kalkül, Vorlesung, Winter-Semester 1920. Lecture notes by Paul Bernays. Unpublished typescript. Bibliothek, Mathematisches Institut, Universität Göttingen.
36. _, Grundlagen der Mathematik, Vorlesung, Winter-Semester 1921-22. Lecture notes by Paul Bernays. Unpublished typescript. Bibliothek, Mathematisches Institut, Universität Göttingen.
37. _, Neubegründung der Mathematik: Erste Mitteilung, Abhandlungen aus dem Seminar der Hamburgischen Universität, vol. 1 (1922), pp. 157-77, Reprinted with notes by Bernays in [42], pp. 157-177, English translation in [21], pp. 1115-1134.
38. _, Die logischen Grundlagen der Mathematik, Mathematische Annalen, vol. 88 (1923), pp. 151-165, Lecture given at the Deutsche Naturforscher-Gesellschaft, September 1922. Reprinted in [42], pp. 178-191. English translation in [21], pp. 1134-1148.
39. _, Die Grundlagen der Mathematik, Abhandlungen aus dem Seminar der Hamburgischen Universität, vol. 6 (1928), pp. 65-85, English translation in [73], pp. 464-479.
40. _, Probleme der Grundlegung der Mathematik, Atti del congresso internazionale deimatematici. 3-10 September 1928, Bologna (Nicola Zanichelli, editor), 1928, pp. 135-141.
41. _, Probleme der Grundlegung der Mathematik, Mathematische Annalen, vol. 102 (1929), pp. 1-9, Lecture given at the International Congress of Mathematicians, 3 September 1928. English translation in [56], pp. 266-273.
42. _, Gesammelte Abhandlungen, vol. 3, Springer, Berlin, 1935.
43. DAVID HILBERT and WILHELM ACKERMANN, Grundzüge der theoretischen Logik, Springer, Berlin, 1928.
44. DAVID HILBERT and PAUL BERNAYS, Logische Grundlagen der Mathematik, Winter-Semester 1922-23. Lecture notes by Helmut Kneser. Unpublished manuscript.
45. _, Logische Grundlagen der Mathematik. Vorlesung, Winter-Semester 1922-23. Lecture notes by Paul Bernays, with handwritten notes by Hilbert. Hilbert-Nachlaß, Niedersächsische Staats-und Universitätsbibliothek, Cod. Ms. Hilbert 567, 1922-23.
46. _, Grundlagen der Mathematik, vol. 1, Springer, Berlin, 1934.
47. _, Grundlagen der Mathematik, vol. 2, Springer, Berlin, 1939.
48. EDWARD V. HUNTINGTON, The inter-deducibility of the new Hilbert-Bernays theory and Principia Mathematica, Annals of Mathematics, vol. 36 (1935), pp. 313-324.
49. JøRGEN JøRGENSEN, A treatise of formal logic, Levin & Munksgaard, Copenhagen, 1931.
50. WILLIAM KNEALE and MARTHA KNEALE, The development of logic, Oxford University Press, Oxford, 1962.
51. JULIUS KÖNIG, Neue Grundlagen der Logik, Arithmetik und Mengenlehre, Veit, 1914.
52. HENRI LAUENER, Paul Bernays (1888-1977), Zeitschrift für allgemeine Wissenschaftstheorie, vol. 9 (1978), pp. 13-20.
53. C. I. LEWIS, A survey of symbolic logic, University of California Press, Berkeley, 1918.
54. JAN ŁUKASIEWICZ, Démonstration de la compatibilité des axiomes de la théorie de la déduction (Abstract), Annales de la Société Polonaise de Mathématique, vol. 3 (1924), p. 149, Talk given 13 June 1924.
55. ULRICH MAJER, Husserl and Hilbert on completeness, Synthese, vol. 110 (1997), pp. 37-56.
56. Paolo Mancosu (editor), From Brouwer to Hilbert. The debate on the foundations of mathematics in the 1920s, Oxford University Press, Oxford, 1998.
57. _, Hilbert and Bernays on metamathematics, In From Brouwer to Hilbert [56], pp. 149-188.
58. _, Between Russell and Hilbert: Behmann on the foundations of mathematics, this BULLETIN, vol. 5 (1999), no. 3 (this issue), pp. 303-330.
59. JOHANNES MOLLERUP, Die Definition des Mengenbegriffs, Mathematische Annalen, vol. 64 (1907), pp. 231-238.
60. GREGORY H. MOORE, Hilbert and the emergence of modern mathematical logic, Theoria (Segunda Época), vol. 12 (1997), pp. 65-90.
61. DANIEL J. O'LEARY, The propositional logic of Principia Mathematica and some of its forerunners, Russell, vol. 8 (1988), pp. 92-115.
62. VOLKER PECKHAUS, Hilbertprogramm und Kritische Philosophie, Vandenhoeck und Ruprecht, Göttingen, 1990.
63. _, Logic in transition: The logical calculi of Hilbert (1905) and Zermelo (1908), Logic and philosophy of science in uppsala (Dag Prawitz and Dag Westerståhl, editors), Kluwer, Dordrecht, 1994, pp. 311-323.
64. _, Hilberts Logik: Von der Axiomatik zur Beweistheorie, Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin, vol. 3 (1995), pp. 65-86.
65. EMIL L. POST, Introduction to a general theory of elementary propositions, American Journal of Mathematics, vol. 43 (1921), pp. 163-185.
66. CONSTANCE REID, Hilbert, Springer, New York, 1970.
67. BERTRAND RUSSELL, The theory of implication, American Journal of Mathematics, vol. 28 (1906), pp. 159-202.
68. ERNST SCHRÖDER, Vorlesungen über die Algebra der Logik, vol. 1, Teubner, Leipzig, 1890.
69. WILFRIED SIEG, Hilbert's programs: 1917-1922, this BULLETIN, vol. 5 (1999), no. 1, pp. 1-44.
70. ERNST SPECKER, Paul Bernays, Logic colloquium '78 (M. Boffa, D. van Dalen, and K. McAloon, editors), North-Holland, Amsterdam, 1979, pp. 381-89.
71. STANSŁAW J. SURMA. A historical survey of the significant methods of proving Post's theorem about the completeness of the classical propositional calculus, Studies in the history of mathematical logic (Stanisław J. Surma, editor), Polish Academy of Sciences, Institute of Philosophy and Sociology, Wrocław, 1973, pp. 19-32.
72. MICHAEL-MARKUS TOEPELL, Über die Entstehung von Hilbert's "Grundlagen der Geometrie", Vandenhoek und Ruprecht, Göttingen, 1986.
73. Jean van Heijenoort (editor), From Frege to Gödel. A source book in mathematical logic, 1897-1931, Harvard University Press, Cambridge, Mass., 1967.
74. ALFRED NORTH WHITEHEAD and BERTRAND RUSSELL, Principia mathematica, vol. 1, Cambridge University Press, Cambridge, 1910.