We examine arguments for distinguishing between ontological and epistemological concepts of fundamentality, focusing in particular on the role that scale plays in these concepts. Using the fractional quantum Hall effect as a case study, we show that we can draw a distinction between ontologically fundamental and non-fundamental theories without insisting that it is only the fundamental theories that get the ontology right: there are cases where non-fundamental theories involve distinct ontologies that better characterize real systems than fundamental ones do. In (...) order to reconcile these distinct ontologies between fundamental and non-fundamental theories, we suggest that ontology must be understood as scale-dependent. (shrink)

There has been much discussion of the indispensability argument for the existence of mathematical objects. In this paper I reconsider the debate by using the notion of grounding, or non-causal dependence. First of all, I investigate what proponents of the indispensability argument should say about the grounding of relations between physical objects and mathematical ones. This reveals some resources which nominalists are entitled to use. Making use of these resources, I present a neglected but promising response to the indispensability argument—a (...) liberalized version of Field’s response—and I discuss its significance. I argue that if it succeeds, it provides a new refutation of the indispensability argument; and that, even if it fails, its failure may bolster some of the fictionalist responses to the indispensability argument already under discussion. In addition, I use grounding to reply to a recent challenge to these responses. (shrink)

The ‘indispensability argument’ for the existence of mathematical objects appeals to the role mathematics plays in science. In a series of publications, Joseph Melia has offered a distinctive reply to the indispensability argument. The purpose of this paper is to clarify Melia’s response to the indispensability argument and to advise Melia and his critics on how best to carry forward the debate. We will begin by presenting Melia’s response and diagnosing some recent misunderstandings of it. Then we will discuss four (...) avenues for replying to Melia. We will argue that the three replies pursued in the literature so far are unpromising. We will then propose one new reply that is much more powerful, and—in the light of this—advise participants in the debate where to focus their energies. (shrink)

Some philosophers have recently suggested that the reason mathematics is useful in science is that it expands our expressive capacities. Of these philosophers, only Stephen Yablo has put forward a detailed account of how mathematics brings this advantage. In this article, I set out Yablo’s view and argue that it is implausible. Then, I introduce a simpler account and show it is a serious rival to Yablo’s. 1 Introduction2 Yablo’s Expressionism3 Psychological Objections to Yablo’s Expressionism4 Introducing Belief Expressionism5 Objections and (...) Replies5.1 Yablo’s likely response5.2 Charity6 Conclusion. (shrink)

Fictionalists about a kind of disputed entity aim to give a face-value interpretation of our discourse about those entities without affirming their existence. The fictionalist’s commitment to non-realism leaves open three options regarding their ontological position: they may deny the existence of the disputed entities (anti-realism), remain agnostic regarding their existence (agnosticism), or deny that there are ontological facts of the matter (ontological anti-realism). This paper outlines a method of adjudicating between these options and argues that fictionalists may be expected (...) to hold preferences between them. The typical arguments and motivations for fictionalism lead naturally to a practice-based metaontological framework under which our practices regarding a kind of disputed entity might inform our ontological beliefs about those entities. When that framework is applied to fictionalism, it is found that the usual motivations for fictionalism lead naturally, though not decisively, to ontological anti-realism. And, where there are reasons against ontological anti-realism, fictionalism leans more toward anti-realism than agnosticism. (shrink)

In Writing the Book of the World, Ted Sider argues that David Lewis’s distinction between those predicates which are ‘perfectly natural’ and those which are not can be extended so that it applies to words of all semantic types. Just as there are perfectly natural predicates, there may be perfectly natural connectives, operators, singular terms and so on. According to Sider, one of our goals as metaphysicians should be to identify the perfectly natural words. Sider claims that there is a (...) perfectly natural first-order quantifier. I argue that this claim is not justified. Quine has shown that we can dispense with first-order quantifiers, by using a family of ‘predicate functors’ instead. I argue that we have no reason to think that it is the first-order quantifiers, rather than Quine’s predicate functors, which are perfectly natural. The discussion of quantification is used to provide some motivation for a general scepticism about Sider’s project. Shamik Dasgupta’s ‘generalism’ and Jason Turner’s critique of ‘ontological nihilism’ are also discussed. (shrink)

