In Grundgesetze, Vol. II, §91, Frege argues that ‘it is applicability alone which elevates arithmetic from a game to the rank of a science’. Many view this as an in nuce statement of the indispensability argument later championed by Quine. Garavaso has questioned this attribution. I argue that even though Frege's applicability argument is not a version of ia, it facilitates acceptance of suitable formulations of ia. The prospects for making the empiricist ia compatible with a rationalist Fregean framework appear (...) thus much less dim than expected. Nonetheless, those arguing for such compatibility eventually face an hardly surmountable dilemma. (shrink)

In this paper, I develop a criticism to a method for metaontology, namely, the idea that a discourse’s or theory’s ontological commitments can be read off its sentences’ truth- conditions. Firstly, I will put forward this idea’s basis and, secondly, I will present the way Quine subscribed to it. However, I distinguish between two readings of Quine’s famous ontological criterion, and I center the focus on the one currently dubbed “ontological minimalism”, a kind of modern Ockhamism applied to the mentioned (...) metaontological view. I show that this view has a certain application via Quinean thesis of reference inscrutability but that it is not possible to press that application any further and, in particular, not for the ambitious metaontological task some authors try to employ. The conclusion may sound promising: having shown the impossibility of a semantic ontological criterion, intentionalist or subjectivist ones should be explored. (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)

Nazovi epistemološke osnove na kojima bismo racionalno trebali odrediti naše ontološke (ili aletiološke) obveze u vezi s entitetom njegov arbitar postojanja (ili arbitar istine). Uobičajeno je mišljenje da arbitri postojanja i istine mogu biti dani putem naših praksi. Ovaj rad tvrdi da takva gledišta imaju nekoliko implikacija: (1) veza između arbitara i naših metafizičkih obveza sastoji se u neophodnosti, (2) realistička gledišta o vrsti entiteta trebala bi se podudarati s vrstama praksi koje pružaju arbitre za tu vrstu entiteta s obzirom (...) na njihove metafizičke ovisnosti, (3) ako realisti smatraju da vrsta prakse pruža temelje na kojima se potvrđuje postojanje vrste entiteta, trebali bi se referirati na iste temelje koje koriste kada pokušavaju pružiti epistemologiju relevantnog područja. (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 consider the role of exact symmetries in theories of physics, working throughout with the example of gravitation set in Newtonian spacetime. First, I spend some time setting up a means of thinking about symmetries in this context; second, I consider arguments from the seeming undetectability of absolute velocities to an anti-realism about velocities; and finally, I claim that the structure of the theory licences us to interpret models which differ only with regards to the absolute velocities (...) of objects as depicting the same physical state of affairs. In defending this last claim, I consider how ideas and resources from the philosophy of language may usefully be brought to bear on this topic. (shrink)

According to Jody Azzouni’s “deflationary nominalism,” the singular terms of mathematical language applied or unapplied to science refer to nothing at all. What does exist, Azzouni claims, must satisfy the quaternary condition he calls “thick epistemic access” (TEA). In this paper I argue that TEA surreptitiously reifies some mathematical entities. The mathematical entity that I take TEA to reify is the Fourier harmonic, an infinite-duration monochromatic sinusoid applied throughout engineering and physics. I defend the reality of the harmonic, in Azzouni’s (...) account, not by satisfying all four TEA conditions with respect to it, but by showing that the harmonic renders satisfiable the TEA condition called “grounding,” specifically in Azzouni’s (Talking about nothing: numbers, hallucinations, and fictions. New York: Oxford University Press, 2010) example of a human visually perceiving a vase. The harmonic thereby plays what Azzouni calls an “epistemic role,” and merits inclusion in the deflationary nominalist ontology. Against the “coding” objection of Azzouni and Bueno (Br J Philos Sci 67:781–816, 2016), which would nominalize the harmonic to nonexistent status, I reply that in the context of grounding, the coding objection begs the question. (shrink)

One major motivation for nominalism, at least according to Hartry Field, is the desirability of intrinsic explanations: explanations that don’t invoke objects that are causally irrelevant to the phenomena being explained. There is something right about the search for such explanations. But that search must be carefully implemented. Nothing is gained if, to avoid a certain class of objects, one only introduces other objects and relations that are just as nominalistically questionable. We will argue that this is the case for (...) two alleged nominalist views: Field’s fictionalism, and Frank Arntzenius and Cian Dorr’s geometricalism. Central to our competing approach to nominalism is a distinction between terms that refer to objects and ones that instead code empirical phenomena while being referentially empty. We next contrast our approach to nominalism, which uses this term-grained distinction between coding and referring, with approaches that instead attempt to make a sentence-grained distinction between mathematical and non-mathematical content. We show the latter approach fails to be responsive to objections raised by van Fraassen. In the end, only one last approach to nominalism is left standing. 1 Introduction2 Troubles for Mathematical Fictionalism2.1 A distinction2.2 Field’s programme2.3 Parts of nominalistically acceptable entities are nominalistically acceptable2.4 Structural assumptions: How far can these be pushed?2.5 Cases of indispensable theories where the mathematical posits are known not to be real2.6 How does science distinguish between the indispensable structural presuppositions taken to be real and those that aren’t?2.7 Do physicists distinguish between mathematical posits and non-mathematical posits?2.8 Mathematical coding versus genuine metaphysics. Case study: Fields2.9 The upshot3 Troubles for Topologism4 Contrasts: Kitcher, Maddy, Sober, and van Fraassen4.1 Sober’s approach4.2 Maddy’s approach4.3 Kitcher’s approach4.4 Where do we go from here?4.5 Van Fraassen’s objection to Maddy’s approach to ontological commitment5 Conclusion. (shrink)

An argument for Trivialism, the view that natural languages are logically inconsistent, is provided that does not rely on contentious empirical assumptions about natural language terms such as “and” or “or.” Further, the view is defended against an important objection recently mounted against it by Thomas Hofweber.

First, I discuss the older “theory-centered” and the more recent semantic conception of scientific theories. I argue that these two perspectives are nothing more than terminological variants of one another. I then offer a new theory-centered view of scientific theories. I argue that this new view captures the insights had by each of these earlier views, that it’s closer to how scientists think about their own theories, and that it better accommodates the phenomenon of inconsistent scientific theories.

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)

The predisposition of the Indispensability Argument to objections, rephrasing and versions associated with the various views in philosophy of mathematics grants it a special status of a “blueprint” type rather than a debatable theme in the philosophy of science. From this point of view, it follows that the Argument has more an epistemic character than ontological.