I revisit my 1993 paper on Putnam and mathematical realism focusing on the indispensability argument and how it has fared over the years. This argument starts from the claim that mathematics is an indispensable part of science and draws the conclusion, from holistic considerations about confirmation, that the ontology of science includes abstract objects as well as the physical entities science deals with.

This volume aims to establish the starting point for the development, evaluation and appraisal of the phenomenology of mathematics.

Retention of structure across theory change has been invoked in support of a ‘structural’ alternative to more traditional entity-based scientific realism. In that context the transition from Newtonian mechanics to the Special Theory of Relativity is often regarded as a very significant instance of structural preservation, or retention, associated with correspondence-based recovery. The joint derivation, from a small set of elementary and ontologically neutral assumptions, of both the Galilei and the Lorentz transformation exemplifies the virtues of structural approaches to the (...) foundations of physical theories. The common origination of the resulting two relativistic frameworks sheds light on both the successes and the limitations of correspondence claims. However, the cognitive-operational character of the basic assumptions lends no support to the structural realist’s ‘inference to the best explanation’. (shrink)

Scientific properties come in degrees: elephants are more massive than mice. Are facts like these fundamental or can they be explained in other terms? This article argues that the structure of physical quantities like mass reduces to facts about the role that mass plays in the laws of nature. On this view elephants are more massive than mice partly in virtue of the fact that elephants are harder to throw around.

In the debate over whether mathematical facts, properties, or entities explain physical events (in what philosophers call “extra-mathematical” explanations), Aidan Lyon’s (2012) affirmative answer stands out for its employment of the program explanation (PE) methodology of Frank Jackson and Philip Pettit (1990). Juha Saatsi (2012; 2016) objects, however, that Lyon’s examples from the indispensabilist literature are (i) unsuitable for PE, (ii) nominalizable into non-mathematical terms, and (iii) mysterious about the explanatory relation alleged to obtain between the PE’s mathematical explanantia and (...) physical explananda. In this paper, I propose a counterexample to Saatsi’s objections. My counterexample is Frank Jackson’s (1998a) program explanation for color experience, which I argue needs recasting as an extra-mathematical PE due to its implicit reliance on reflectance, a property that suffers conceptual regress unless redefined with Fourier harmonics. Pace Saatsi, I argue that this recast example is an authoritative PE, non-nominalizable, and minimally esoteric. Important for the indispensability debate at large, moreover, is that my counterexample reifies Fourier harmonics without the Enhanced Indispensability Argument (an argument to which Lyon applies PE as a premise). Indispensabilists have long overlooked the conditionalization of a limited mathematical realism on property realism, and my counterexample to Saatsi exploits this conditionalization. (shrink)

Questions regarding what exists are central to various forms of Buddhist philosophy, as they are to many traditions of philosophy. Interestingly, there is perhaps a clearer consensus in Buddhist thought regarding what does not exist than there may be regarding precisely what does exist, at least insofar as the doctrine of anātman (no self, absence of self) is taken to be a fundamental Buddhist doctrine. It may be noted that many forms of Mahāyāna Buddhist philosophy in particular are considered to (...) offer a quite austere ontology—a rather ‘empty’ account of what exists. Continuing in this vein of ontological austerity, here I will attempt to lay out a relatively novel approach to Buddhist ontology, viz. Buddhist fictionalism. (shrink)

In his stimulating new book The Construction of Logical Space , Agustín Rayo offers a new account of mathematics, which he calls ‘Trivialist Platonism’. In this article, we take issue with Rayo’s case for Trivialist Platonism and his claim that the view overcomes Benacerraf’s dilemma. Our conclusion is that Rayo has not shown that Trivialist Platonism has any advantage over nominalism.

Do numbers exist? Do properties? Do possible worlds? Do fictional characters? Many metaphysicians spend time and effort trying to answer these and other questions about the existence of various entities. These inquiries have recently encountered opposition: a group of philosophers, drawing inspiration from Aristotle, have argued that many or all of the existence questions debated by metaphysicians can be answered trivially, and so are not worth debating. Our task is to defend existence questions from the neo-Aristotelians' attacks.

