History and Philosophy of Logic 18 (4):201-209 (1997)

Authors
Kai Wehmeier
University of California, Irvine
Abstract
In a letter to Frege of 29 December 1899, Hilbert advances his formalist doctrine, according to which consistency of an arbitrary set of mathematical sentences is a sufficient condition for its truth and for the existence of the concepts described by it. This paper discusses Frege's analysis, as carried out in the context of the Frege-Hilbert correspondence, of the formalist approach in particular and the axiomatic method in general. We close with a speculation about Frege's influence on Hilbert's later work in foundations, which we consider to have been greater than previously assumed. This conjecture is based on a hitherto neglected revision of Hilbert's talk "Über den Zahlbegriff".
Keywords Hilbert  Frege  axiomatic method
Categories (categorize this paper)
DOI 10.1080/01445349708837289
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,130
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

Introduction to Mathematical Logic.Alonzo Church - 1944 - Princeton: Princeton University Press.
Introduction to Mathematical Logic.Alonzo Church - 1944 - London: Oxford University PRess.

View all 13 references / Add more references

Citations of this work BETA

Remarks on Independence Proofs and Indirect Reference.Günther Eder - 2013 - History and Philosophy of Logic 34 (1):68-78.

Add more citations

Similar books and articles

Frege, Hilbert, and the Conceptual Structure of Model Theory.William Demopoulos - 1994 - History and Philosophy of Logic 15 (2):211-225.
Frege's New Science.G. Aldo Antonelli & Robert C. May - 2000 - Notre Dame Journal of Formal Logic 41 (3):242-270.
Letter to Frege, 29.Xii.1899.David Hilbert - 1899 - In Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart, Brian McGuinness & Hans Kaal (eds.), Gottlob Frege: Philosophical and Mathematical Correspondence. pp. 38--41.
The Frege-Hilbert Controversy.Patricia Blanchette - 2007 - The Stanford Encyclopedia of Philosophy.
Frege on Consistency and Conceptual Analysis.Patricia A. Blanchette - 2007 - Philosophia Mathematica 15 (3):321-346.
The Frege-Hilbert Correspondence.Gottlob Frege - 1895 - In Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart, Brian McGuinness & Hans Kaal (eds.), Gottlob Frege: Philosophical and Mathematical Correspondence. Blackwell. pp. 33--51.
Hilbert's Program Then and Now.Richard Zach - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447.
Hilberts Logik. Von der Axiomatik zur Beweistheorie.Volker Peckhaus - 1995 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 3 (1):65-86.

Analytics

Added to PP index
2010-09-02

Total views
54 ( #210,177 of 2,506,442 )

Recent downloads (6 months)
1 ( #416,997 of 2,506,442 )

How can I increase my downloads?

Downloads

My notes