Neo-Fregean logicists claim that Hume’s Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck’s Two-Sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it isn’t. (...) In fact, 2FA is not conservative over n-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic. (shrink)

The Caesar problem arises for abstractionist views, which seek to secure reference for terms such as ‘the number of Xs’ or #X by stipulating the content of ‘unmixed’ identity contexts like ‘#X = #Y’. Frege objects that this stipulation says nothing about ‘mixed’ contexts such as ‘# X = Julius Caesar’. This article defends a neglected response to the Caesar problem: the content of mixed contexts is just as open to stipulation as that of unmixed contexts.

A thriving literature has developed over logical and mathematical pluralism – i.e. the views that several rival logical and mathematical theories can be equally correct. These have unfortunately grown separate; instead, they both could gain a great deal by a closer interaction. Our aim is thus to present some novel forms of abstractionist mathematical pluralism which can be modeled on parallel ways of substantiating logical pluralism (also in connection with logical anti-exceptionalism). To do this, we start by discussing the Good (...) Company Problem for neo-logicists recently raised by Paolo Mancosu (2016), concerning the existence of rival abstractive definitions of cardinal number which are nonetheless equally able to reconstruct Peano Arithmetic. We survey Mancosu’s envisaged possible replies to this predicament, and suggest as a further path the adoption of some form of mathematical pluralism concerning abstraction principles. We then explore three possible ways of substantiating such pluralism—Conceptual Pluralism,Domain Pluralism,Pluralism about Criteria—showing how each of them can be related to analogous proposals in the philosophy of logic. We conclude by considering advantages, concerns, and theoretical ramifications for these varieties of mathematical pluralism. (shrink)

Kim :1099–1112, 2013) defends a logicist theory of numbers. According to him, numbers are adverbial entities, similar to those denoted by “frequently” and “at 100 mph”. He even introduces new adverbs for numbers: “1-wise”, “2-wise”, and so on. For example, “Fs exist 2-wise” means that there are two Fs. Kim claims that, because we can derive Dedekind–Peano axioms from his definition of numbers as adverbial entities, it is a new form of logicism. In this paper, I will, however, argue that (...) his theory is vulnerable to an analogue of the so-called Bad Company objection to neo-Fregeanism. This means that we cannot be sure that numbers are actually given to us by Kim’s definition; for, we don’t know whether it is indeed a good definition. So, unless Kim, or somebody else, provides a demarcation criterion between good and bad adverbial definitions, Kim’s theory will remain incomplete. (shrink)

Fine and Antonelli introduce two generalizations of permutation invariance — internal invariance and simple/double invariance respectively. After sketching reasons why a solution to the Bad Company problem might require that abstraction principles be invariant in one or both senses, I identify the most fine-grained abstraction principle that is invariant in each sense. Hume’s Principle is the most fine-grained abstraction principle invariant in both senses. I conclude by suggesting that this partially explains the success of Hume’s Principle, and the comparative lack (...) of success in reconstructing areas of mathematics other than arithmetic based on non-invariant abstraction principles. (shrink)

This essay examines Frege's reaction to Russell's Paradox and his views about the grounding of existence claims in mathematics. It is argued that Frege's strict requirements on existential proofs would rule out the attempt to ground arithmetic in. It is hoped that this discussion will help to clarify the ways in which Frege's position is both coherent and significantly different from the neo-logicist position on the issues of: what's required for proofs of existence; the connection between models, consistency, and existence; (...) and the prospects for a logical grounding of arithmetic in the wake of the paradox. (shrink)

Many recent writers in the philosophy of mathematics have put great weight on the relative categoricity of the traditional axiomatizations of our foundational theories of arithmetic and set theory. Another great enterprise in contemporary philosophy of mathematics has been Wright's and Hale's project of founding mathematics on abstraction principles. In earlier work, it was noted that one traditional abstraction principle, namely Hume's Principle, had a certain relative categoricity property, which here we term natural relative categoricity. In this paper, we show (...) that most other abstraction principles are not naturally relatively categorical, so that there is in fact a large amount of incompatibility between these two recent trends in contemporary philosophy of mathematics. To better understand the precise demands of relative categoricity in the context of abstraction principles, we compare and contrast these constraints to stability-like acceptability criteria on abstraction principles, the Tarski-Sher logicality requirements on abstraction principles studied by Antonelli and Fine, and supervaluational ideas coming out of Hodes' work. (shrink)

The question of the analyticity of Hume’s Principle (HP) is central to the neo-logicist project. We take on this question with respect to Frege’s definition of analyticity, which entails that a sentence cannot be analytic if it can be consistently denied within the sphere of a special science. We show that HP can be denied within non-standard analysis and argue that if HP is taken to depend on Frege’s definition of number, it isn’t analytic, and if HP is taken to (...) be primitive there is only a very narrow range of circumstances where it might be taken to be analytic. The latter discussion also sheds some light on the connections between the Bad Company and Caesar objections. (shrink)

