Recent debates about mathematical ontology are guided by the view that Platonism's prospects depend on mathematics' explanatory role in science. If mathematics plays an explanatory role, and in the right kind of way, this carries ontological commitment to mathematical objects. Conversely, the assumption goes, if mathematics merely plays a representational role then our world-oriented uses of mathematics fail to commit us to mathematical objects. I argue that it is a mistake to think that mathematical representation is necessarily ontologically innocent and (...) that there is an argument from mathematics' representational capacity to Platonism. Given that it is common ground between the Platonist and nominalist that mathematics plays a representational role in science, this representationalist argument is to be preferred over the explanatory, or enhanced, indispensability argument. (shrink)

This article elaborates the epistemic indispensability argument, which fully embraces the epistemic contribution of mathematics to science, but rejects the contention that such a contribution is a reason for granting reality to mathematicalia. Section 1 introduces the distinction between ontological and epistemic readings of the indispensability argument. Section 2 outlines some of the main flaws of the first premise of the ontological reading. Section 3 advances the epistemic indispensability argument in view of both applied and pure mathematics. And Sect. 4 (...) makes a case for the epistemic approach, which firstly calls into question the appeal to inference to the best explanation in the defense of the indispensability claim; secondly, distinguishes between mathematical and physical posits; and thirdly, argues that even though some may think that inference to the best explanation works in the postulation of physical posits, no similar considerations are available for postulating mathematicalia. (shrink)

Despite the alleged roles played by structures, substances, and facts in mathematical and metaphysical theorizing, in this paper I provide a strategy to dispense with them. It is argued that one need not be committed to the existence of these posits nor with the metaphysically inflationary interpretations that support them. An alternative, deflationary approach is then sketched.

Philosophical analysis of mathematical knowledge are commonly conducted within the realist/antirealist dichotomy. Nevertheless, philosophers working within this dichotomy pay little attention to the way in which mathematics evolves and structures itself. Focusing on mathematical practice, I propose a weak notion of objectivity of mathematical knowledge that preserves the intersubjective character of mathematical knowledge but does not bear on a view of mathematics as a body of mind-independent necessary truths. Furthermore, I show how that the successful application of mathematics in science (...) is an important trigger for the objectivity of mathematical knowledge. (shrink)

We can distinguish between two different ways in which mathematics is applied in science: when mathematics is introduced and developed in the context of a particular scientific application; when mathematics is used in the context of a particular scientific application but it has been developed independently from that application. Nevertheless, there might also exist intermediate cases in which mathematics is developed independently from an application but it is nonetheless introduced in the context of that particular application. In this paper I (...) present a case study, that of the Lagrange multipliers, which concerns such type of intermediate application. I offer a reconstruction of how Lagrange developed the method of multipliers and I argue that the philosophical significance of this case-study analysis is twofold. In the context of the applicability debate, my historically-driven considerations pull towards the reasonable effectiveness of mathematics in science. Secondly, I maintain that the practice of applying the same mathematical result in different scientific settings can be regarded as a form of crosschecking that contributes to the objectivity of a mathematical result. (shrink)