Can concepts be acquired by testing hypotheses about these concepts? Fodor famously argued that this is not possible. Testing the correct hypothesis would require already possessing the concept. I argue that this does not generally hold for mathematical concepts. I discuss specific, empirically motivated, hypotheses for number concepts that can be tested without needing to possess the relevant number concepts. I also argue that one can test hypotheses about the identity conditions of other mathematical concepts, and then fix the application (...) conditions based on those hypotheses—under the assumption that the neo‐logicist view on abstraction principles is correct. (shrink)

In his book The Things We Mean, Stephen Schiffer advances a subtle defence of what he calls the ‘face-value’ analysis of attributions of belief and reports of speech. Under this analysis, ‘Harold believes that there is life on Venus’ expresses a relation between Harold and a certain abstract object, the proposition that there is life on Venus. The present essay first proposes an improvement to Schiffer’s ‘pleonastic’ theory of propositions. It then challenges the face-value analysis. There will be such things (...) as propositions only if they possess conditions of identity and distinctness. By analyzing Frege’s theory of propositions (Gedanken), I argue that such conditions may be found for the special case of beliefs and sayings advanced as premises and conclusions of deductive arguments. These conditions, however, are not applicable to most ordinary beliefs and sayings. Ordinary attributions and reports, then, do not place thinkers and speakers in relations to propositions. A bonus is exposure of the fallacy in the Putnam-Taschek objection to Frege’s theory of sense and reference. (shrink)

This paper outlines an account of numbers based on the numerical equivalence schema (NES), which consists of all sentences of the form ‘#x.Fx=n if and only if ∃nx Fx’, where # is the number-of operator and ∃n is defined in standard Russellian fashion. In the first part of the paper, I point out some analogies between the NES and the T-schema for truth. In light of these analogies, I formulate a minimalist account of numbers, based on the NES, which strongly (...) parallels the minimalist (deflationary) account of truth. One may be tempted to develop the minimalist account in a fictionalist direction, according to which arithmetic is useful but untrue, if taken at face value. In the second part, I argue that this suggestion is not as attractive as it may first appear. The NES suffers from a similar problem to the T-schema: it is deductively weak and does not enable the derivation of any non-trivial generalizations. In the third part of the paper, I explore some strategies to deal with the generalization problem, again drawing inspiration from the literature on truth. In closing this paper, I briefly compare the minimalist to some other accounts of numbers. (shrink)

In this paper, the author derives the Dedekind-Peano axioms for number theory from a consistent and general metaphysical theory of abstract objects. The derivation makes no appeal to primitive mathematical notions, implicit definitions, or a principle of infinity. The theorems proved constitute an important subset of the numbered propositions found in Frege's *Grundgesetze*. The proofs of the theorems reconstruct Frege's derivations, with the exception of the claim that every number has a successor, which is derived from a modal axiom that (...) (philosophical) logicians implicitly accept. In the final section of the paper, there is a brief philosophical discussion of how the present theory relates to the work of other philosophers attempting to reconstruct Frege's conception of numbers and logical objects. (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)

A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation (...) from contemporary mathematical logic. It is argued that the theory-based versions of such logicism are either too liberal (the plethora problem) or are committed to intuitively incorrect closure conditions (the consistency problem). Structure-based versions must on the other hand respond to a charge of begging the question (the circularity problem) or explain how one may have a knowledge of structure in advance of a knowledge of axioms (the signature problem). This discussion is significant because it gives us a better idea of what a notion of representation must look like if it is to aid in realizing some of the traditional epistemic aims of logicism in the philosophy of mathematics. (shrink)

