Historia Mathematica 41 (2):188-203 (2014)
Authors |
|
Abstract |
Detlefsen (1986) reads Hilbert's program as a sophisticated defense of instrumentalism, but Feferman (1998) has it that Hilbert's program leaves significant ontological questions unanswered. One such question is of the reference of individual number terms. Hilbert's use of admittedly "meaningless" signs for numbers and formulae appears to impair his ability to establish the reference of mathematical terms and the content of mathematical propositions (Weyl (1949); Kitcher (1976)). The paper traces the history and context of Hilbert's reasoning about signs, which illuminates Hilbert's account of mathematical objectivity, axiomatics, idealization, and consistency.
|
Keywords | Hilbert formalism Weyl sign axiomatic instrumentalism |
Categories | (categorize this paper) |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
William Ewald and Wilfried Sieg, Eds, David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917–1933. Heidelberg: Springer, 2013. ISBN: 978-3-540-69444-1 ; 978-3-540-20578-4 . Pp. Xxv + 1062. [REVIEW]Paolo Mancosu - 2015 - Philosophia Mathematica 23 (1):126-135.
Similar books and articles
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
How Metaphysical is “Deepening the Foundations”?: Hahn and Frank on Hilbert’s Axiomatic Method.Michael Stoeltzner - 2001 - Vienna Circle Institute Yearbook 9:245-262.
Otto Hölder's Interpretation of David Hilbert's Axiomatic Method.Mircea Radu - 2013 - Philosophia Scientiæ 17 (17-1):117-129.
The Ways of Hilbert's Axiomatics: Structural and Formal.Wilfried Sieg - 2014 - Perspectives on Science 22 (1):133-157.
Hilbert's 6th Problem and Axiomatic Quantum Field Theory.Miklós Rédei - 2014 - Perspectives on Science 22 (1):80-97.
Hilberts Logik. Von der Axiomatik zur Beweistheorie.Volker Peckhaus - 1995 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 3 (1):65-86.
Dedekind and Hilbert on the Foundations of the Deductive Sciences.Ansten Klev - 2011 - Review of Symbolic Logic 4 (4):645-681.
Analytics
Added to PP index
2014-01-05
Total views
115 ( #87,511 of 2,421,642 )
Recent downloads (6 months)
18 ( #41,916 of 2,421,642 )
2014-01-05
Total views
115 ( #87,511 of 2,421,642 )
Recent downloads (6 months)
18 ( #41,916 of 2,421,642 )
How can I increase my downloads?
Downloads