This is an introduction to wave function realism for a compendium on the philosophy of quantum mechanics that will be edited and translated into Portuguese by Raoni Arroyo, entitled Compêndio de Filosofia da Física Quântica. This essay presents the history of wave function realism, its various interpretations, the main arguments that are given for the position, and the main objections that have been raised to it.

Call the epistemological grounds on which we rationally should determine our ontological (or alethiological) commitments regarding an entity its arbiter of existence (or arbiter of truth). It is commonly thought that arbiters of existence and truth can be provided by our practices. This paper argues that such views have several implications: (1) the relation of arbiters to our metaphysical commitments consists in indispensability, (2) realist views about a kind of entity should take the kinds of practices providing that entity’s arbiters (...) to align with respect to their metaphysical dependencies, (3) if realists take a kind of practice to provide grounds on which to affirm the existence of a kind of entity, they should turn to those same grounds when seeking to provide an epistemology of the relevant domain. (shrink)

Wave function realism is an interpretative framework for quantum theories which recommends taking the central ontology of these theories to consist of the quantum wave function, understood as a field on a high-dimensional space. This paper presents and evaluates three standard arguments for wave function realism, and clarifies the sort of ontological framework these arguments support.

This work explores the later Wittgenstein’s philosophy of mathematics in relation to Lakatos’ philosophy of mathematics and the philosophy of mathematical practice. I argue that, while the philosophy of mathematical practice typically identifies Lakatos as its earliest of predecessors, the later Wittgenstein already developed key ideas for this community a few decades before. However, for a variety of reasons, most of this work on philosophy of mathematics has gone relatively unnoticed. Some of these ideas and their significance as precursors for (...) the philosophy of mathematical practice will be presented here, including a brief reconstruction of Lakatos’ considerations on Euler’s conjecture for polyhedra from the lens of late Wittgensteinian philosophy. Overall, this article aims to challenge the received view of the history of the philosophy of mathematical practice and inspire further work in this community drawing from Wittgenstein’s late philosophy. (shrink)

Dennett [1991] proposes a novel ontological account of the propositional attitudes—real patterns. Despite its name, the degree to which this account is committed to realism remains unclear. In this paper, I propose an alternative criterion of pattern instantiation, one that assesses the difficultly of faithfully interpreting a physical system as instantiating a particular pattern. Drawing on formal measures of simplicity and similarity, I argue that, for well-instantiated patterns, our interpretation will be computable by using a short program. This approach preserves (...) the flexibility of Dennett’s original, while offering substantially stronger realist commitments. (shrink)

Pluralist mathematical realism, the view that there exists more than one mathematical universe, has become an influential position in the philosophy of mathematics. I argue that, if mathematical pluralism is true (and we have good reason to believe that it is), then mathematical realism cannot (easily) be justified by arguments from the indispensability of mathematics to science. This is because any justificatory chain of inferences from mathematical applications in science to the total body of mathematical theorems can cover at most (...) one mathematical universe. Indispensability arguments may thus lose their central role in the debate about mathematical ontology. (shrink)

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 paper concerns an epistemological objection against mathematical platonism, due to Hartry Field.The argument poses an explanatory challenge – the challenge to explain the reliability of our mathematical beliefs – which the platonist, it’s argued, cannot meet. Is the objection compelling? Philosophers disagree, but they also disagree on (and are sometimes very unclear about) how the objection should be understood. Here I distinguish some options, and highlight some gaps that need to be filled in on the potentially most compelling version (...) of the argument. (shrink)

This book is in honour of Professor Anna-Sofia Maurin on her 50th birthday. It consists of eighteen essays on metaphysical issues written by Swedish and international scholars.

Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is genuinely mathematical, according to Baker (...) :223–238, 2005; Br J Philos Sci 60:611–633, 2009). Furthermore, the result is then also used to strengthen the platonist position :779–793, 2017a). We pick up the circularity problem brought up by Leng Mathematical reasoning, heuristics and the development of mathematics, King’s College Publications, London, pp 167–189, 2005) and Bangu :13–20, 2008). We will argue that Baker’s attempt to solve this problem fails, if Hume’s Principle is analytic. We will also provide the opponent of the Enhanced Indispensability Argument with the so-called ‘interpretability strategy’, which can be used to come up with alternative explanations in case Hume’s Principle is non-analytic. (shrink)