Neologicists have sought to ground mathematical knowledge in abstraction. One especially obstinate problem for this account is the bad company problem. The leading neologicist strategy for resolving this problem is to attempt to sift the good abstraction principles from the bad. This response faces a dilemma: the system of ‘good’ abstraction principles either falls foul of the Scylla of inconsistency or the Charybdis of being unable to recover a modest portion of Zermelo–Fraenkel set theory with its intended generality. This article (...) argues that the bad company problem is due to the ‘static’ character of abstraction on the neologicist's account and develops a ‘dynamic’ account of abstraction that avoids both horns of the dilemma. 1 Introduction2ion Reconstructed3 From Bad to Worse4 Abstraction Reconceived5 Bad Company Made GoodA AppendixA.1SemanticsA.2LogicA.3ConsistencyA.4Strength. (shrink)

Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law V from Frege's Grundgesetze. In this paper we study the strength of abstraction principles in the presence of predicative restrictions on the comprehension schema, and in particular we study a predicative Fregean theory which contains all the abstraction principles whose underlying equivalence relations can be proven to be equivalence (...) relations in a weak background second-order logic. We show that this predicative Fregean theory interprets second-order Peano arithmetic. (shrink)

Gottlob Frege defined cardinal numbers in terms of value-ranges governed by the inconsistent Basic Law V. Neo-logicists have revived something like Frege's original project by introducing cardinal numbers as primitive objects, governed by Hume's Principle. A neo-logicist foundation for set theory, however, requires a consistent theory of value-ranges of some sort. Thus, it is natural to ask whether we can reconstruct the cardinal numbers by retaining Frege's definition and adopting an alternative consistent principle governing value-ranges. Given some natural assumptions regarding (...) what an acceptable neo-logicistic theory of value-ranges might look like, successfully implementing this alternative approach is impossible. (shrink)

The injective version of Cantor’s theorem appears in full second-order logic as the inconsistency of the abstraction principle, Frege’s Basic Law V (BLV), an inconsistency easily shown using Russell’s paradox. This incompatibility is akin to others—most notably that of a (Dedekind) infinite universe with the Nuisance Principle (NP) discussed by neo-Fregean philosophers of mathematics. This paper uses the Burali–Forti paradox to demonstrate this incompatibility, and another closely related, without appeal to principles related to the axiom of choice—a result hitherto unestablished. (...) It discusses both the general interest of this result, its interest to neo-Fregean philosophy of mathematics, and the potential significance of the Burali–Fortian method of proof. (shrink)

It is widely thought that the acceptability of an abstraction principle is a feature of the cardinalities at which it is satisfiable. This view is called into question by a recent observation by Richard Heck. We show that a fix proposed by Heck fails but we analyze the interesting idea on which it is based, namely that an acceptable abstraction has to “generate” the objects that it requires. We also correct and complete the classification of proposed criteria for acceptable abstraction.

In a recent article, I have explored the historical, mathematical, and philosophical issues related to the new theory of numerosities. The theory of numerosities provides a context in which to assign numerosities to infinite sets of natural numbers in such a way as to preserve the part-whole principle, namely if a set A is properly included in B then the numerosity of A is strictly less than the numerosity of B. Numerosities assignments differ from the standard assignment of size provided (...) by Cantor’s cardinality assignments. In this talk, I generalize some specific worries emerging from the theory of numerosities to a line of thought resulting in what I call a ‘good company’ objection to Hume’s Principle (HP). The talk has four main parts. The first takes a historical look at 19th-century attributions of equality of numbers in terms of one-one correlations and argues that there was no agreement as to how to extend such determinations to infinite sets of objects. This leads to the second part where I show that there are countably infinite many abstraction principles that are ‘good’, in the sense that they share the same virtues of HP and from which we can derive the axioms of second order arithmetic. The third part connects this material to a debate on Finite Hume Principle between Heck and MacBride and states the ‘good company’ objection. Finally, the last part gives a tentative taxonomy of possible neo-logicist responses to the ‘good company’ objection and makes a foray into the relevance of this material for the issue of cross-sortal identifications for abstractions. (shrink)

I extend theorems due to Roy Cook on third- and higher-order versions of abstraction principles and discuss the philosophical importance of results of this type. Cook demonstrated that the satisfiability of certain higher-order analogues of Hume's Principle is independent of ZFC. I show that similar analogues of Boolos's new v and Cook's own ordinal abstraction principle soap are not satisfiable at all. I argue, however, that these results do not tell significantly against the second-order versions of these principles.

Which abstraction principles are acceptable? A variety of criteria have been proposed, in particular irenicity, stability, conservativeness, and unboundedness. This note charts their logical relations. This answers some open questions and corrects some old answers.