'Philosophy arises through misconceptions of grammar', said Wittgenstein. Few people have believed him, and probably none, therefore, working in the area of the philosophy of mathematics. Yet his assertion is most evidently the case in the philosophy of Set Theory, as this paper demonstrates (see also Rodych 2000). The motivation for twentieth century Set Theory has rested on the belief that everything in Mathematics can be defined in terms of sets [Maddy 1994: 4]. But not only are there notable items (...) which cannot be so defined, including numbers and mereological sums, the very notion of a set, as formalized within this tradition, is based on a series of grammatical confusions. (shrink)

I argue that Neo-Fregean accounts of arithmetical language and arithmetical knowledge tacitly rely on a thesis I call [Success by Default]—the thesis that, in the absence of reasons to the contrary, we are justified in thinking that certain stipulations are successful. Since Neo-Fregeans have yet to supply an adequate defense of [Success by Default], I conclude that there is an important gap in Neo-Fregean accounts of arithmetical language and knowledge. I end the paper by offering a naturalistic remedy.

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)

Forthcoming in Philosophical Compass. I explain why plural quantifiers and predicates have been thought to be philosophically significant.

This paper extracts some of the main theses in the philosophy of mathematics from my book, The Construction of Logical Space. I show that there are important limits to the availability of nominalistic paraphrase functions for mathematical languages, and suggest a way around the problem by developing a method for specifying nominalistic contents without corresponding nominalistic paraphrases. Although much of the material in this paper is drawn from the book — and from an earlier paper — I hope the present (...) discussion will earn its keep by motivating the ideas in a new way, and by suggesting further applications. (shrink)

I offer an analysis of the sentence "the concept horse is a concept". It will be argued that the grammatical subject of this sentence, "the concept horse", indeed refers to a concept, and not to an object, as Frege once held. The argument is based on a criterion of proper-namehood according to which an expression is a proper name if it is so rendered in Frege's ideography. The predicate "is a concept", on the other hand, should not be thought of (...) as referring to a function. It will be argued that the analysis of sentences of the form "C is a concept" requires the introduction of a new form of statement. Such statements are not to be thought of as having function--argument form, but rather the structure subject--copula--predicate. (shrink)

This paper argues that (cardinal) numbers are originally given to us in the context ‘Fs exist n-wise’, and accordingly, numbers are certain manners or modes of existence, by addressing two objections both of which are due to Frege. First, the so-called Caesar objection will be answered by explaining exactly what kind of manner or mode numbers are. And then what we shall call the Functionality of Cardinality objection will be answered by establishing the fact that for any numbers m and (...) n, if there are exactly m Fs and also there are exactly n Fs, then m = n. (shrink)

The aim of this paper is to shed new light on the logical roots of arithmetic by presenting a logical framework that takes seriously ordinary locutions like ‘at least n Fs’, ‘n more Fs than Gs’ and ‘n times as many Fs as Gs’, instead of paraphrasing them away in terms of expressions of the form ‘the number of Fs’. It will be shown that the basic concepts of arithmetic can be intuitively defined in the language of ALA, and the (...) Dedekind–Peano axioms can be derived from those definitions by logical means alone. It will also be shown that some fundamental facts about cardinal numbers expressed using singular terms of the form ‘the number of Fs’, including Hume’s Principle, can be derived solely from definitions. (shrink)

In this symposium contribution I critically review the first two chapters, on Frege, in Volume 1 of The Analytic Tradition in Philosophy by Scott Soames.

Frege's logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the "neologicist" approach of Hale and Wright. Less attention has been given to Frege's extensionalist program, according to which arithmetic is to be reconstructed in terms of a theory of extensions of concepts. This paper deals just with such a theory. We present a system of second-order logic augmented with a predicate representing the fact that an object x is the extension of (...) a concept C, together with extra-logical axioms governing such a predicate, and show that arithmetic can be obtained in such a framework. As a philosophical payoff, we investigate the status of the so-called Hume's Principle and its connections to the root of the contradiction in Frege's system. (shrink)

Gregory Landini offers a detailed historical account of Frege's notations and the philosophical views that led Frege from Begriffssscrhrift to his mature work Grundgesetze, addressing controversial issues that surround the notations.

I develop a technique for specifying truth-conditions.