Hilbert and the emergence of modern mathematical logic

Theoria 12 (1):65-90 (1997)
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 (categorize this paper)
DOI theoria199712138
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,719
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Hilberts Logik. Von der Axiomatik zur Beweistheorie.Volker Peckhaus - 1995 - NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 3 (1):65-86.
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
Hilbert's Programs: 1917-1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.
Added to PP index

Total downloads
53 ( #102,369 of 2,197,306 )

Recent downloads (6 months)
1 ( #299,047 of 2,197,306 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature