Easy-road mathematical fictionalists grant for the sake of argument that quantification over mathematical entities is indispensable to some of our best scientific theories and explanations. Even so they maintain we can accept those theories and explanations, without believing their mathematical components, provided we believe the concrete world is intrinsically as it needs to be for those components to be true. Those I refer to as “mathematical surrealists” by contrast appeal to facts about the intrinsic character of the concrete world, not (...) to explain why our best mathematically imbued scientific theories and explanations are acceptable in spite of having false components, but in order to replace those theories and explanations with parasitic, nominalistically acceptable alternatives. I argue that easy-road fictionalism is viable only if mathematical surrealism is and that the latter constitutes a superior nominalist strategy. Two advantages of mathematical surrealism are that it neither begs the question concerning the explanatory role of mathematics in science nor requires rejecting the cogency of inference to the best explanation. (shrink)

Mathematical fictionalism (or as I'll call it, fictionalism) is best thought of as a reaction to mathematical platonism. Platonism is the view that (a) there exist abstract mathematical objects (i.e., nonspatiotemporal mathematical objects), and (b) our mathematical sentences and theories provide true descriptions of such objects. So, for instance, on the platonist view, the sentence ‘3 is prime’ provides a straightforward description of a certain object—namely, the number 3—in much the same way that the sentence ‘Mars is red’ provides a (...) description of Mars. But whereas Mars is a physical object, the number 3 is (according to platonism) an abstract object. And abstract objects, platonists tell us, are wholly nonphysical, nonmental, nonspatial, nontemporal, and noncausal. Thus, on this view, the number 3 exists independently of us and our thinking, but it does not exist in space or time, it is not a physical or mental object, and it does not enter into causal relations with other objects. This view has been endorsed by Plato, Frege (1884, 1893-1903, 1919), Gödel (1964), and in some of their writings, Russell (1912) and Quine (1948, 1951), not to mention numerous more recent philosophers of mathematics, e.g., Putnam (1971), Parsons (1971), Steiner (1975), Resnik (1997), Shapiro (1997), Hale (1987), Wright (1983), Katz (1998), Zalta (1988), and Colyvan (2001). (shrink)

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

The main task of this paper is to defend anti-platonism by providing an anti-platonist (in particular, a fictionalist) account of the indispensable applications of mathematics to empirical science.

There has been much discussion of the indispensability argument for the existence of mathematical objects. In this paper I reconsider the debate by using the notion of grounding, or non-causal dependence. First of all, I investigate what proponents of the indispensability argument should say about the grounding of relations between physical objects and mathematical ones. This reveals some resources which nominalists are entitled to use. Making use of these resources, I present a neglected but promising response to the indispensability argument—a (...) liberalized version of Field’s response—and I discuss its significance. I argue that if it succeeds, it provides a new refutation of the indispensability argument; and that, even if it fails, its failure may bolster some of the fictionalist responses to the indispensability argument already under discussion. In addition, I use grounding to reply to a recent challenge to these responses. (shrink)

I am hugely grateful for these provocative and illuminating comments. My thanks to all N commentators (N ≈ 13). I will have something to say about each contribution, but the overall organization wi...

Peter Geach proposed a substitutional construal of quantification over thirty years ago. It is not standardly substitutional since it is not tied to those substitution instances currently available to us; rather, it is pegged to possible substitution instances. We argue that (i) quantification over the real numbers can be construed substitutionally following Geach's idea; (ii) a price to be paid, if it is that, is intuitionism; (iii) quantification, thus conceived, does not in itself relieve us of ontological commitment to real (...) numbers. (shrink)

We argue that Horgan's program for nominalizing science fails, because its translation of quantitative statements destroys the inferential structures of explanations, predictions and retrodictions of nonquantitative scientific facts.

Recent work in the philosophy of language attempts to elucidate the elusive notion of aboutness. A natural question concerning such a project has to do with its motivation: why is the notion of aboutness important? Stephen Yablo offers an interesting answer: taking into consideration not only the conditions under which a sentence is true, but also what a sentence is about opens the door to a new style of criticism of certain philosophical analyses. We might criticize the analysis of a (...) given notion not because it fails to assign the right truth conditions to a class of sentences, but because it characterizes those sentences as being about something they are not about. In this paper, I apply Yablo’s suggestion to a case study. I consider meta-fictionalism, the view that the content of a mathematical claim S is ‘according to standard mathematics, S’. I argue, following Woodward, that, on certain assumptions, meta-fictionalism assigns the right truth-conditions to typical assertoric utterances of mathematical statements. However, I also argue that meta-fictionalism assigns the wrong aboutness conditions to typical assertoric utterances of mathematical statements. (shrink)

ABSTRACTThe paper explores Stephen Yablo's suggestion that ‘If-Thenism’ in the philosophy of mathematics is best formulated as the thesis that the real content of a mathematical claim C is the result of subtracting the potentially problematic metaphysical commitments of mathematics from C [Yablo 2017]. Yablo's proposal assumes that some propositions make others true. The present discussion assumes that propositions are coarse-grained sets of possible worlds and asks what Yablo's proposal looks like on that assumption. The conclusion is that the adequacy (...) of the proposal turns on hard-to-settle questions about the truthmakers for propositions expressed by material conditionals. (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)

ABSTRACT‘expressionist’ accounts of applied mathematics seek to avoid the apparent Platonistic commitments of our scientific theories by holding that we ought only to believe their mathematics-free nominalistic content. The notion of ‘nominalistic content’ is, however, notoriously slippery. Yablo's account of non-catastrophic presupposition failure offers a way of pinning down this notion. However, I argue, its reliance on possible worlds machinery begs key questions against Platonism. I propose instead that abstract expressionists follow Geoffrey Hellman's lead in taking the assertoric content of (...) empirical science to be irreducibly modal, using the ‘non-interference’ of mathematical objects as justification for detaching nominalistic consequences. (shrink)

Although Hale and Resnik are correct in their specific objection to my proposal for nominalizing science, the proposal can be saved by means of a simple and plausible modification.