This paper distinguishes revolutionary fictionalism from other forms of fictionalism and also from other philosophical views. The paper takes fictionalism about mathematical objects and fictionalism about scientific unobservables as illustrations. The paper evaluates arguments that purport to show that this form of fictionalism is incoherent on the grounds that there is no tenable distinction between believing a sentence and taking the fictionalist's distinctive attitude to that sentence. The argument that fictionalism about mathematics is ‘comically immodest’ is also evaluated. In place (...) of those arguments, an argument against fictionalism about abstract objects of any kind is presented in the last section. This argument takes the form of a trilemma against the fictionalist. (shrink)

Suppose one is persuaded of the merits of noncognitivism in ethics but not those of expressivism: in such a case, a form of moral fictionalism, combining a descriptivist account of moral sentences with a noncognitivist account of the attitudes involved in their acceptance or rejection, might seem an attractive alternative. This paper argues against the use of moral fictionalism as a strategy for defending noncognitivism in ethics. It argues, first, that the view is implausible as it stands and, second, that (...) it does not enjoy the benefits over standard—expressivist—noncognitivism both that it claims to enjoy and that make up the principal rationale for the view. The paper then turns to the grounds for noncognitivism itself before showing how far the criticisms developed extend to alternative forms of moral fictionalism and developing independent objections to each. (shrink)

It has been argued that the attempt to meet indispensability arguments for realism in mathematics, by appeal to counterfactual statements, presupposes a view of mathematical modality according to which even though mathematical entities do not exist, they might have existed. But I have sought to defend this controversial view of mathematical modality from various objections derived from the fact that the existence or nonexistence of mathematical objects makes no difference to the arrangement of concrete objects. This defense of the controversial (...) view of mathematical modality obviously falls far short of a full endorsement of the counterfactual approach, but I hope my remarks may serve to help keep such an approach a live option. (shrink)

Both literalism, the view that mathematical objects simply exist in the empirical world, and fictionalism, the view that mathematical objects do not exist but are rather harmless fictions, have been both ascribed to Aristotle. The ascription of literalism to Aristotle, however, commits Aristotle to the unattractive view that mathematics studies but a small fragment of the physical world; and there is evidence that Aristotle would deny the literalist position that mathematical objects are perceivable. The ascription of fictionalism also faces a (...) difficult challenge: there is evidence that Aristotle would deny the fictionalist position that mathematics is false. I argue that, in Aristotle's view, the fiction of mathematics is not to treat what does not exist as if existing but to treat mathematical objects with an ontological status they lack. This form of fictionalism is consistent with holding that mathematics is true. (shrink)

Mathematics has a great variety ofapplications in the physical sciences.This simple, undeniable fact, however,gives rise to an interestingphilosophical problem:why should physical scientistsfind that they are unable to evenstate their theories without theresources of abstract mathematicaltheories? Moreover, theformulation of physical theories inthe language of mathematicsoften leads to new physical predictionswhich were quite unexpected onpurely physical grounds. It is thought by somethat the puzzles the applications of mathematicspresent are artefacts of out-dated philosophical theories about thenature of mathematics. In this paper I argue (...) that this is not so.I outline two contemporary philosophical accounts of mathematics thatpay a great deal of attention to the applicability of mathematics and showthat even these leave a large part of the puzzles in question unexplained. (shrink)

ABSTRACTIn the target article ‘If-Thenism’, Stephen Yablo develops a novel form of if-thenism, that appeals to the notion of logical subtraction. In this commentary, I explore the limits of Yablo's proposed subtraction procedure, by leaning on an analogy with photographic subtraction. In particular, I will argue that there will be cases when there's nothing interesting left after the subtraction and, as a consequence, there are serious limits to the applicability of the subtraction procedure.

I contend that mathematical domains are freestanding institutional entities that, at least typically, are introduced to serve representational functions. In this paper, I outline an account of institutional reality and a supporting metaontological perspective that clarify the content of this thesis. I also argue that a philosophy of mathematics that has this thesis as its central tenet can account for the objectivity, necessity, and atemporality of mathematics.

Stereotypes of social construction suggest that the existence of social constructs is accidental and that such constructs have arbitrary and subjective features. In this paper, I explore a conception of social construction according to which it consists in the collective imposition of function onto reality and show that, according to this conception, these stereotypes are incorrect. In particular, I argue that the collective imposition of function onto reality is typically non-accidental and that the products of such imposition frequently have non-arbitrary (...) and objective features. These conclusions are interesting in and of themselves since they debunk important aspects of our socially constructed conception of social construction. Yet, additionally, they have important implications for the viability of mathematical social constructivism since resistance to such constructivism is frequently grounded in the observation that mathematics is non-accidental, non-arbitrary, and objective. As a secondary focus, I explore these implications in this paper. (shrink)