Philosophers have always taken an interest not only in what is actually the case, but in what is necessarily the case and what could possibly be the case. These are questions of modality. Epistemologists of modality enquire into how we can know what is necessary and what is possible. This dissertation concerns the meta-epistemology of modality. It engages with the rules that govern construction and evaluation of theories in the epistemology of modality, by using modal empiricism – a form of (...) modal epistemology – as a running example. In particular, I investigate the assumption that it is important to be able to meet the integration challenge. Meeting the integration challenge is a source of serious difficulty for many approaches, but modal empiricism is supposed to do well in this respect. But I argue that once we have a better grasp of what the integration challenge is, it is not obvious that it presents no problem for modal empiricism. Moreover, even if modal empiricism could be said to be in a relatively good position with respect to integration, it comes at the cost of a forced choice between far-reaching partial modal scepticism and non-uniformism about the epistemology of modality. Non-uniformism is the view that more than one modal epistemology will be correct. While non-uniformism might not in itself be unpalatable, it must be defined and defended in a way which squares with the modal empiricist’s other commitment. I explore two ways of doing so, both involving a revised idea of the integration challenge and its role for the epistemology of modality. One involves a bifurcation of the integration challenge, and the other a restriction of the integration challenge’s relevance. Both ways are interesting, but neither is, as it turns out, a walk in the park. (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.

Proponents of the explanatory indispensability argument for mathematical platonism maintain that claims about mathematical entities play an essential explanatory role in some of our best scientific explanations. They infer that the existence of mathematical entities is supported by way of inference to the best explanation from empirical phenomena and therefore that there are the same sort of empirical grounds for believing in mathematical entities as there are for believing in concrete unobservables such as quarks. I object that this inference depends (...) on a false view of how abductive considerations mediate the transfer of empirical support. More specifically, I argue that even if inference to the best explanation is cogent, and claims about mathematical entities play an essential explanatory role in some of our best scientific explanations, it doesn’t follow that the empirical phenomena that license those explanations also provide empirical support for the claim that mathematical entities exist. (shrink)

In this paper, I offer an analysis of the radical disagreement over the adequacy of string theory. The prominence of string theory despite its notorious lack of empirical support is sometimes explained as a troubling case of science gone awry, driven largely by sociological mechanisms such as groupthink (e.g. Smolin 2006). Others, such as Dawid (2013), explain the controversy by positing a methodological revolution of sorts, according to which string theorists have quietly turned to nonempirical methods of theory assessment given (...) the technological inability to directly test the theory. The appropriate response, according to Dawid, is to acknowledge this development and widen the canons of acceptable scientific methods. As I’ll argue, however, the current situation in fundamental physics does not require either of these responses. Rather, as I’ll suggest, much of the controversy stems from a failure to properly distinguish the “context of justification” from the “context of pursuit”. Both those who accuse string theorists of betraying the scientific method and those who advocate an enlarged conception of scientific methodology objectionably conflate epistemic justification with judgements of pursuit-worthiness. Once we get clear about this distinction and about the different norms governing the two contexts, the current situation in fundamental physics becomes much less puzzling. After defending this diagnosis of the controversy, I’ll show how the argument patterns that have been posited by Dawid as constituting an emergent methodological revolution in science are better off if reworked as arguments belonging to the context of pursuit. (shrink)

A way to argue that something plays an explanatory role in science is by linking explanatory relevance with importance in the context of an explanation. The idea is deceptively simple: a part of an explanation is an explanatorily relevant part of that explanation if removing it affects the explanation either by destroying it or by diminishing its explanatory power, i.e. an important part is an explanatorily relevant part. This can be very useful in many ontological debates. My aim in this (...) paper is twofold. First of all, I will try to assess how this view on explanatory relevance can affect the recent ontological debate in the philosophy of mathematics—as I will argue, contrary to how it may appear at first glance, it does not help very much the mathematical realists. Second of all, I will show that there are big problems with it. (shrink)

I discuss Putnam’s conception of logical truth as grounded in his picture of mathematical practice and ontology. i begin by comparing Putnam’s 1971 Philosophy of Logic with Quine’s homonymous book. Next, Putnam’s changing views on modality are surveyed, moving from the modal pre-formal to the de-modalized formal characterization of logical validity. Section three suggests a complementary view of Platonism and modalism underlying different stages of a dynamic mathematical practice. The final section argues for the pervasive platonistic conception of the working (...) mathematician. (shrink)

Pure mathematics can play an indispensable role explaining empirical phenomena if recent accounts of insect evolution are correct. In particular, the prime life cycles of cicadas and the geometric structure of honeycombs are taken to undergird an inference to the best explanation about mathematical entities. Neither example supports this inference or the mathematical realism it is intended to establish. Both incorrectly assume that facts about mathematical optimality drove selection for the respective traits and explain why they exist. We show how (...) this problem can be avoided, identify limitations of explanatory indispensability arguments, and attempt to clarify the nature of mathematical explanation. (shrink)

Indispensablists contend that accepting scientific realism while rejecting mathematical realism involves a double standard. I refute this contention by developing an enhanced version of scientific realism, which I call interactive realism. It holds that interactively successful theories are typically approximately true, and that the interactive unobservable entities posited by them are likely to exist. It is immune to the pessimistic induction while mathematical realism is susceptible to it.

Evidential holism begins with something like the claim that “it is only jointly as a theory that scientific statements imply their observable consequences.” This is the holistic claim that Elliott Sober tells us is an “unexceptional observation”. But variations on this “unexceptional” claim feature as a premise in a series of controversial arguments for radical conclusions, such as that there is no analytic or synthetic distinction that the meaning of a sentence cannot be understood without understanding the whole language of (...) which it is a part and that all knowledge is empirical knowledge. This paper is a survey of what evidential holism is, how plausible it is, and what consequences it has. Section 1 will distinguish a range of different holistic claims, Sections 2 and 3 explore how well motivated they are and how they relate to one another, and Section 4 returns to the arguments listed above and uses the distinctions from the previous sections to identify holism's role in each case. (shrink)

Psychologists debate whether mental attributes can be quantified or whether they admit only qualitative comparisons of more and less. Their disagreement is not merely terminological, for it bears upon the permissibility of various statistical techniques. This article contributes to the discussion in two stages. First it explains how temperature, which was originally a qualitative concept, came to occupy its position as an unquestionably quantitative concept (§§1–4). Specifically, it lays out the circumstances in which thermometers, which register quantitative (or cardinal) differences, (...) became distinguishable from thermoscopes, which register merely qualitative (or ordinal) differences. I argue that this distinction became possible thanks to the work of Joseph Black, ca. 1760. Second, the article contends that the model implicit in temperature’s quantitative status offers a better way for thinking about the quantitative status of mental attributes than models from measurement theory (§§5–6). (shrink)

The Eleatic Principle or causal criterion is a causal test that entities must pass in order to gain admission to some philosophers’ ontology.1 This principle justifies belief in only those entities to which causal power can be attributed, that is, to those entities which can bring about changes in the world. The idea of such a test is rather important in modern ontology, since it is neither without intuitive appeal nor without influential supporters. Its supporters have included David Armstrong (1978, (...) Vol 2, 5), Brian Ellis (1990, 22) and Hartry Field2 (1989, 68) to name but a few. (shrink)

Humans and other animals have an evolved ability to detect discrete magnitudes in their environment. Does this observation support evolutionary debunking arguments against mathematical realism, as has been recently argued by Clarke-Doane, or does it bolster mathematical realism, as authors such as Joyce and Sinnott-Armstrong have assumed? To find out, we need to pay closer attention to the features of evolved numerical cognition. I provide a detailed examination of the functional properties of evolved numerical cognition, and propose that they prima (...) facie favor a realist account of numbers. (shrink)

Indispensablists argue that when our belief system conflicts with our experiences, we can negate a mathematical belief but we do not because if we do, we would have to make an excessive revision of our belief system. Thus, we retain a mathematical belief not because we have good evidence for it but because it is convenient to do so. I call this view ‘ mathematical convenientism.’ I argue that mathematical convenientism commits the consequential fallacy and that it demolishes the Quine-Putnam (...) indispensability argument and Baker’s enhanced indispensability argument. (shrink)

Classical logic is explosive in the face of contradiction, yet we find ourselves using inconsistent theories. Mark Colyvan, one of the prominent advocates of the indispensability argument for realism about mathematical objects, suggests that such use can be garnered to develop an argument for commitment to inconsistent objects and, because of that, a paraconsistent underlying logic. I argue to the contrary that it is open to a classical logician to make distinctions, also needed by the paraconsistent logician, which allow a (...) more nuanced ranking of theories in which inconsistent theories can have different degrees of usefulness and productivity. Facing inconsistency does not force us to adopt an underlying paraconsistent logic. Moreover we will see that the argument to best explanation deployed by Colyvan in this context is unsuccessful. I suggest that Quinean approach which Colyvan champions will not lead to the revolutionary doctrines Colyvan endorses. (shrink)

Some philosophers argue that many contemporary debates in metaphysics are “illegitimate,” “shallow,” or “trivial,” and that “contemporary analytic metaphysics, a professional activity engaged in by some extremely intelligent and morally serious people, fails to qualify as part of the enlightened pursuit of objective truth, and should be discontinued” (Ladyman and Ross, Every thing must go: Metaphysics naturalized , 2007 ). Many of these critics are explicit about their sympathies with Rudolf Carnap and his circle, calling themselves ‘neo-positivists’ or ‘neo-Carnapians.’ Yet (...) despite the fact that one of the main conclusions of logical positivism was that metaphysical statements are meaningless, many of these neo-positivists are themselves engaged in metaphysical projects. This paper aims to clarify how we may see a neo-positivist metaphysics as proceeding in good faith, one that starts with serious engagement with the findings of science, particularly fundamental physics, but also has room for traditional, armchair methods. (shrink)

Quinean Ontological Naturalism addresses the question “What is there?” Advocates of the view maintain that we can answer this question by applying Quine’s criterion of ontological commitment to our best scientific theories. In this paper, I discuss two major objections that are commonly offered to this view, what I call the “Paraphrase Objection” and “First Philosophy Objection”. I argue that these objections arise from a common uncharitable characterization of the Quinean Ontological Naturalist’s project that fails to distinguish two distinct roles (...) for Quine’s Criterion, a descriptive role and a normative role. The objections target the descriptive role, but only the normative role is important to Quinean Ontological Naturalism. (shrink)

Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to formulate a plausible form of (...) the indispensability argument. (shrink)

The indispensability argument is a method for showing that abstract mathematical objects exist. Various versions of this argument have been proposed. Lately, commentators seem to have agreed that a holistic indispensability argument will not work, and that an explanatory indispensability argument is the best candidate. In this paper I argue that the dominant reasons for rejecting the holistic indispensability argument are mistaken. This is largely due to an overestimation of the consequences that follow from evidential holism. Nevertheless, the holistic indispensability (...) argument should be rejected, but for a different reason —in order that an indispensability argument relying on holism can work, it must invoke an unmotivated version of evidential holism. Such an argument will be unsound. Correcting the argument with a proper construal of evidential holism means that it can no longer deliver mathematical Platonism as a conclusion: such an argument for Platonism will be invalid. I then show how the reasons for rejecting the holistic indispensability argument importantly constrain what kind of account of explanation will be permissible in explanatory versions. (shrink)

When the indispensability argument for mathematical entities (IA) is spelled out, it would appear confirmational holism is needed for the argument to work. It has been argued that confirmational holism is a dispensable premise in the argument if a construal of naturalism, according to which it is denied that we can take different epistemic attitudes towards different parts of our scientific theories, is adopted. I argue that the suggested variety of naturalism will only appeal to a limited number of philosophers. (...) I then suggest that if we allow for some degree of separation between different component parts of theories, IA can be formulated as an argument aimed at more than a limited number of philosophers, but in implementing this strategy the notion of indispensability needs spelling out. The best way of spelling out indispensability is in terms of theory contribution, but doing so requires adopting inference to the best explanation (IBE). IBE is however sufficient for establishing the conclusion that IA is supposed to establish. Thus, IA is a redundant argument. (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)

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)

Quine and Putnam argued for mathematical realism on the basis of the indispensability of mathematics to science. They claimed that the mathematics that is used in physical theories is confirmed along with those theories and that scientific realism entails mathematical realism. I argue here that current theories of confirmation suggest that mathematics does not receive empirical support simply in virtue of being a part of well confirmed scientific theories and that the reasons for adopting a realist view of scientific theories (...) do not support realism about mathematical entities, despite the use of mathematics in formulating scientific theory. (shrink)

Conflicting accounts of the role of mathematics in our physical theories can be traced to two principles. Mathematics appears to be both (1) theoretically indispensable, as we have no acceptable non-mathematical versions of our theories, and (2) metaphysically dispensable, as mathematical entities, if they existed, would lack a relevant causal role in the physical world. I offer a new account of a role for mathematics in the physical sciences that emphasizes the epistemic benefits of having mathematics around when we do (...) science. This account successfully reconciles theoretical indispensability and metaphysical dispensability and has important consequences for both advocates and critics of indispensability arguments for platonism about mathematics. (shrink)

Naturalism in philosophy is sometimes thought to imply both scientific realism and a brand of mathematical realism that has methodological consequences for the practice of mathematics. I suggest that naturalism does not yield such a brand of mathematical realism, that naturalism views ontology as irrelevant to mathematical methodology, and that approaching methodological questions from this naturalistic perspective illuminates issues and considerations previously overshadowed by (irrelevant) ontological concerns.

