David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 137 (1-2):59 - 101 (2003)
The aim of the paper is to discuss the influence exercised by Russell's thought inGöttingen in the period leading to the formulation of Hilbert's program in theearly twenties. I show that after a period of intense foundational work, culminatingwith the departure from Göttingen of Zermelo and Grelling in 1910 we witnessa reemergence of interest in foundations of mathematics towards the end of 1914. Itis this second period of foundational work that is my specific interest. Through theuse of unpublished archival sources I will describe how Hilbert, Behmann, and Bernays,among others, were influenced by and reacted to the technical and philosophical thesespresented in Principia Mathematica. I also argue that there are some elements of continuity between Russell's approach and Hilbert's program as it was presented inthe early twenties.
|Keywords||No keywords specified (fix it)|
|Categories||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.
José Ferreirós (2009). Hilbert, Logicism, and Mathematical Existence. Synthese 170 (1):33 - 70.
Kai F. Wehmeier (1997). Aspekte der frege–hilbert-korrespondenz. History and Philosophy of Logic 18 (4):201-209.
Panu Raatikainen (2003). Hilbert's Program Revisited. Synthese 137 (1-2):157 - 177.
Thomas Hofweber (2000). Proof-Theoretic Reduction as a Philosopher's Tool. Erkenntnis 53 (1-2):127-146.
Richard Zach (2006). Hilbert's Program Then and Now. In Dale Jacquette (ed.), Philosophy of Logic. North Holland. 5--411.
Paolo Mancosu (ed.) (1998). From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s. Oxford University Press.
Wilfried Sieg (1999). Hilbert's Programs: 1917-1922. Bulletin of Symbolic Logic 5 (1):1-44.
Paolo Mancosu (1999). Between Russell and Hilbert: Behmann on the Foundations of Mathematics. Bulletin of Symbolic Logic 5 (3):303-330.
Added to index2009-01-28
Total downloads9 ( #126,592 of 1,004,715 )
Recent downloads (6 months)1 ( #64,743 of 1,004,715 )
How can I increase my downloads?