Philosophia Mathematica 15 (3):321-346 (2007)

Authors
Patricia Blanchette
University of Notre Dame
Abstract
Gottlob Frege famously rejects the methodology for consistency and independence proofs offered by David Hilbert in the latter's Foundations of Geometry. The present essay defends against recent criticism the view that this rejection turns on Frege's understanding of logical entailment, on which the entailment relation is sensitive to the contents of non-logical terminology. The goals are (a) to clarify further Frege's understanding of logic and of the role of conceptual analysis in logical investigation, and (b) to point out the extent to which his understanding of logic differs importantly from that of the model-theoretic tradition that grows out of Hilbert's work
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/philmat/nkm028
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 61,089
Through your library

References found in this work BETA

The Frege-Hilbert Controversy.Michael David Resnik - 1974 - Philosophy and Phenomenological Research 34 (3):386-403.
Frege's Reduction.Patricia A. Blanchette - 1994 - History and Philosophy of Logic 15 (1):85-103.
Frege, Sense and Mathematical Knowledge.Gregory Currie - 1982 - Australasian Journal of Philosophy 60 (1):5 – 19.
Grundzuge der Theoretischen Logik.E. N. - 1938 - Journal of Philosophy 35 (14):390.

View all 6 references / Add more references

Citations of this work BETA

Frege’s Philosophy of Geometry.Matthias Schirn - 2019 - Synthese 196 (3):929-971.
Human Rationality Challenges Universal Logic.Brian R. Gaines - 2010 - Logica Universalis 4 (2):163-205.

View all 12 citations / Add more citations

Similar books and articles

Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
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.
Frege's Reduction.Patricia A. Blanchette - 1994 - History and Philosophy of Logic 15 (1):85-103.
Frege, Kant, and the Logic in Logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.
Frege, Hilbert, and the Conceptual Structure of Model Theory.William Demopoulos - 1994 - History and Philosophy of Logic 15 (2):211-225.

Analytics

Added to PP index
2009-01-28

Total views
153 ( #67,074 of 2,440,215 )

Recent downloads (6 months)
4 ( #167,747 of 2,440,215 )

How can I increase my downloads?

Downloads

My notes