Abstract
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.
Similar content being viewed by others
REFERENCES
Bernays, Paul: 1922, ‘Die Bedeutung Hilberts für die Philosophie der Mathematik’, Die Naturwissenschaften 31, 93–99; English translation ‘Hilbert's Significance for the Philosophy of Mathematics’, in Mancosu 1998, pp. 189-197.
Bernays, Paul: 1930/31, ‘Die Philosophie der Mathematik und die Hilbertsche Beweistheorie’, Blätter für Deutsche Philosophie 4, 326–367; again in Bernays 1976, pp. 17-61.
Bernays, Paul: 1976, Abhandlungen zur Philosophie der Mathematik, Wissenschaftliche Buchgesellschaft, Darmstadt.
Cellucci, Carlo: 1993, ‘From Closed to Open Systems’, in Johannes Czermak (ed.), Philosophie der Mathematik. Akten des 15. Internationalen Wittgenstein-Symposiums I. 16. bis 23. August 1992. Kirchberg am Wechsel (Österreich), Verlag Hölder-Pichler-Tempsky, Wien, pp. 206–220.
Cellucci, Carlo: 1996, ‘Mathematical Logic:What Has it Done for the Philosophy of Mathematics’, in Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel, A.K. Peters, Wellesley, MA, pp. 365–388.
Cellucci, Carlo: 1998, Le Ragioni della Logica, Laterza (Biblioteca di Cultura Moderna), Rome, p. 1136.
Cellucci, Carlo: 2000, ‘The Growth of Mathematical Knowledge: An Open World View’, in Emily Grosholz and Herbert Breger (eds.), The Growth of Mathematical Knowledge, Kluwer Academic Publishers, Dordrecht/Boston/London (Synthese Library, Vol. 289, pp. 153-177).
Ewald, William (ed.): 1996, From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Vol. II, Clarendon Press, Oxford.
Frege, Gottlob: 1884, Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl, Wilhelm Koebner, Breslau; critical edition: Frege 1986.
Frege, Gottlob: 1899, Ueber die Zahlen des Herrn H. Schubert, Hermann Pohle, Jena; again in Frege 1967, pp. 240–261, reprinted in Frege 1999.
Frege, Gottlob: 1967, Kleine Schriften, in Ignacio Angelelli (ed.), Wissenschaftliche Buchgesellschaft, Darmstadt, Olms, Hildesheim, 21990.
Frege, Gottlob: 1986, Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl. Centenarausgabe, with supplementing texts critically edited by Christian Thiel, Felix Meiner, Hamburg.
Frege, Gottlob: 1999, Zwei Schriften zur Arithmetik. Function und Begriff. Ñber die Zahlen des Herrn H. Schubert, in Wolfgang Kienzler (ed.), Olms, Hildesheim.
Freudenthal, Hans: 1957, ‘Zur Geschichte der Grundlagen der Geometrie. Zugleich eine Besprechung der 8. Aufl. von Hilberts “Grundlagen der Geometrie”’, Nieuw Archief voor Wiskunde (4) 5, 105–142.
Gillies, Donald: 1999, ‘Review of Cellucci 1998’, Philosophia Mathematica, ser. III, 7, 213–222.
Hessenberg, Gerhard: 1904a, ‘Ñber die kritische Mathematik’, Sitzungsberichte der Berliner Mathematischen Gesellschaft 3, 21–28; 20th convention, 25 November 1903, appendix to Archiv der Mathematik und Physik (3) 7.
Hilbert, David: 1899, ‘Grundlagen der Geometrie’, in Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen, edited by the Fest-Comitee, Leipzig, 14th edn., pp. 1–92, Hilbert 1999. English translation by Hilbert 1902a.
Hilbert, David: 1900, ‘Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Kongreß zu Paris 1900’, Nachrichten von der königl. Gesellschaft der Wissenschaften zu Göttingen. Mathematisch-physikalische Klasse aus dem Jahre 1900, pp. 253–297. English translation by Hilbert 1902b.
Hilbert, David: 1902a, The Foundations of Geometry, translation by E. J. Townsend, Open Court, Chicago.
Hilbert, David: 1902b, ‘Mathematical Problems. Lecture Delivered before the International Congress of Mathematicians at Paris in 1900’, translated by Mary Winston Newson, Bulletin of the American Mathematical Society 8, 437–479.
Hilbert, David: 1902/03, ‘Ñber den Satz von der Gleichheit der Basiswinkel im gleichschenkligen Dreieck’, Proceedings of the London Mathematical Society 35, 50–68.
Hilbert, David: 1905a, ‘Logische Principien des mathematischen Denkens’, lecture course, summer term 1905, lecture notes by Ernst Hellinger (library of the Department of Mathematics, University of Göttingen).
Hilbert, David: 1905b, ‘Logische Principien des mathematischen Denkens’, lecture course, summer term 1905, lecture notes by M. Born, Staats-und Universitätsbibliothek Göttingen, Cod. Ms. D. Hilbert 558a.
Hilbert, David: 1918, ‘Axiomatisches Denken’, Mathematische Annalen 78, 405–415. English translation entitled ‘Axiomatic Thought’ in Ewald (ed.), 1996, pp. 1105-1115.
Hilbert, David: 1999, Grundlagen der Geometrie. Mit Supplementen von Paul Bernays, 14th edn., by Michael Toepell, B. G. Teubner, Stuttgart/Leipzig.
Kerry, Benno: 1890, ‘Ueber Anschauung und ihre psychische Verarbeitung (Siebenter Artikel)’, Vierteljahrsschrift für wissenschaftliche Philosophie 14, 317–343.
Maddy, Penelope: 1990, Realism in Mathematics, Clarendon Press, Oxford.
Maddy, Penelope: 1997, Naturalism in Mathematics, Clarendon Press, Oxford.
Mancosu, Paolo: 1998, From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s, Oxford University Press, New York/Oxford.
Mehrtens, Herbert: 1990, Moderne, Sprache, Mathematik. Eine Geschichte des Streits um die Grundlagen der Disziplin und des Subjekts formaler Systeme, Suhrkamp, Frankfurt a.M.
Nelson, Leonard: 1904, ‘Die kritische Methode und das Verhältnis der Psychologie zur Philosophie. Ein Kapitel aus der Methodenlehre’, Abhandlungen der Fries'schen Schule n. s. 1, 1–88.
Nelson, Leonard: 1906, ‘Kant und die Nicht-Euklidische Geometrie’, Das Weltall 6, 147–155, 174-182, 186-193.
Nelson, Leonard: 1928, ‘Kritische Philosophie und mathematische Axiomatik’, Unterrichtsblätter für Mathematik und Naturwissenschaften 34, 108–142.
Pappus von Alexandria: 1986, in Alexander Jones (ed.), Book 7 of the Collection, Vol. 1, Springer Verlag, New York (Sources in the History of Mathematics and Physical Sciences; 8).
Peckhaus, Volker: 1990, Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie, Vandenhoeck & Ruprecht, Göttingen (Studien zur Wissenschafts-, Sozial-und Bildungsgeschichte der Mathematik; 7).
Peckhaus, Volker: 1996, ‘The Axiomatic Method and Ernst Schröder's Algebraic Approach to Logic’, Philosophia Scientiae. Traveaux d'histoire et de philosophie des science (Nancy) 1/3, 1–15.
Peckhaus, Volker: 1997, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, Berlin (Logica Nova).
Quine, W. V: 1975, ‘Five Milestones of Empiricism’, reprinted in Quine 1981, Theories and Things, Harvard University Press, Cambridge, MA, pp. 67–72.
Reid, Constance: 1970, Hilbert. With an Appreciation of Hilbert's Mathematical Work by Hermann Weyl, Springer Verlag, New York/Heidelberg/Berlin.
Schröder, Ernst: 1873, Lehrbuch der Arithmetik und Algebra für Lehrer und Studirende, Vol. 1 [no further volumes]: Die sieben algebraischen Operationen, B. G. Teubner, Leipzig.
Schubert, Hermann: 1898, ‘Grundlagen der Arithmetik’, in Wilhelm Franz Meyer (ed.), Part. 1, Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen, Vol. 1: Arithmetik und Algebra, Teubner, Leipzig, 1898–1904, 1-27 [published 7 November 1898].
Sieg, Wilfried: 1999, ‘Hilbert's Programs: 1917-1922’, Bulletin of Symbolic Logic 5, 1–44.
Wiechert, Emil: 1899, ‘Grundlagen der Elektrodynamik’, in Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen, edited by the Fest-Comitee, Leipzig.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Peckhaus, V. The Pragmatism of Hilbert's Programme. Synthese 137, 141–156 (2003). https://doi.org/10.1023/A:1026235118657
Issue Date:
DOI: https://doi.org/10.1023/A:1026235118657