Platonists in mathematics endeavour to prove the truthfulness of the proposal about the existence of mathematical objects. However, there have not been many explicit proofs of this proposal. One of the explicit ones is doubtlessly Baker’s Enhanced Indispensability Argument, formulated as a sort of modal syllogism. We aim at showing that the purpose of its creation – the defence of Platonist viewpoint – was not accomplished. Namely, the second premise of the Argument was imprecisely formulated, which gave space for various (...) interpretations of the EIA. Moreover, it is not easy to perceive which of the more precise formulations of the above-mentioned premise would be acceptable. For all these reasons, it is disputable whether the EIA can be used to defend Platonist outlook. At the beginning of this century, Baker has shown that the so-called Quine-Putnam Indispensability Argument can not provide “full” platonism - a guarantee of the existence of all mathematical objects. It turns out, however, that the EIA has a similar disadvantage. (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)

The indispensability argument comes in many different versions that all reduce to a general valid schema. Providing a sound IA amounts to providing a full interpretation of the schema according to which all its premises are true. Hence, arguing whether IA is sound results in wondering whether the schema admits such an interpretation. We discuss in full details all the parameters on which the specification of the general schema may depend. In doing this, we consider how different versions of IA (...) can be obtained, also through different specifications of the notion of indispensability. We then distinguish between schematic and genuine IA, and argue that no genuine sound IA is available or easily forthcoming. We then submit that this holds also in the particularly relevant case in which indispensability is conceived as explanatory indispensability. (shrink)

Alan Baker’s enhanced indispensability argument supports mathematical platonism through the explanatory role of mathematics in science. Busch and Morrison defend nominalism by denying that scientific realists use inference to the best explanation to directly establish ontological claims. In response to Busch and Morrison, I argue that nominalists can rebut the EIA while still accepting Baker’s form of IBE. Nominalists can plausibly require that defenders of the EIA establish the indispensability of a particular mathematical entity. Next, I argue that IBE cannot (...) establish that any particular mathematical entity is indispensable. Mathematical entities do not compete with each other in the way physical unobservables do. This lack of competition enables alternative formulations of scientific explanations that use different, but compatible, mathematical entities. The compatibility of these explanations prevents IBE from establishing platonism. (shrink)

Philosophy of mathematics for the last half-century has been dominated in one way or another by Quine’s indispensability argument. The argument alleges that our best scientific theory quantifies over, and thus commits us to, mathematical objects. In this paper, I present new considerations which undermine the most serious challenge to Quine’s argument, Hartry Field’s reformulation of Newtonian Gravitational Theory.

Many explanations in science make use of mathematics. But are there cases where the mathematical component of a scientific explanation is explanatory in its own right? This issue of mathematical explanations in science has been for the most part neglected. I argue that there are genuine mathematical explanations in science, and present in some detail an example of such an explanation, taken from evolutionary biology, involving periodical cicadas. I also indicate how the answer to my title question impacts on broader (...) issues in the philosophy of mathematics; in particular it may help platonists respond to a recent challenge by Joseph Melia concerning the force of the Indispensability Argument. (shrink)

The conditions involved in the applicability of mathematics in science are the subject of ongoing debates. One of the best‐received approaches is the inferential account, which involves structural mappings and pragmatic considerations in a three‐step model. According to the inferential account, these pragmatic considerations happen in the immersion and interpretation stages, but not during derivation (symbol‐pushing in a mathematical formalism). In this work, I draw inspiration from the later Wittgenstein and make the case that the applicability of mathematics also rests (...) on pragmatic considerations at the mathematical derivation level. I make the further case that pragmatic considerations at the mathematical derivation level may substitute pragmatic considerations in the other two stages, thus showing how they are holistically interrelated. I illustrate these two points with the solution of a simple geometrical problem. (shrink)