Indispensability arguments are among the strongest arguments in support of mathematical realism. Given the controversial nature of their conclusions, it is not surprising that critics have supplied a number of rejoinders to these arguments. In this paper, I focus on one such rejoinder, Melia’s ‘Weasel Response’. The weasel is someone who accepts that scientific theories imply that there are mathematical objects, but then proceeds to ‘take back’ this commitment. While weaseling seems improper, accounts supplied in the literature have failed to (...) explain why. Drawing on examples of weaseling in more mundane contexts, I develop an account of the presumption against weaseling as grounded in a misalignment between two types of commitments. This is good news to the weasel’s opponents. It reinforces that they were right to question the legitimacy of weaseling. This account is also beneficial to the weasel. Uncovering the source of the presumption against weaseling also serves to draw out the challenge that the weasel must meet to override this presumption—what is required to be an ‘honest weasel’. (shrink)

In this paper I reply to Jody Azzouni, Otávio Bueno, Mary Leng, David Liggins, and Stephen Yablo, who offer defences of so-called ‘ easy road ’ nominalist strategies in the philosophy of mathematics.

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)

Mathematics clearly plays an important role in scientific explanation. Debate continues, however, over the kind of role that mathematics plays. I argue that if pure mathematical explananda and physical explananda are unified under a common explanation within science, then we have good reason to believe that mathematics is explanatory in its own right. The argument motivates the search for a new kind of scientific case study, a case in which pure mathematical facts and physical facts are explanatorily unified. I argue (...) that it is possible for there to be such cases, and provide some toy examples to demonstrate this. I then identify a potential source of scientific case studies as a guide for future work. (shrink)

I introduce an argument for Platonism based on intra-mathematical explanation: the explanation of one mathematical fact by another. The argument is important for two reasons. First, if the argument succeeds then it provides a basis for Platonism that does not proceed via standard indispensability considerations. Second, if the argument fails it can only do so for one of three reasons: either because there are no intra-mathematical explanations, or because not all explanations are backed by dependence relations, or because some form (...) of noneism-the view according to which non-existent entities possess properties and stand in relations-is true. The argument thus forces a choice between nominalism without noneism, intra-mathematical explanation and a backing conception of explanation. You can have any two, but not all three. (shrink)

In this thesis, I aim to motivate a particular philosophy of mathematics characterised by the following three claims. First, mathematical sentences are generally speaking false because mathematical objects do not exist. Second, people typically use mathematical sentences to communicate content that does not imply the existence of mathematical objects. Finally, in using mathematical language in this way, speakers are not doing anything out of the ordinary: they are performing straightforward assertions. In Part I, I argue that the role played by (...) mathematics in our scientific explanations is a purely expressive one, merely allowing us to say more about the physical world than we would otherwise be able to. Mathematical objects do not need to exist for mathematics to play this role. This proposal puts a normative constraint on our use of mathematical language: we ought to use mathematically presented theories to express belief only in the consequences they have for non-mathematical things. In Part II, I will argue that what the normative proposal recommends is in fact what people generally do in both pure and applied mathematical contexts. I motivate this claim by showing that it is predicted by our best general means of analysing natural language. I provide a semantic theory of applied arithmetical sentences that reveals they do not purport to refer to numbers, as well as a pragmatic theory for pure mathematical language use which reveals that pure mathematical utterances do not typically communicate content that implies the existence of mathematical objects. In conclusion, I show that the emerging hermeneutic fictionalist position is preferable to any alternative interpretation of mathematical discourse as aimed at describing a domain of independently existing abstract mathematical objects. (shrink)

One of the most intriguing features of mathematics is its applicability to empirical science. Every branch of science draws upon large and often diverse portions of mathematics, from the use of Hilbert spaces in quantum mechanics to the use of differential geometry in general relativity. It's not just the physical sciences that avail themselves of the services of mathematics either. Biology, for instance, makes extensive use of difference equations and statistics. The roles mathematics plays in these theories is also varied. (...) Not only does mathematics help with empirical predictions, it allows elegant and economical statement of many theories. Indeed, so important is the language of mathematics to science, that it is hard to imagine how theories such as quantum mechanics and general relativity could even be stated without employing a substantial amount of mathematics. (shrink)