This paper is a reply to George Boolos's three papers (Boolos (1987a, 1987b, 1990a)) concerned with the status of Hume's Principle. Five independent worries of Boolos concerning the status of Hume's Principle as an analytic truth are identified and discussed. Firstly, the ontogical concern about the commitments of Hume's Principle. Secondly, whether Hume's Principle is in fact consistent and whether the commitment to the universal number by adopting Hume's Principle might be problematic. Also the so-called `surplus content' worry is discussed, (...) which points out that the conceptual resources to grasp Hume's Principle vastly outstrip the conceptual resources employed in arithmetical reasoning. And lastly whether Hume's Principle is in bad company with other unsuccessful implicit definitions. In the last section, an account towards our entitlement to Hume&'s Principle is sketched. (shrink)

The purpose of this paper is to assess the prospects for a neo‐logicist development of set theory based on a restriction of Frege's Basic Law V, which we call (RV): ∀P∀Q[Ext(P) = Ext(Q) ≡ [(BAD(P) & BAD(Q)) ∨ ∀x(Px ≡ Qx)]] BAD is taken as a primitive property of properties. We explore the features it must have for (RV) to sanction the various strong axioms of Zermelo–Fraenkel set theory. The primary interpretation is where ‘BAD’ is Dummett's ‘indefinitely extensible’.1 Background: what (...) and why?2 Framework3 GOOD candidates, indefinite extensibility4 The framework of (RV) alone, or almost alone5 The axioms6 Brief closing. (shrink)

The neo-Fregean program in the philosophy of mathematics seeks a foundation for a substantial part of mathematics in abstraction principles—for example, Hume’s Principle: The number of Fs D the number of Gs iff the Fs and Gs correspond one-one—which can be regarded as implicitly definitional of fundamental mathematical concepts—for example, cardinal number. This paper considers what kind of abstraction principle might serve as the basis for a neo- Fregean set theory. Following a brief review of the main difficulties confronting the (...) most widely discussed proposal to date—replacing Frege’s inconsistent Basic Law V by Boolos’s New V which restricts concepts whose extensions obey the principle of extensionality to those which are small in the sense of being smaller than the universe—the paper canvasses an alternative way of implementing the limitation of size idea and explores the kind of restrictions which would be required for it to avoid collapse. (shrink)

Because of its capacity to characterize mathematical concepts and structures?a capacity which first-order languages clearly lack?second-order languages recommend themselves as a convenient framework for much of mathematics, including set theory. This paper is about the credentials of second-order logic:the reasons for it to be considered logic, its relations with set theory, and especially the efficacy with which it performs its role of the underlying logic of set theory.