Indispensability arguments for realism about mathematical entities have come under serious attack in recent years. To my mind the most profound attack has come from Penelope Maddy, who argues that scientific/mathematical practice doesn't support the key premise of the indispensability argument, that is, that we ought to have ontological commitment to those entities that are indispensable to our best scientific theories. In this paper I defend the Quine/Putnam indispensability argument against Maddy's objections.

In recent years, the so-calledindispensability argument has been given a lotof attention by philosophers of mathematics.This argument for the existence of mathematicalobjects makes use of the fact, neglected inclassical schools of philosophy of mathematics,that mathematics is part of our best scientifictheories, and therefore should receive similarsupport to these theories. However, thisobservation raises the question about the exactnature of the alleged connection betweenexperience and mathematics (for example: is itpossible to falsify empirically anymathematical theorems?). In my paper I wouldlike to address this (...) question by consideringthe explicit assumptions of different versionsof the indispensability argument. My primaryclaim is that there are at least three distinctversions of the indispensability argument (andit can be even suggested that a fourth,separate version should be formulated). I willmainly concentrate my discussion on thisvariant of the argument, which suggests thepossibility of empirical confirmation ofmathematical theories. A large portion of mypaper will focus on the recent discussion ofthis topic, starting from the paper by E.Sober, who in my opinion put reasonablerequirements on what is to be counted as anempirical confirmation of a mathematicaltheory. I will develop his model into threeseparate scenarios of possible empiricalconfirmation of mathematics. Using an exampleof Hilbert space in quantum mechanicaldescription I will show that the most promisingscenario of empirical verification ofmathematical theories has neverthelessuntenable consequences. It will be hypothesizedthat the source of this untenability lies in aspecific role which mathematical theories playin empirical science, and that what is subjectto empirical verification is not themathematics used, but the representabilityassumptions. Further I will undertake theproblem of how to reconcile the allegedempirical verification of mathematics withscientific practice. I will refer to thepolemics between P. Maddy and M. Resnik,pointing out certain ambiguities of theirarguments whose source is partly the failure todistinguish carefully between different sensesof the indispensability argument. For thatreason typical arguments used in the discussionare not decisive, yet if we take into accountsome metalogical properties of appliedmathematics, then the thesis that mathematicshas strong links with experience seems to behighly improbable. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...) computation and to offer foundations for scientific computing. -/- The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. -/- In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. -/- In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