Recently Colin Cheyne and Charles Pigden have challenged supporters of mathematical indispensability arguments to give an account of how causally inert mathematical entities could be indispensable to science. Failing to meet this challenge, claim Cheyne and Pigden, would place Platonism in a no win situation: either there is no good reason to believe in mathematical entities or mathematical entities are not causally inert. The present paper argues that Platonism is well equipped to meet this challenge.

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 this paper I examine Quine''s indispensability argument, with particular emphasis on what is meant by ''indispensable''. I show that confirmation theory plays a crucial role in answering this question and that once indispensability is understood in this light, Quine''s argument is seen to be a serious stumbling block for any scientific realist wishing to maintain an anti-realist position with regard to mathematical entities.

We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in [Maudlin 2012] and [Malament, unpublished]. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of [Tarski 1959]: a predicate of betwenness and a (...) four place predicate to compare the square of the relativistic intervals. Minkowski spacetime is described as a four dimensional ‘vector space’ that can be decomposed everywhere into a spacelike hyperplane - which obeys the Euclidean axioms in [Tarski and Givant, 1999] - and an orthogonal timelike line. The length of other ‘vectors’ are calculated according to Pythagora’s theorem. We conclude with a Representation Theorem relating models of our system that satisfy second order continuity to the mathematical structure called ‘Minkowski spacetime’ in physics textbooks. (shrink)

It is often supposed that, unlike typical axioms of mathematics, the Continuum Hypothesis (CH) is indeterminate. This position is normally defended on the ground that the CH is undecidable in a way that typical axioms are not. Call this kind of undecidability “absolute undecidability”. In this paper, I seek to understand what absolute undecidability could be such that one might hope to establish that (a) CH is absolutely undecidable, (b) typical axioms are not absolutely undecidable, and (c) if a mathematical (...) hypothesis is absolutely undecidable, then it is indeterminate. I shall argue that on no understanding of absolute undecidability could one hope to establish all of (a)–(c). However, I will identify one understanding of absolute undecidability on which one might hope to establish both (a) and (c) to the exclusion of (b). This suggests that a new style of mathematical antirealism deserves attention—one that does not depend on familiar epistemological or ontological concerns. The key idea behind this view is that typical mathematical hypotheses are indeterminate because they are relevantly similar to CH. (shrink)

Gideon Rosen, Brian Leiter, and Catarina Dutilh Novaes raise deep questions about the arguments in Morality and Mathematics (M&M). Their objections bear on practical deliberation, the formulation of mathematical pluralism, the problem of universals, the argument from moral disagreement, moral ‘perception’, the contingency of our mathematical practices, and the purpose of proof. In this response, I address their objections, and the broader issues that they raise.

There is a long tradition comparing moral knowledge to mathematical knowledge. In this paper, I discuss apparent similarities and differences between knowledge in the two areas, realistically conceived. I argue that many of these are only apparent, while others are less philosophically significant than might be thought. The picture that emerges is surprising. There are definitely differences between epistemological arguments in the two areas. However, these differences, if anything, increase the plausibility of moral realism as compared to mathematical realism. It (...) is hard to see how one might argue, on epistemological grounds, for moral antirealism while maintaining commitment to mathematical realism. But it may be possible to do the opposite. (shrink)

The corpus of physical theory is a paradigm of knowledge. The evolution of modern physical theory constitutes the clearest exemplar of the growth of knowledge. If the development of physical theory does not constitute an example of progress and growth in what we know about the Universe nothing does. So anyone interested in the theory of knowledge must be interested consequently in the evolution and content of physical theory. Crucial to the conception of physics as a paradigm of knowledge is (...) the way in which physical theory provides explanations of a vast diversity of natural phenomena on the basis of a very few fundamental principles. A central problem for the epistemologist is therefore what is theoretical explanation in physics? Here we can get good insight from what Redhead has said. Indeed one could agree with almost everything Redhead says and simply endorse much of his careful and extensive defence of the covering law account of explanation in the physical sciences at least as an ideal. However I shall, I fear, try the reader's patience by extending some of the considerations he introduced and raising those issues where we disagree, especially in the important area of statistical explanation. (shrink)

One of the popular explications of the deflationary tenet of ‘thinness’ of truth is the conservativeness demand: the declaration that a deflationary truth theory should be conservative over its base. This paper contains a critical discussion and assessment of this demand. We ask and answer the question of whether conservativity forms a part of deflationary doctrines.

