-
880Frege's PrincipleIn Jaakko Hintikka (ed.), From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics, Kluwer Academic Publishers. 1995.This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.
-
1513Ramified Frege ArithmeticJournal of Philosophical Logic 40 (6): 715-735. 2011.Øystein Linnebo has recently shown that the existence of successors cannot be proven in predicative Frege arithmetic, using Frege’s definitions of arithmetical notions. By contrast, it is shown here that the existence of successor can be proven in ramified predicative Frege arithmetic
-
1173Intuition and the Substitution ArgumentAnalytic Philosophy 55 (1): 1-30. 2014.The 'substitution argument' purports to demonstrate the falsity of Russellian accounts of belief-ascription by observing that, e.g., these two sentences: (LC) Lois believes that Clark can fly. (LS) Lois believes that Superman can fly. could have different truth-values. But what is the basis for that claim? It seems widely to be supposed, especially by Russellians, that it is simply an 'intuition', one that could then be 'explained away'. And this supposition plays an especially important role…Read more
-
1292This paper discusses the question whether it is possible to explain the notion of a singular term without invoking the notion of an object or other ontological notions. The framework here is that of Michael Dummett's discussion in Frege: Philosophy of Language. I offer an emended version of Dummett's conditions, accepting but modifying some suggestions made by Bob Hale, and defend the emended conditions against some objections due to Crispin Wright. This paper dates from about 1989. It originall…Read more
APA Eastern Division
Providence, Rhode Island, United States of America