We examine two very different approaches to formalising real computation, commonly referred to as “Computable Analysis” and “the BSS approach”. The main models of computation underlying these approaches—bit computation and BSS, respectively—have also been put forward as appropriate foundations for scientific computing. The two frameworks offer useful computability and complexity results about problems whose underlying domain is an uncountable space. Since typically the problems dealt with in physical sciences, applied mathematics, economics, and engineering are also defined in uncountable domains, it (...) is fitting that we choose between these two approaches a foundational framework for scientific computing. However, the models are incompatible as to their results. What is more, the BSS model is highly idealised and unrealistic; yet, it is the de facto implicit model in various areas of computational mathematics, with virtually no problems for the everyday practice. This paper serves three purposes. First, we attempt to delineate what the goal of developing foundations for scientific computing exactly is. We distinguish between two very different interpretations of that goal, and on the separate basis of each one, we put forward answers about the appropriateness of each framework. Second, we provide an account of the fruitfulness and wide use of BSS, despite its unrealistic assumptions. Third, according to one of our proposed interpretations of the scope of foundations, the target domain of both models is a certain mathematical structure. In a clear sense, then, we are using idealised models to study a purely mathematical structure. The third purpose is to point out and explain this intriguing phenomenon and attempt to make connections with the typical case of idealised models of empirical domains. (shrink)

