Frege and Hilbert on the foundations of geometry (1994 talk)
Graduate studies at Western
|Abstract||I examine Frege’s explanation of how Hilbert ought to have presented his proofs of the independence of the axioms of geometry: in terms of mappings between (what we would call) fully interpreted statements. This helps make sense of Frege’s objections to the notion of different interpretations, which many have found puzzling. (The paper is the text of a talk presented in October 1994.).|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
William Demopoulos (1994). Frege, Hilbert, and the Conceptual Structure of Model Theory. History and Philosophy of Logic 15 (2):211-225.
G. Aldo Antonelli & Robert C. May (2000). Frege's New Science. Notre Dame Journal of Formal Logic 41 (3):242-270.
Jan Platvono (1997). Formalization of Hilbert's Geometry of Incidence and Parallelism. Synthese 110 (1):127-141.
Jan von Plato (1997). Formalization of Hilbert's Geometry of Incidence and Parallelism. Synthese 110 (1):127-141.
Patricia A. Blanchette (2007). Frege on Consistency and Conceptual Analysis. Philosophia Mathematica 15 (3):321-346.
Stewart Shapiro (1996). Space, Number and Structure: A Tale of Two Debates. Philosophia Mathematica 4 (2):148-173.
Jamie Tappenden (2000). Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments? Notre Dame Journal of Formal Logic 41 (3):271-315.
Kai F. Wehmeier (1997). Aspekte der Frege–Hilbert-Korrespondenz. History and Philosophy of Logic 18 (4):201-209.
Added to index2009-01-28
Total downloads7 ( #142,403 of 739,404 )
Recent downloads (6 months)0
How can I increase my downloads?