The topic of this paper is our knowledge of the natural numbers, and in particular, our knowledge of the basic axioms for the natural numbers, namely the Peano axioms. The thesis defended in this paper is that knowledge of these axioms may be gained by recourse to judgements of probability. While considerations of probability have come to the forefront in recent epistemology, it seems safe to say that the thesis defended here is heterodox from the vantage point of traditional philosophy (...) of mathematics. So this paper focuses on providing a preliminary defense of this thesis, in that it focuses on responding to several objections. Some of these objections are from the classical literature, such as Frege's concern about indiscernibility and circularity, while other are more recent, such as Baker's concern about the unreliability of small samplings in the setting of arithmetic. Another family of objections suggests that we simply do not have access to probability assignments in the setting of arithmetic, either due to issues related to the~$\omega$-rule or to the non-computability and non-continuity of probability assignments. Articulating these objections and the responses to them involves developing some non-trivial results on probability assignments, such as a forcing argument to establish the existence of continuous probability assignments that may be computably approximated. In the concluding section, two problems for future work are discussed: developing the source of arithmetical confirmation and responding to the probabilistic liar. (shrink)

Is a logicist bound to the claim that as a matter of analytic truth there is an actual infinity of objects? If Hume’s Principle is analytic then in the standard setting the answer appears to be yes. Hodes’s work pointed to a way out by offering a modal picture in which only a potential infinity was posited. However, this project was abandoned due to apparent failures of cross-world predication. We re-explore this idea and discover that in the setting of the (...) potential infinite one can interpret first-order Peano arithmetic, but not second-order Peano arithmetic. We conclude that in order for the logicist to weaken the metaphysically loaded claim of necessary actual infinities, they must also weaken the mathematics they recover. (shrink)

Reply to Beaney: the closing of the historical mindIn his comments, Michael Beaney sets himself up as the arbiter of what is genuine history and what isn’t. While celebrating the outpouring of specialized scholarship on Frege, he has no patience with the enterprise outlined in the Précis, which attempts to construct a large-scale picture of the richness of the analytic tradition. That enterprise is one in which great figures of our recent past are challenged by aspects of contemporary thought, and (...) our current struggles are enriched by insights of theirs that haven’t been fully absorbed. Although some work of this sort can be done piecemeal, one historical figure at a time, there is much to be learned from a more encompassing perspective. While no picture constructed by a single author can be authoritative about everything, the attempt to give informative, connected assessments of major milestones in the tradition is our best hope of understanding who we are and where we have come from. (shrink)

This paper outlines an account of numbers based on the numerical equivalence schema, which consists of all sentences of the form ‘#x.Fx=n if and only if ∃nx Fx’, where # is the number-of operator and ∃n is defined in standard Russellian fashion. In the first part of the paper, I point out some analogies between the NES and the T-schema for truth. In light of these analogies, I formulate a minimalist account of numbers, based on the NES, which strongly parallels (...) the minimalist account of truth. One may be tempted to develop the minimalist account in a fictionalist direction, according to which arithmetic is useful but untrue, if taken at face value. In the second part, I argue that this suggestion is not as attractive as it may first appear. The NES suffers from a similar problem to the T-schema: it is deductively weak and does not enable the derivation of any non-trivial generalizations. In the third part of the paper, I explore some strategies to deal with the generalization problem, again drawing inspiration from the literature on truth. In closing this paper, I briefly compare the minimalist to some other accounts of numbers. (shrink)

This essay is a study of ontological commitment, focused on the special case of arithmetical discourse. It tries to get clear about what would be involved in a defense of the claim that arithmetical assertions are ontologically innocent and about why ontological innocence matters. The essay proceeds by questioning traditional assumptions about the connection between the objects that are used to specify the truth-conditions of a sentence, on the one hand, and the objects whose existence is required in order for (...) the truth-conditions thereby specified to be satisfied, on the other. This allows one to set forth an assignment of truth-conditions to arithmetical sentences whereby nothing is required of the world in order for the truth-conditions of a truth of pure arithmetic to be satisfied. The essay then argues that such an assignment can be used to account for the a priori knowability of certain arithmetical truths. (shrink)

I show that any sentence of nth-order (pure or applied) arithmetic can be expressed with no loss of compositionality as a second-order sentence containing no arithmetical vocabulary, and use this result to prove a completeness theorem for applied arithmetic. More specifically, I set forth an enriched second-order language L, a sentence A of L (which is true on the intended interpretation of L), and a compositionally recursive transformation Tr defined on formulas of L, and show that they have the following (...) two properties: (a) in a universe with at least [HEBREW LETTER BET] $_{n-2}$ objects, any formula of nth-order (pure or applied) arithmetic can be expressed as a formula of L, and (b) for any sentence $\ulcorner \phi \urcorner$ of L, $\ulcorner \phi^{Tr} \urcorner$ is a second-order sentence containing no arithmetical vocabulary, and nth $\mathcal{A} \vdash \ulcorner \phi \longleftrightarrow \phi^{Tr} \urcorner$. (shrink)

This essay addresses the question of the effect of Russell's paradox on Frege's distinctive brand of arithmetical realism. It is argued that the effect is not just to undermine Frege's specific account of numbers as extensions (courses of value) but more importantly to undermine his general means of explaining the object-directedness of arithmetical discourse. It is argued that contemporary neo-Fregean attempts to revive that explanation do not successfully avoid the central problem brought to light by the paradox. Along the way, (...) it is argued that the need to fend off an eliminative construal of arithmetic can help explain the so-called Caesar problem in the Grundlagen, and that the "syntactic priority thesis" is insufficient to establish the claim that numbers are objects. (shrink)

According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second-order logic is set theory in disguise. (shrink)

According to the species of neo‐logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo‐fregeanism—a general conception of the relation between language and reality; (2) the method of abstraction—a particular method for introducing concepts into language; (3) the scope of logic—second‐order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second‐order logic is set theory in disguise.The irresistible metaphor is that pure abstract objects […] are no more than shadows cast by the syntax of our discourse. And the aptness of the metaphor is enhanced by the reflection that shadows are, after their own fashion, real. (Crispin Wright [1992], p. 181–2)But I feel conscious that many a reader will scarcely recognise in the shadowy forms which I bring before him his numbers which all his life long have accompanied him as faithful and familiar friends; (Richard Dedekind [1963], p. 33)1 Introduction2 Logical‐historical preliminaries3 The linguistic turn4 Reductionism5 Rejectionism6 The ‘Julius Caesar’ problem7 Second‐order logic8 Bad company objections9 Conclusion. (shrink)

In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...) treating apparent terms for numbers using these definitions. (shrink)

In his groundbreaking Grundlagen, Frege (1884) pointed out that number words like ‘four’ occur in ordinary language in two quite different ways and that this gives rise to a philosophical puzzle. On the one hand ‘four’ occurs as an adjective, which is to say that it occurs grammatically in sentences in a position that is commonly occupied by adjectives. Frege’s example was (1) Jupiter has four moons, where the occurrence of ‘four’ seems to be just like that of ‘green’ in (...) (2) Jupiter has green moons. On the other hand, ‘four’ occurs as a singular term, which is to say that it occurs in a position that is commonly occupied by paradigmatic cases of singular terms, like proper names: (3) The number of moons of Jupiter is four. Here ‘four’ seems to be just like ‘Wagner’ in (4) The composer of Tannhäuser is Wagner, and both of these statements seem to be identity statements, ones with which we claim that what two singular terms stand for is identical. But that number words can occur both as singular terms and as adjectives is puzzling. Usually adjectives cannot occur in a position occupied by a singular term, and the other way round, without resulting in ungrammaticality and nonsense. To give just one example, it would be ungrammatical to replace ‘four’ with ‘the number of moons of Jupiter’ in (1): (5) *Jupiter has the number of moons of Jupiter moons. This ungrammaticality results even though ‘four’ and ‘the number of moons of Jupiter’ are both apparently singular terms standing for the same object in (3). So, how can it be that number words can occur both as singular terms and as adjectives, while other adjectives cannot occur as singular terms, and other singular terms cannot occur as adjectives? (shrink)

A model-theoretic approach to the semantics of set-theoretic discourse.

I develop a technique for specifying truth-conditions.