David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
Susan G. Sterrett (2005). Pictures of Sounds: Wittgenstein on Gramophone Records and the Logic of Depiction. Studies in History and Philosophy of Science Part A 36 (2):351-362.
Similar books and articles
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.
Stewart Shapiro (1996). Space, Number and Structure: A Tale of Two Debates. Philosophia Mathematica 4 (2):148-173.
Patricia A. Blanchette (2007). Frege on Consistency and Conceptual Analysis. Philosophia Mathematica 15 (3):321-346.
Jan von Plato (1997). Formalization of Hilbert's Geometry of Incidence and Parallelism. Synthese 110 (1):127-141.
Jan Platvono (1997). Formalization of Hilbert's Geometry of Incidence and Parallelism. Synthese 110 (1):127-141.
G. Aldo Antonelli & Robert C. May (2000). Frege's New Science. Notre Dame Journal of Formal Logic 41 (3):242-270.
William Demopoulos (1994). Frege, Hilbert, and the Conceptual Structure of Model Theory. History and Philosophy of Logic 15 (2):211-225.
Kai F. Wehmeier (1997). Aspekte der frege–hilbert-korrespondenz. History and Philosophy of Logic 18 (4):201-209.
Added to index2009-01-28
Total downloads21 ( #173,991 of 1,792,980 )
Recent downloads (6 months)9 ( #90,015 of 1,792,980 )
How can I increase my downloads?