The pragmatism of Hilbert's programme

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 Philosophy   Philosophy   Epistemology   Logic   Metaphysics   Philosophy of Language
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1026235118657
 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,798
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

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.
Hilbert's Program Then and Now.Richard Zach - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447.
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
Added to PP index

Total downloads
52 ( #104,351 of 2,202,407 )

Recent downloads (6 months)
1 ( #300,203 of 2,202,407 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature