Frege, hilbert, and the conceptual structure of model theory

History and Philosophy of Logic 15 (2):211-225 (1994)
  Copy   BIBTEX

Abstract

This paper attempts to confine the preconceptions that prevented Frege from appreciating Hilbert?s Grundlagen der Geometrie to two: (i) Frege?s reliance on what, following Wilfrid Hodges, I call a Frege?Peano language, and (ii) Frege?s view that the sense of an expression wholly determines its reference.I argue that these two preconceptions prevented Frege from achieving the conceptual structure of model theory, whereas Hilbert, at least in his practice, was quite close to the model?theoretic point of view.Moreover, the issues that divided Frege and Hilbert did not revolve around whether one or the other allowed metalogical notions.Frege, e.g., succeeded in formulating the notion of logical consequence, at least to the extent that Bolzano did; the point is rather that even though Frege had certain semantic concepts, he did not articulate them model?theoretically, whereas, in some limited sense, Hilbert did

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Frege on Consistency and Conceptual Analysis.Patricia A. Blanchette - 2007 - Philosophia Mathematica 15 (3):321-346.
Frege's new science.G. Aldo Antonelli & Robert C. May - 2000 - Notre Dame Journal of Formal Logic 41 (3):242-270.
On Frege's two Notions of Sense.Guillermo E. Rosado Haddock - 1986 - History and Philosophy of Logic 7 (1):31-41.
Space, number and structure: A tale of two debates.Stewart Shapiro - 1996 - Philosophia Mathematica 4 (2):148-173.
Letter to Frege, 29.xii.1899.David Hilbert - 1899 - In Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart, Brian McGuinness & Hans Kaal (eds.), Gottlob Frege: Philosophical and Mathematical Correspondence. pp. 38--41.
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.

Analytics

Added to PP
2010-08-10

Downloads
155 (#122,399)

6 months
18 (#141,285)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Posthumous Writings.Gottlob Frege (ed.) - 1979 - Blackwell.
Frege on demonstratives.John Perry - 1977 - Philosophical Review 86 (4):474-497.
The concept of logical consequence.John Etchemendy - 1990 - Cambridge: Harvard University Press.
Collected Papers on Mathematics, Logic, and Philosophy.Gottlob Frege - 1991 - Wiley-Blackwell. Edited by Brian McGuinness.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.

View all 20 references / Add more references