A number of examples of studies from the field ‘The Philosophy of Mathematical Practice’ (PMP) are given. To characterise this new field, three different strands are identified: an agent-based, a historical, and an epistemological PMP. These differ in how they understand ‘practice’ and which assumptions lie at the core of their investigations. In the last part a general framework, capturing some overall structure of the field, is proposed.

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)

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)

The expression ‘indispensability argument’ denotes a family of arguments for mathematical realism supported among others by Quine and Putnam. More and more often, Gottlob Frege is credited with being the first to state this argument in section 91 of the _Grundgesetze der Arithmetik_. Frege's alleged indispensability argument is the subject of this essay. On the basis of three significant differences between Mark Colyvan's indispensability arguments and Frege's applicability argument, I deny that Frege presents an indispensability argument in that very often (...) quoted section of the _Grundegesetze_. (shrink)

I critically examine confirmational holism as it pertains to the indispensability arguments for mathematical Platonism. I employ a distinction between pure and applied mathematics that grows out of the often overlooked symbiotic relationship between mathematics and science. I argue that this distinction undercuts the notion that mathematical theories fall under the holistic scope of the confirmation of our scientific theories.Keywords: Confirmational holism; Indispensability argument; Mathematics; Application; Science.

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 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)

This paper defends the Quine-Putnam mathematical indispensability argument against two objections raised by Penelope Maddy. The objections concern scientific practices regarding the development of the atomic theory and the role of applied mathematics in the continuum and infinity. I present two alternative accounts by Stephen Brush and Alan Chalmers on the atomic theory. I argue that these two theories are consistent with Quine’s theory of scientific confirmation. I advance some novel versions of the indispensability argument. I argue that these new (...) versions accommodate Maddy’s history of the atomic theory. Counter-examples are provided regarding the role of the mathematical continuum and mathematical infinity in science. (shrink)