The classical (set-theoretic) concept of structure has become essential for every contemporary account of a scientific theory, but also for the metatheoretical accounts dealing with the adequacy of such theories and their methods. In the latter category of accounts, and in particular, the structural metamodels designed for the applicability of mathematics have struggled over the last decade to justify the use of mathematical models in sciences beyond their 'indispensability' in terms of either method or concepts/entities. In this paper, I argue (...) that these metamodels employ structures of different natures and epistemologies, and this diversity does pose a serious problem to the intended justification. (shrink)

The contemporary Platonists in the philosophy of mathematics argue that mathematical objects exist. One of the arguments by which they support this standpoint is the so-called Enhanced Indispensability Argument (EIA). This paper aims at pointing out the difficulties inherent to the EIA. The first is contained in the vague formulation of the Argument, which is the reason why not even an approximate scope of the set objects whose existence is stated by the Argument can be established. The second problem is (...) reflected in the vagueness of the very term indispensability, which is essential to the Argument. The paper will remind of a recent definition of the concept of indispensability of a mathematical object, reveal its deficiency and propose an improvement of this definition. Following this, we will deal with one of the consequences of the arbitrary employment of the concept of indispensability of a mathematical theory. We will propose a definition of this concept as well, in accordance with the common intuition about it. Eventually, on the basis of these two definitions, the paper will describe the relation between these two concepts, in the attempt to clarify the conceptual apparatus of the EIA. (shrink)

In ‘The varieties of indispensability arguments’ Marco Panza and Andrea Sereni argue that, for any clear notion of indispensability, either there is no conclusive argument for the thesis that mathematics is indispensable to science, or the notion of indispensability at hand does not support mathematical realism. In this paper, I shall not object to this main thesis directly. I shall instead try to assess in a naturalistic spirit a family of objections the authors make along the way to the use (...) of indispensability premises in indispensability arguments. (shrink)

The author of “Evidence, Explanation, Enhanced Indispensability” advances a criticism to the Enhanced Indispensability Argument and the use of Inference to the Best Explanation in order to draw ontological conclusions from mathematical explanations in science. His argument relies on the availability of equivalent though competing explanations, and a pluralist stance on explanation. I discuss whether pluralism emerges as a stable position, and focus here on two main points: whether cases of equivalent explanations have been actually offered, and which ontological consequences (...) should follow from these. (shrink)

In this paper I do two things: (1) I support the claim that there is still some confusion about just what the Quine-Putnam indispensability argument is and the way it employs Quinean meta-ontology and (2) I try to dispel some of this confusion by presenting the argument in a way which reveals its important meta-ontological features, and include these features explicitly as premises. As a means to these ends, I compare Peter van Inwagen’s argument for the existence of properties with (...) Putnam’s presentation of the indispensability argument. Van Inwagen’s argument is a classic exercise in Quinean meta-ontology and yet he claims – despite his argument’s conspicuous similarities to the Quine-Putnam argument – that his own has a substantially different form. I argue, however, that there is no such difference between these two arguments even at a very high level of specificity; I show that there is a detailed generic indispensability argument that captures the single form of both. The arguments are identical in every way except for the kind of objects they argue for – an irrelevant difference for my purposes. Furthermore, Putnam’s and van Inwagen’s presentations make an assumption that is often mistakenly taken to be an important feature of the Quine-Putnam argument. Yet this assumption is only the implicit backdrop against which the argument is typically presented. This last point is brought into sharper relief by the fact that van Inwagen’s list of the four nominalistic responses to his argument is too short. His list is missing an important – and historically popular – fifth option. (shrink)

This paper rejects metaphysical realism about structural universals as a basis for mathematical realism about numbers, and argues that one construal of structural universals via non-well-founded sets should be resisted by the mathematical realist.

A number of people have recently argued for a structural approach to accounting for the applications of mathematics. Such an approach has been called "the mapping account". According to this view, the applicability of mathematics is fully accounted for by appreciating the relevant structural similarities between the empirical system under study and the mathematics used in the investigation ofthat system. This account of applications requires the truth of applied mathematical assertions, but it does not require the existence of mathematical objects. (...) In this paper, we discuss the shortcomings of this account, and show how these shortcomings can be overcome by a broader view of the application of mathematics: the inferential conception. (shrink)