A realist view of numbers often rests on the following thesis: statements like ‘The number of moons of Jupiter is four’ are identity statements in which the copula is flanked by singular terms whose semantic function consists in referring to a number (henceforth: Identity). On the basis of Identity the realists argue that the assertive use of such statements commits us to numbers. Recently, some anti-realists have disputed this argument. According to them, Identity is false, and, thus, we may deny (...) that the relevant statements commit us to numbers. The present paper argues that the correct linguistic analysis of the relevant number statements supports the anti-realist view that Identity is false. However, as will further be shown, pace the anti-realist, this analysis does not establish that such statements do not commit us to numbers after all. (shrink)

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)

One recent `neologicist' claim is that what has come to be known as "Frege's Theorem"–the result that Hume's Principle, plus second-order logic, suffices for a proof of the Dedekind-Peano postulate–reinstates Frege's contention that arithmetic is analytic. This claim naturally depends upon the analyticity of Hume's Principle itself. The present paper reviews five misgivings that developed in various of George Boolos's writings. It observes that each of them really concerns not `analyticity' but either the truth of Hume's Principle or our entitlement (...) to accept it and reviews possible neologicist replies. A two-part Appendix explores recent developments of the fifth of Boolos's objections–the problem of Bad Company–and outlines a proof of the principle $N^q$, an important part of the defense of the claim that what follows from Hume's Principle is not merely a theory which allows of interpretation as arithmetic but arithmetic itself. (shrink)

European Journal of Philosophy, Volume 30, Issue 2, Page 578-600, June 2022.

Truth by convention, once thought to be the foundation of a uniquely promising approach to explaining our access to the truth in nonempirical domains, is nowadays widely considered an absurdity. Its fall from grace has been due largely to the influence of an argument that can be sketched as follows: our linguistic conventions have the power to make it the case that a sentence expresses a particular proposition, but they can’t by themselves generate truth; whether a given proposition is true—and (...) so whether the sentence that expresses it is true—is a matter of what the world is like, which means it isn’t a matter of convention alone. The consensus is that this argument is decisive against truth by convention. Strikingly, though, it has rarely been formulated with much precision. Here I provide a new rendering of the argument, one that reveals its structure and makes transparent just what assumptions it requires, and then I assess conventionalists’ prospects for resisting each of those assumptions. I conclude that the consensus is mistaken: contrary to what is almost universally thought, there remains a promising way forward for the conventionalist project. Along the way, I clarify conventionalists’ commitments by thinking about what truth by convention would need to be like in order for conventionalism to do the epistemological work it’s intended to do. (shrink)

I argue against the standard view that ontological debates can be fully described as disagreements about what we should believe to exist. The central thesis of the paper is that believing in Fs in the ontologically relevant sense requires more than merely believing that Fs exist. Believing in Fs is not even a propositional attitude; it is rather an attitude one bears to the term expressed by 'Fs'. The representational correctness of such a belief requires not only that there be (...) Fs, but also that the term expressed by 'Fs' should not misrepresent them. In certain cases we might believe that there are Fs without believing our conception of Fs applies to them. This may well be the situation we are in with regard to abstract entities of various sorts. (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)

NeoFregeanism is an intriguing but elusive philosophy of mathematical existence. At crucial points, it goes cryptic and metaphorical. I want to put forward an interpretation of neoFregeanism—perhaps not one that actual neoFregeans will embrace—that makes sense of much of what they say. NeoFregeans should embrace quantifier variance.

Frege proposed that sentences like ‘The number of planets is eight’ be analysed as identity statements in which the number words refer to numbers. Recently, Friederike Moltmann argued that, pace Frege, such sentences be analysed as so-called specificational sentences in which the number words have the same non-referring semantic function as the number word ‘eight’ in ‘There are eight planets’. The aim of this paper is two-fold. First, I argue that Moltmann fails to show that such sentences should be analysed (...) as specificational sentences. Second, I show that even if they are to be analysed in this way, Moltmann’s proposed specificational analysis is unsatisfactory. (shrink)

