David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 137 (1-2):141 - 156 (2003)
It is shown that David Hilbert's formalistic approach to axiomaticis accompanied by a certain pragmatism that is compatible with aphilosophical, or, so to say, external foundation of mathematics.Hilbert's foundational programme can thus be seen as areconciliation of Pragmatism and Apriorism. This interpretation iselaborated by discussing two recent positions in the philosophy ofmathematics which are or can be related to Hilbert's axiomaticalprogramme and his formalism. In a first step it is argued that thepragmatism of Hilbert's axiomatic contradicts the opinion thatHilbert style axiomatical systems are closed systems, a reproachposed by Carlo Cellucci. In the second section the question isdiscussed whether Hilbert's pragmatism in foundational issuescomes close to an a-philosophical ``naturalism in mathematics'' assuggested by Penelope Maddy. The answer is ``no'', because forHilbert philosophy had its specific tasks in the general projectto found mathematics. This is illuminated in the concludingsection giving further evidence for Hilbert's foundationalapriorism by discussing his ``axiom of the existence of mind'' andrelating it to the ``one and only axiom'' of the German algebraistof logic, Ernst Schröder, postulating the inherence of signs onthe paper.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Paolo Mancosu (ed.) (1998). From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s. Oxford University Press.
Enrico Moriconi (2003). On the Meaning of Hilbert's Consistency Problem (Paris, 1900). Synthese 137 (1-2):129 - 139.
Michael Stoeltzner, How Metaphysical is "Deepening the Foundations"? - Hahn and Frank on Hilbert's Axiomatic Method.
Yvon Gauthier (1994). Hilbert and the Internal Logic of Mathematics. Synthese 101 (1):1 - 14.
Kai F. Wehmeier (1997). Aspekte der frege–hilbert-korrespondenz. History and Philosophy of Logic 18 (4):201-209.
José Ferreirós (2009). Hilbert, Logicism, and Mathematical Existence. Synthese 170 (1):33 - 70.
Richard Zach (2006). Hilbert's Program Then and Now. In Dale Jacquette (ed.), Philosophy of Logic. North Holland. 5--411.
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.
Richard Zach (2004). Hilbert's 'Verunglückter Beweis', the First Epsilon Theorem, and Consistency Proofs. History and Philosophy of Logic 25 (2):79-94.
Added to index2009-01-28
Total downloads21 ( #67,347 of 1,004,212 )
Recent downloads (6 months)1 ( #64,617 of 1,004,212 )
How can I increase my downloads?