Philosophia Mathematica Advance Access originally published online on June 25, 2007
Philosophia Mathematica 2007 15(3):321-346; doi:10.1093/philmat/nkm028
| ||||||||||||||||||||||||||||||||||||||||||||||||||
Copyright © The Author 2007. Published by Oxford University Press.
Frege on Consistency and Conceptual Analysis
* Department of Philosophy, University of Notre Dame, Notre Dame, Indiana 46556, U.S.A.
Correspondence: blanchette.1{at}nd.edu
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.
Many thanks for helpful comments to Wilfrid Hodges, to Bob Hale, and to an anonymous referee.
![]()
CiteULike
Connotea
Del.icio.us What's this?
This article has been cited by other articles:
![]() |
S. Gandon Toward a Topic-Specific Logicism? Russell's Theory of Geometry in the Principles of Mathematics.{dagger} Philosophia Mathematica, April 16, 2008; (2008) nkn007v1. [Abstract] [Full Text] [PDF] |
||||
![]() |
K. Brading LEO CORRY. David Hilbert and the Axiomatization of Physics (1898-1918) Philosophia Mathematica, February 1, 2008; 16(1): 113 - 129. [Full Text] [PDF] |
||||