An adequate account of laws should satisfy at least five desiderata: it should provide a unified account of laws and chances, it should yield plausible relations between laws and chances, it should vindicate numerical chance assignments, it should accommodate dynamical and non-dynamical chances, and it should accommodate a plausible range of nomic possibilities. No extant account of laws satisfies these desiderata. This paper presents a non-Humean account of laws, the Nomic Likelihood Account, that does.

The present paper will argue that, for too long, many nominalists have concentrated their researches on the question of whether one could make sense of applications of mathematics (especially in science) without presupposing the existence of mathematical objects. This was, no doubt, due to the enormous influence of Quine's "Indispensability Argument", which challenged the nominalist to come up with an explanation of how science could be done without referring to, or quantifying over, mathematical objects. I shall admonish nominalists to enlarge (...) the target of their investigations to include the many uses mathematicians make of concepts such as structures and models to advance pure mathematics. I shall illustrate my reasons for admonishing nominalists to strike out in these new directions by using Hartry Field's nominalistic view of mathematics as a model of a philosophy of mathematics that was developed in just the sort of way I argue one should guard against. I shall support my reasons by providing grounds for rejecting both Field's fictionalism and also his deflationist account of mathematical knowledge—doctrines that were formed largely in response to the Indispensability Argument. I shall then give a refutation of Mark Balaguer's argument for his thesis that fictionalism is "the best version of anti-realistic anti-platonism". (shrink)

The Quine/Putnam indispensability argument is regarded by many as the chief argument for the existence of platonic objects. We argue that this argument cannot establish what its proponents intend. The form of our argument is simple. Suppose indispensability to science is the only good reason for believing in the existence of platonic objects. Either the dispensability of mathematical objects to science can be demonstrated and, hence, there is no good reason for believing in the existence of platonic objects, or their (...) dispensability cannot be demonstrated and, hence, there is no good reason for believing in the existence of mathematical objects which are genuinely platonic. Therefore, indispensability, whether true or false, does not support platonism. (shrink)

The paper distinguishes between two kinds of mathematics, natural mathematics which is a result of biological evolution and artificial mathematics which is a result of cultural evolution. On this basis, it outlines an approach to the philosophy of mathematics which involves a new treatment of the method of mathematics, the notion of demonstration, the questions of discovery and justification, the nature of mathematical objects, the character of mathematical definition, the role of intuition, the role of diagrams in mathematics, and the (...) effectiveness of mathematics in natural science. (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)

In this paper I propose a position in the ontology of mathematics which is inspired mainly by a case study in the mathematical discipline if-theory. The main theses of this position are that mathematical objects are introduced by mathematicians and that after mathematical objects have been introduced, they exist as objectively accessible abstract objects.

This article takes as a starting point the current popular anti realist position, Fictionalism, with the intent to compare it with actual mathematical practice. Fictionalism claims that mathematical statements do purport to be about mathematical objects, and that mathematical statements are not true. Considering these claims in the light of mathematical practice leads to questions about how mathematical objects are handled, and how we prove that certain statements hold. Based on a case study on Riemann’s work on complex functions, I (...) propose that mathematicians deal with systems of representations and that truth—or what we can prove—depends on available representations in some context where the problem can be solved. (shrink)

The linguistic turn provided philosophers with a range of reasons for engaging in careful investigation into the nature and structure of language. However, the linguistic turn is dead. The arguments for it have been abandoned. This raises the question: why should philosophers take an interest in the minutiae of natural language semantics? I’ll argue that there isn’t much of a reason - philosophy of language has lost its way. Then I provide a suggestion for how it can find its way (...) again. (shrink)

What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.

Confirmational holism is central to a traditional formulation of the indispensability argument for mathematical realism (IA). I argue that recent strategies for defending scientific realism are incompatible with confirmational holism. Thus a traditional formulation of IA is incompatible with recent strategies for defending scientific realism. As a consequence a traditional formulation of IA will only have limited appeal.

