Hilbert's formalism

Revue Internationale de Philosophie 47 (186):285-304 (1993)
  Copy   BIBTEX

Abstract

Various parallels between Kant's critical program and Hilbert's formalistic program for the philosophy of mathematics are considered.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hilbert's formalism and arithmetization of mathematics.Judson C. Webb - 1997 - Synthese 110 (1):1-14.
Husserl Between Frege’s Logicism And Hilbert’s Formalism.Ulrich Majer - 2009 - In Baltic International Yearbook of Cognition, Logic and Communication. pp. 1-21.
Paul Gochet, Introduction 249 Hourya Sinaceur, Du formalisme à la constructivité: le finitisme 251 Michael Detlefsen, Hilbert's Formalism 285 Yvon Gauthier, Hilbert et la logique interne des mathématiques 305. [REVIEW]Ulrich Majer, Jean-Paul Van Bendegem, Nelson Goodman & Catherine Elgin - 1993 - Revue Internationale de Philosophie 47:247.
De la matemática clásica a la matemática moderna: Hilbert y el esquematismo kantiano [From Classical to Modern Mathematics: Hilbert’s Formalism and Kant’s Schematism].Carlos Torres Alcaraz - 2009 - Dianoia 54 (63):37-70.
Formalism.Michael Detlefsen - 2005 - In Stewart Shapiro, Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 236--317.
Hilbert program of formalism as a working philosophical direction for consideration of the bases of mathematics.N. V. Mikhailova - 2015 - Liberal Arts in Russia 4 (6):534.
De Kant à Gentzen, en passant par Brouwer, Hilbert et Frege.Pierre Cassou-Noguès - 2005 - Philosophia Scientiae 9-2 (9-2):205-223.
Wittgenstein's Early Philosophy of Mathematics.Pasquale Frascolla - 2017 - In Hans-Johann Glock & John Hyman, A Companion to Wittgenstein. Chichester, West Sussex, UK: Wiley-Blackwell. pp. 305–318.
Mic Detlefsen, Hilbert’s Program.Jean-Jacques Szczeciniarz - 2024 - Noesis 38:45-74.
Hilbert’s Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: Reidel.

Analytics

Added to PP
2014-01-22

Downloads
2 (#2,335,570)

6 months
1 (#2,187,047)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Michael Detlefsen
Michael Detlefsen
Last affiliation: University of Notre Dame

Citations of this work

Mathematical Pluralism.Edward N. Zalta - 2024 - Noûs 58 (2):306-332.
Domain Extension and Ideal Elements in Mathematics†.Anna Bellomo - 2021 - Philosophia Mathematica 29 (3):366-391.
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1):157-177.
Gödel, Kant, and the Path of a Science.Srećko Kovač - 2008 - Inquiry: Journal of Philosophy 51 (2):147-169.

View all 27 citations / Add more citations

References found in this work

No references found.

Add more references