Hilbert and the emergence of modern mathematical logic
Theoria 12 (1):65-90 (1997)
| Abstract | Hilbert’s unpublished 1917 lectures on logic, analyzed here, are the beginning of modern metalogic. In them he proved the consistency and Post-completeness (maximal consistency) of propositional logic -results traditionally credited to Bernays (1918) and Post (1921). These lectures contain the first formal treatment of first-order logic and form the core of Hilbert’s famous 1928 book with Ackermann. What Bernays, influenced by those lectures, did in 1918 was to change the emphasis from the consistency and Post-completeness of a logic to its soundness and completeness: a sentence is provable if and only if valid. By 1917, strongly influenced by PM, Hilbert accepted the theory of types and logicism -a surprising shift. But by 1922 he abandoned the axiom of reducibility and then drew back from logicism, returning to his 1905 approach of trying to prove the consistency of number theory syntactically | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesVolker Peckhaus (1995). Hilberts Logik. Von der Axiomatik Zur Beweistheorie. NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 3 (1):65-86.
Kai F. Wehmeier (1997). Aspekte der Frege–Hilbert-Korrespondenz. History and Philosophy of Logic 18 (4):201-209.
Richard Zach (2003). The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program. Synthese 137 (1-2):211 - 259.
Richard Zach (2004). Hilbert's 'Verunglückter Beweis', the First Epsilon Theorem, and Consistency Proofs. History and Philosophy of Logic 25 (2):79-94.
José Ferreirós (2009). Hilbert, Logicism, and Mathematical Existence. Synthese 170 (1):33 - 70.
Enrico Moriconi (2003). On the Meaning of Hilbert's Consistency Problem (Paris, 1900). Synthese 137 (1-2):129 - 139.
Wilfried Sieg (1999). Hilbert's Programs: 1917-1922. Bulletin of Symbolic Logic 5 (1):1-44.
Richard Zach (1999). Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic. Bulletin of Symbolic Logic 5 (3):331-366.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads8 ( #123,161 of 549,122 )Recent downloads (6 months)1 ( #63,361 of 549,122 )How can I increase my downloads? |
My notes
Discussion