The traditional formulation of the indispensability argument for the existence of mathematical entities (IA) has been criticised due to its reliance on confirmational holism. Recently a formulation of IA that works without appeal to confirmational holism has been defended. This recent formulation is meant to be superior to the traditional formulation in virtue of it not being subject to the kind of criticism that pertains to confirmational holism. I shall argue that a proponent of the version of IA that works (...) without appeal to confirmational holism will struggle to answer a challenge readily answered by proponents of a version of IA that does appeal to confirmational holism. This challenge is to explain why mathematics applied in falsified scientific theories is not considered to be falsified along with the rest of the theory. In cases where mathematics seemingly ought to be falsified it is saved from falsification, by a so called 'Euclidean rescue'. I consider a range of possible answers to this challenge and conclude that each answer fails. (shrink)

Enhanced indispensability arguments claim that Scientific Realists are committed to the existence of mathematical entities due to their reliance on Inference to the best explanation. Our central question concerns this purported parity of reasoning: do people who defend the EIA make an appropriate use of the resources of Scientific Realism to achieve platonism? We argue that just because a variety of different inferential strategies can be employed by Scientific Realists does not mean that ontological conclusions concerning which things we should (...) be Scientific Realists about are arrived at by any inferential route which eschews causes, and nor is there any direct pressure for Scientific Realists to change their inferential methods. We suggest that in order to maintain inferential parity with Scientific Realism, proponents of EIA need to give details about how and in what way the presence of mathematical entities directly contribute to explanations. (shrink)

Indispensability arguments for mathematical realism are commonly traced back to Quine. We identify two different Quinean strands in the interpretation of IA, what we label the ‘logical point of view’ and the ‘theory-contribution’ point of view. Focusing on each of the latter, we offer two minimal versions of IA. These both dispense with a number of theoretical assumptions commonly thought to be relevant to IA. We then show that the attribution of both minimal arguments to Quine is controversial, and stress (...) the extent to which this is so in both cases, in order to attain a better appreciation of the Quinean heritage of IA. (shrink)

My first goal is to motivate a distinctively metaphysical approach to the problem of induction. I argue that there is a precise sense in which the only way that orthodox Humean and non-Humean views can justify induction is by appealing to extremely strong and unmotivated probabilistic biases. My second goal is to sketch what such a metaphysical approach could possibly look like. After sketching such an approach, I consider a toy case that illustrates the way in which such a metaphysics (...) can help us make progress on the problem of induction. (shrink)

I challenge a claim that seems to be made when nominalists offer reformulations of the content of mathematical beliefs, namely that these reformulations are accessible to everyone. By doing so, I argue that these theories cannot account for the mathematical knowledge that ordinary people have. In the first part of the paper I look at reformulations that employ the concept of proof, such as those of Mary Leng and Ottavio Bueno. I argue that ordinary people don’t have many beliefs about (...) proofs, and that they are not in a position to acquire knowledge about proofs autonomously. The second part of the paper is concerned with other reformulations of content, such as those of Hartry Field and Stephen Yablo. There too, the problem is that people are not able to acquire knowledge of the reformulated propositions autonomously. Ordinary people simply do not have beliefs with the kind of content that the nominalists need, for their theory to account for the mathematical knowledge of ordinary people. All in all then, the conclusion is that a large number of theories that suggest reformulations of mathematical content yield contents that are inaccessible for most people. Thus, these theories are limited, in that they cannot account for the mathematical knowledge of ordinary people. (shrink)

Most of our best scientific descriptions of the world employ rates of change of some continuous quantity with respect to some other continuous quantity. For instance, in classical physics we arrive at a particle’s velocity by taking the time-derivative of its position, and we arrive at a particle’s acceleration by taking the time-derivative of its velocity. Because rates of change are defined in terms of other continuous quantities, most think that facts about some rate of change obtain in virtue of (...) facts about those other continuous quantities. For example, on this view facts about a particle’s velocity at a time obtain in virtue of facts about how that particle’s position is changing at that time. In this paper we raise a puzzle for this orthodox reductionist account of rate of change quantities and evaluate some possible replies. We don’t decisively come down in favour of one reply over the others, though we say some things to support taking our puzzle to cast doubt on the standard view that spacetime is continuous. (shrink)

A first step is taken towards articulating a constructive empiricist philosophy of mathematics, thus extending van Fraassen's account to this domain. In order to do so, I adapt Field's nominalization program, making it compatible with an empiricist stance. Two changes are introduced: (a) Instead of taking conservativeness as the norm of mathematics, the empiricist countenances the weaker notion of quasi-truth (as formulated by da Costa and French), from which the formal properties of conservativeness are derived; (b) Instead of quantifying over (...) spacetime regions, the empiricist only admits quantification over occupied regions, since this is enough for his or her needs. (shrink)

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)