Philosophia Mathematica Advance Access originally published online on January 30, 2008
Philosophia Mathematica 2008 16(1):100-112; doi:10.1093/philmat/nkm045
| ||||||||||||||||||||||||||||||||||||||||||||||||
Copyright © The Author 2008. Published by Oxford University Press.
Carnap, Gödel, and the Analyticity of Arithmetic
* Department of Philosophy, The Ohio State University, Columbus, Ohio 43210, U.S.A.
Correspondence: tennant.9{at}osu.edu
Michael Friedman maintains that Carnap did not fully appreciate the impact of Gödel's first incompleteness theorem on the prospect for a purely syntactic definition of analyticity that would render arithmetic analytically true. This paper argues against this claim. It also challenges a common presumption on the part of defenders of Carnap, in their diagnosis of the force of Gödel's own critique of Carnap in his Gibbs Lecture.
The author is grateful to Michael Friedman for valuable comments. Part of the research towards this paper was carried out while the author was a Visiting Fellow at the Center for Philosophy of Science at the University of Pittsburgh. The paper was presented to the Center's Fellowship Reunion Conference in Athens in 1992. It was committed for publication in the Proceedings of that conference, but those Proceedings never appeared. By the time it became evident that they would never appear, both the hard copy and the source file had been mislaid. The hard copy re-surfaced in 2007.
The literature on this topic since 1992 appears to leave some space for the ideas and arguments presented here. Although the paper has been updated in light of the more recent literature, its basic thesis, presented in 1992, remains the same. Only 
3 is new, questioning a basic presumption made by more recent commentators in their presentation of Gödel's criticism of Carnap in his Gibbs Lecture. For helpful comments on the current version, the author is indebted to Robert Kraut, Stewart Shapiro, and Adam Podlaskowski.