In the recent literature there has been some debate between advocates of deflationist and fictionalist positions in metaontology. The purpose of this paper is to advance the debate by reconsidering one objection presented by Amie Thomasson against fictionalist strategies in metaontology. The objection can be reconstructed in the following way. Fictionalists need to distinguish between the literal and the real content of sentences belonging to certain areas of discourse. In order to make that distinction, they need to assign different truth-conditions (...) to the real and the literal content. But it is hard to see what more is required for the literal content to be true than for the real content to be true. So, fictionalism is an unsatisfactory position. Here I offer a novel reply to Thomasson’s challenge. I argue that the literal and the real content need not be distinguished in terms of their truth-conditions; rather, they can be distinguished in terms of their different subject-matters, leaving it open whether their truth-conditions coincide or not. I explain how replying to Thomasson’s objection is crucial for deepening our understanding of fictionalist strategies in metaontology. (shrink)

According to Wrights minimalism, a notion of truth neutral with respect to realism and antirealism can be built out of the notion of warranted assertibility and a set of a priori platitudes among which the Equivalence Schema has a prominent role. Wright believes that the debate about realism and antirealism will be properly and fruitfully developed if both parties accept the conceptual framework of minimalism. In this paper, I show that this conceptual framework commits the minimalist to the realist thesis (...) that there are mind-independent propositions; with the consequence that minimalism is not neutral to realism and antirealism. I suggest that Wright could avert this conclusion if he rejected the customary interpretation of the Equivalence Schema according to which this Schema applies to propositions. This would however render minimalism unpalatable to philosophers who welcome the traditional reading of the Equivalence Schema and believe that propositions are bearers of truth. (shrink)

Metaontology – the study of the nature of ontological issues – has flourished in recent years. The focus of this summary will be on some views and arguments that are central to today’s debate. One theme will be that of how seriously to take ontology: whether there is reason to take a skeptical or deflationary attitude toward ontological claims, as theorists like Rudolf Carnap, Hilary Putnam, and Eli Hirsch in different ways have urged. The other theme will be that of (...) the viability of the Fregean and Quinean approaches to ontology that have been and still are central to analytic philosophy. (shrink)

Can there be objects that are ‘thin’ in the sense that very little is required for their existence? A number of philosophers have thought so. For instance, many Fregeans believe it suffices for the existence of directions that there be lines standing in the relation of parallelism; other philosophers believe it suffices for a mathematical theory to have a model that the theory be coherent. This article explains the appeal of thin objects, discusses the three most important strategies for articulating (...) and defending the idea of such objects, and outlines some problems that these strategies face. (shrink)

In his paper in the same volume, Sider argues that, of maximalism and quantifier variance, the latter promises to let us make better sense of neo-Fregeanism. I argue that neo-Fregeans should, and seemingly do, reject quantifier variance. If they must choose between these two options, they should choose maximalism.

Dummettian anti-realism–the refusal to endorse bivalence–is generally thought to be associated with idealism This paper argues that this is only true of the position developed by early Dummett. In a later manifestation Dummettian anti-realism is better thought of as providing the logic for anti-realisms of an error theoretic kind. Early on Dummett distinguished deep from shallow arguments for giving up bivalence: deep arguments followed a strong ‘sufficiency’ reading of Frege’s context principle, and made the sentence the primary vehicle of meaning. (...) Enriched by an account of truth in terms of verifiability, deep arguments implied a form of linguistic idealism. From within a perspective that had already made ontology relative to theory, it was natural for the difference between realism and idealism to hinge on the notion of truth for sentences. Having given up the distinction between deep and shallow arguments against bivalence, Dummett, post 1990, asserts that every rejection of bivalence leads to a form of anti-realism. In the intervening years, he has also come to cast doubt on the sufficiency reading of the context principle, particularly as developed by Crispin Wright. These doubts open the space for some more simple-minded criticisms of this strong version of the context principle, developed in the paper. Once the sufficiency reading of the context principle is given up, arguments for failing to assert bivalence come to hinge on beliefs about ‘genuine’ existence. These forms of anti-realism cannot be taken to imply idealism. Rather, in many cases they will be the expression of views of an error-theoretic kind, that are quite compatible with a thorough-going rejection of idealism. (shrink)

