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)|
No categories specified
(categorize this paper)
|Through your library||Configure|
Similar books and articles
Richard Zach (1999). Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic. Bulletin of Symbolic Logic 5 (3):331-366.
Wilfried Sieg (1999). Hilbert's Programs: 1917-1922. Bulletin of Symbolic Logic 5 (1):1-44.
Enrico Moriconi (2003). On the Meaning of Hilbert's Consistency Problem (Paris, 1900). Synthese 137 (1-2):129 - 139.
José Ferreirós (2009). Hilbert, Logicism, and Mathematical Existence. Synthese 170 (1):33 - 70.
Richard Zach (2004). Hilbert's 'Verunglückter Beweis', the First Epsilon Theorem, and Consistency Proofs. History and Philosophy of Logic 25 (2):79-94.
Richard Zach (2003). The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program. Synthese 137 (1-2):211 - 259.
Kai F. Wehmeier (1997). Aspekte der Frege–Hilbert-Korrespondenz. History and Philosophy of Logic 18 (4):201-209.
Volker 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.
Added to index2009-01-28
Total downloads7 ( #142,281 of 722,787 )
Recent downloads (6 months)1 ( #60,541 of 722,787 )
How can I increase my downloads?