Ogawa, Yoshinori (Author)
The present study attempts to provide a new approach to Hilbert's philosophy of mathematics by going back to the origin of his foundational investigation and clearly describing the Problematik within which it was framed and developed. In so doing, its main objective is to identify and highlight the general intellectual tendencies invariably and continuously motivating Hilbert's research program throughout his long career. The study consists of two parts. In the first half, special emphasis is laid upon Hilbert's axiomatic method and his accompanying view of axioms and definitions. It is argued there that Hilbert's goal with his axiomatization program is to demonstrate the objectivity of mathematical judgment and inference and to systematize and thereby to increase our understanding of mathematics. The present study attempts to support this claim by embedding Hilbert's project in the context of the late nineteenth century movement of the rigorization of mathematics and by understanding it as a development of the methodological standpoint represented by Dedekind. On the interpretation presented here, then, Hilbert's foundational investigation was not, as is often claimed, motivated by the philosophical concerns for the absolute certainty and a prioricity of our mathematical knowledge and, indeed, it combated against the intrusion of such concerns by relegating framework-independent elements through the new methodological turn in the conception of axiomatics. In the second half of the study, this non-standard reading is extended to Hilbert's consistency program, and his first attempt of a direct consistency proof and Poincar's criticism of it are considered in this light. Hilbert's answer to Poincar came with the remarkable idea of proof- theory and the formulation of finitary mathematics as the framework for proof-theoretic considerations. But, seen from a philosophical viewpoint, this methodological move meant the re-introduction of the notions of truth and existence taken in the absolute sense and, as a result, a motivation for adopting (mathematical) instrumentalism as the philosophy of Hilbert's program arose. But even after this epistemological turn, the earlier view continued to be operative in Hilbert's thought, and this, I shall argue, explains the tension found in the philosophy behind Hilbert's program.
...MoreDescription Cited in Diss. Abstr. Int. A 63 (2003): 3588. UMI order no. NQ73223.
Book
Emanuele Gambetta;
(2020)
Philosophy of the Infinite
(/isis/citation/CBB368392118/)
Article
McLarty, Colin;
(2007)
The Last Mathematician from Hilbert's Göttingen: Saunders Mac Lane as Philosopher of Mathematics
(/isis/citation/CBB000831434/)
Article
Paseau, Alexander;
(2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence
(/isis/citation/CBB001024149/)
Book
Gauthier, Yvon;
(2002)
Internal Logic: Foundations of Mathematics from Kronecker to Hilbert
(/isis/citation/CBB000301820/)
Article
Formica, Giambattista;
(2010)
Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections
(/isis/citation/CBB001034599/)
Article
Moore, Gregory H.;
(2002)
Hilbert on the Infinite: The Role of Set Theory in the Evolution of Hilbert's Thought
(/isis/citation/CBB000200290/)
Chapter
Beaney, Michael;
(2006)
Frege and the Role of Historical Elucidation: Methodology and the Foundations of Mathematics
(/isis/citation/CBB000800117/)
Article
Karela, Catherine;
(2010)
Hilbert on Different Notions of Completeness: A Conceptual and Historical Analysis
(/isis/citation/CBB001220619/)
Thesis
Franks, Curtis;
(2006)
Mathematics Speaks for Itself
(/isis/citation/CBB001560770/)
Article
N H Bingham;
W J Krzanowski;
(2022)
Linear algebra and multivariate analysis in statistics: development and interconnections in the twentieth century
(/isis/citation/CBB456363893/)
Book
Ferreirós Domínguez, José;
Gray, Jeremy;
(2006)
The Architecture of Modern Mathematics: Essays in History and Philosophy
(/isis/citation/CBB000774167/)
Book
Parsons, Charles;
(2012)
From Kant to Husserl: Selected Essays
(/isis/citation/CBB001253011/)
Article
Eduardo N. Giovannini;
(2021)
David Hilbert and the foundations of the theory of plane area
(/isis/citation/CBB044087153/)
Chapter
Carlo Casolo;
(2018)
La Biblioteca Universale
(/isis/citation/CBB604701261/)
Article
Schirn, Matthias;
(2010)
On Translating Frege's Die Grundlagen der Arithmetik
(/isis/citation/CBB001210971/)
Chapter
Gray, Jeremy;
(2006)
Modern Mathematics as a Cultural Phenomenon
(/isis/citation/CBB000800129/)
Thesis
Keranen, Jukka Petri Mikael;
(2005)
Cognitive Control in Mathematics
(/isis/citation/CBB001560623/)
Book
Gabriele Lolli;
(2016)
Tavoli, sedie, boccali di birra: David Hilbert e la matematica del Novecento
(/isis/citation/CBB100106060/)
Book
Corry, Leo;
(2004)
David Hilbert and the Axiomatization of Physics (1898-1918): From Grundlagen der Geometrie to Grundlagen der Physik
(/isis/citation/CBB000550055/)
Chapter
Reich, Karin;
(2008)
Der Desarguessche und der Pascalsche Satz: Hessenbergs Beitrag zu Hilberts Grundlagen der Geometrie
(/isis/citation/CBB000950185/)
Be the first to comment!