Neo-Fregeanism in the philosophy of mathematics consists of two main parts: the logicist thesis, that mathematics (or at least branches thereof, like arithmetic) all but reduce to logic, and the platonist thesis, that there are abstract, mathematical objects. I will here focus on the ontological thesis, platonism. Neo-Fregeanism has been widely discussed in recent years. Mostly the discussion has focused on issues specific to mathematics. I will here single out for special attention the view on ontology which underlies the neo-Fregeans’ (...) claims about mathematical objects, and discuss this view in a broader setting. (shrink)

This paper raises and then discusses a puzzle concerning the ontological commitments of mathematical principles. The main focus here is Hume's Principle—a statement that, embedded in second-order logic, allows for a deduction of the second-order Peano axioms. The puzzle aims to put pressure on so-called epistemic rejectionism, a position that rejects the analytic status of Hume's Principle. The upshot will be to elicit a new and very basic disagreement between epistemic rejectionism and the neo-Fregeans, defenders of the analytic status of (...) Hume's Principle, which will provide a new angle from which properly to assess and re-evaluate the current debate. (shrink)

The syntactic priority thesis (henceforth SP) asserts that the truth of appropriate sentential contexts containing what are, by syntactic criteria, singular terms, is sufficient to justify the attribution of objectual reference to such terms (Wright, 1983, 24). One consequence that the neo-Fregean draws from SP is that it is through an analysis of the syntactic structure of true statements that 'ontological questions are to be understood and settled' (Wright, 1983, 25). Despite the significant literature on SP, little consideration has been (...) given to this bold meta-ontological claim.1 My concern here is accordingly not with specific applications of SP to debates in the philosophy of mathematics, but rather with the .. (shrink)

I here defend a theory consisting of four claims about ‘property’ and properties, and argue that they form a coherent whole that can solve various serious problems. The claims are (1): ‘property’ is defined by the principles (PR): ‘F-ness/Being F/etc. is a property of x iff F’ and (PA): ‘F-ness/Being F/etc. is a property’; (2) the function of ‘property’ is to increase the expressive power of English, roughly by mimicking quantification into predicate position; (3) property talk should be understood at (...) face value: apparent commitments are real and our apparently literal use of ‘property’ is really literal; (4) there are no properties. In virtue of (1)–(2), this is a deflationist theory and in virtue of (3)–(4), it is an error theory. (1) is fleshed out as a claim about understanding conditions, and it is argued at length, and by going through a number of examples, that it satisfies a crucial constraint on meaning claims: all facts about ‘property’ can be explained, together with auxiliary facts, on its basis. Once claim (1) has been expanded upon, I argue that the combination of (1)–(3) provides the means for handling several problems: they help giving a happy-face solution to what I call the paradox of abstraction , they form part of a plausible account of the correctness of committive sentences, and, most importantly, they help respond to various indispensability arguments against nominalism. (shrink)

This dissertation is centered around a set of apparently conflicting intuitions that we may have about mathematics. On the one hand, we are inclined to believe that the theorems of mathematics are true. Since many of these theorems are existence assertions, it seems that if we accept them as true, we also commit ourselves to the existence of mathematical objects. On the other hand, mathematical objects are usually thought of as abstract objects that are non-spatiotemporal and causally inert. This makes (...) it difficult to understand how we can have knowledge of them and how they can have any relevance for our mathematical theories. I begin by characterizing a realist position in the philosophy of mathematics and discussing two of the most influential arguments for that kind of view. Next, after highlighting some of the difficulties that realism faces, I look at a few alternative approaches that attempt to account for our mathematical practice without making the assumption that there exist abstract mathematical entities. More specifically, I examine the fictionalist views developed by Hartry Field, Mark Balaguer, and Stephen Yablo, respectively. A common feature of these views is that they accept that mathematics interpreted at face value is committed to the existence of abstract objects. In order to avoid this commitment, they claim that mathematics, when taken at face value, is false. I argue that the fictionalist idea of mathematics as consisting of falsehoods is counter-intuitive and that we should aim for an account that can accommodate both the intuition that mathematics is true and the intuition that the causal inertness of abstract mathematical objects makes them irrelevant to mathematical practice and mathematical knowledge. The solution that I propose is based on Rudolf Carnap's distinction between an internal and an external perspective on existence. I argue that the most reasonable interpretation of the notions of mathematical truth and existence is that they are internal to mathematics and, hence, that mathematical truth cannot be used to draw the conclusion that mathematical objects exist in an external/ontological sense. (shrink)