First published in 1971, Professor Putnam's essay concerns itself with the ontological problem in the philosophy of logic and mathematics - that is, the issue of whether the abstract entities spoken of in logic and mathematics really exist. He also deals with the question of whether or not reference to these abstract entities is really indispensible in logic and whether it is necessary in physical science in general.

This book not only outlines the indispensability argument in considerable detail but also defends it against various challenges.

Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the doctrine that there are no such objects, and to embark on ambitious projects for interpreting mathematics so as to preserve the subject while eliminating its objects. This book cuts through a host of technicalities that have obscured previous (...) discussions of these projects, and presents clear, concise accounts of a dozen strategies for nominalistic interpretation of mathematics, thus equipping the reader to evaluate each and to compare different ones. The authors also offer critical discussion, rare in the literature, of the aims and claims of nominalistic interpretation, suggesting that it is significant in a very different way from that usually assumed. (shrink)

In this sequence of philosophical essays about natural science, the author argues that fundamental explanatory laws, the deepest and most admired successes of modern physics, do not in fact describe regularities that exist in nature. Cartwright draws from many real-life examples to propound a novel distinction: that theoretical entities, and the complex and localized laws that describe them, can be interpreted realistically, but the simple unifying laws of basic theory cannot.

(1) The average Mum has 2.4 children. (2) The number of Argle’s fingers equals the number of Bargle’s toes. (3) There are two possible ways in which Joe could win this chess game. In the right contexts, and outside the philosophy room, all the above sentences may be completely uncontroversial. For instance, if we know that Joe could win either by exchanging queens and entering an endgame, or by initiating a kingside attack then, if ignorant of Quine’s work on ontology, (...) we would take (3) to be uncontroversially true. (shrink)

A full appreciation for Ernst Mach's doctrine of the economy of thought must take account of his direct realism about particulars (elements) and his anti-realism about space-time laws as economical constructions. After a review of thought economy, its critics and some contemporary forms, the paper turns to the philosophical roots of Mach's doctrine. Mach claimed that the simplest, most parsimonious theories economized memory and effort by using abstract concepts and laws instead of attending to the details of each individual event (...) or experiment. For Mach, the individual case never truly repeated in all of its uniqueness, nor was all of the individual detail of a physical element adequately captured in abstract laws and schemata, however necessary these were for the pursuit of science. As can be shown from specific passages, some already published, some not, Mach's elements included physical qualia in nature similar to Russell's unsensed sensibilia, which existed even where there were no conscious observers. An argument will be presented to make the case that Mach believed in the mind-independent elements from the 1870s on, while other aspects of his thought evolved over time; I have thus dated the references to reflect this historical progression. I concentrate on Mach's ontology, as it bears on economy of thought, not his epistemology per se, which might well have been restricted to observable elements/sensations. After his own conversion to neutral monism, in the 1920s, Bertrand Russell echoed Mach's call for a 'future science' capable of handling the 'intrinsic character' of qualitative data directly without the excessive abstraction of physics. (shrink)

This is the first systematic survey of modern nominalistic reconstructions of mathematics, and for this reason alone it should be read by everyone interested in the philosophy of mathematics and, more generally, in questions concerning abstract entities. In the bulk of the book, the authors sketch a common formal framework for nominalistic reconstructions, outline three major strategies such reconstructions can follow, and locate proposals in the literature with respect to these strategies. The discussion is presented with admirable precision and clarity, (...) and should be accessible even to readers with only minimal background in logic and mathematics. There will be many who will turn directly to these pages and use them as a brief manual on the state of the art of nominalism in mathematics. But the most intriguing parts of this elegant book—at least in my view—are the introduction and the conclusion, where the authors examine the significance of reconstructive nominalism. (shrink)

This book includes detailed critical analysis of a wide variety of versions of the indispensability argument, as well as a novel approach to traditional views about mathematics.

In this paper I reply to Jody Azzouni, Otávio Bueno, Mary Leng, David Liggins, and Stephen Yablo, who offer defences of so-called ‘ easy road ’ nominalist strategies in the philosophy of mathematics.

I defend my nominalist account of mathematics from objections that have been raised to it by Mark Colyvan.

If we must take mathematical statements to be true, must we also believe in the existence of abstract eternal invisible mathematical objects accessible only by the power of pure thought? Jody Azzouni says no, and he claims that the way to escape such commitments is to accept true statements which are about objects that don't exist in any sense at all. Azzouni illustrates what the metaphysical landscape looks like once we avoid a militant Realism which forces our commitment to anything (...) that our theories quantify. Escaping metaphysical straitjackets, while retaining the insight that some truths are about objects that do exist, Azzouni says that we can sort scientifically-given objects into two categories: ones which exist, and to which we forge instrumental access in order to learn their properties, and ones which do not, that is, which are made up in exactly the same sense that fictional objects are. He offers as a case study a small portion of Newtonian physics, and one result of his classification of its ontological commitments, is that it does not commit us to absolute space and time. (shrink)

The access problem for mathematics arises from the supposition that the referents of mathematical terms inhabit a realm separate from us. Quine’s approach in the philosophy of mathematics dissolves the access problem, though his solution sometimes goes unrecognized, even by those who rely on his framework. This paper highlights both Quine’s position and its neglect. I argue that Michael Resnik’s structuralist, for example, has no access problem for the so-called mathematical objects he posits, despite recent criticism, since he relies on (...) an indispensability argument. Still, Resnik’s structuralist does not provide an account of our access to traditional mathematical objects, and this may be seen as a problem. (shrink)

For many philosophers not automatically inclined to Platonism, the indispensability argument for the existence of mathematical objectshas provided the best (and perhaps only) evidence for mathematicalrealism. Recently, however, this argument has been subject to attack, most notably by Penelope Maddy (1992, 1997),on the grounds that its conclusions do not sit well with mathematical practice. I offer a diagnosis of what has gone wrong with the indispensability argument (I claim that mathematics is indispensable in the wrong way), and, taking my cue (...) from Mark Colyvan''s (1998) attempt to provide a Quinean account of unapplied mathematics as `recreational'', suggest that, if one approaches the problem from a Quinean naturalist starting point, one must conclude that all mathematics is recreational in this way. (shrink)

A normative constraint on theories about objects which we take to be real is explored: such theories are required to track the properties of the objects which they are theories of. Epistemic views in which observation (and generalizations of it) play a central role, and holist views which see epistemic virtues as applicable only to whole theories, are contrasted in the light of this constraint. It's argued that global-style epistemic virtues can't meet the constraint, although (certain) epistemic views within which (...) observation (and, more generally, thick epistemic access) are centralized do meet it. (shrink)

Realists persuaded by indispensability arguments af- firm the existence of numbers, genes, and quarks. Van Fraassen's empiricism remains agnostic with respect to all three. The point of agreement is that the posits of mathematics and the posits of biology and physics stand orfall together. The mathematical Platonist can take heart from this consensus; even if the existence of num- bers is still problematic, it seems no more problematic than the existence of genes or quarks. If the two positions just described (...) were the only ones possible, there could be no objection to this melding of numbers with genes and quarks. However, the position I call contrastive empiricism (Sober 1990a) stands opposed to both realism and to Van Fraassen's em- piricism. As it turns out, contrastive empiricism entails that coalesc- ing mathematics with empirical science is highly problematic. I believe that there is an important kernel of truth in abductive ar- guments for genes and quarks. But no counterpart argument exists for the case of numbers. Of course, the existence of this third way would be uninteresting, if contrastive empiricism were wholly implausible. However, I will argue that contrastive empiricism captures what makes sense in standard versions of realism and empiricism, while avoiding the excesses of each. This third way is a middle way; it cannot be dismissed out of hand. (shrink)

According to the indispensability argument, the fact that we quantify over numbers, sets and functions in our best scientific theories gives us reason for believing that such objects exist. I examine a strategy to dispense with such quantification by simply replacing any given platonistic theory by the set of sentences in the nominalist vocabulary it logically entails. I argue that, as a strategy, this response fails: for there is no guarantee that the nominalist world that go beyond the set of (...) sentences in the nominalist language such theories entail. However, I argue that what such theories show is that mathematics can enable us to express possibilities about the concrete world that may not be expressible in nominalistically acceptable language. While I grant that this may make quantification over abstracta indispensable, I deny that such indispensability is a reason for accepting them into our ontology. I urge that the nominalist should be allowed to quantify over abstracta whilst denying their existence and I explain how this apparently contradictory practice (a practice I call 'weaseling') is in fact coherent, unproblematic and rational. Finally, I examine the view that platonistic theories are simpler or more attractive than their nominalistic reformulations, and thus that abstract ought to be accepted into our ontology for the same sorts of reasons as other theoretical objects. I argue that, at least in the case of numbers, functions and sets, such arguments misunderstand the kind of simplicity and attractiveness we seek. (shrink)

The ramifications are explored of taking physical theories to commit their advocates only to ‘physically real’ entities, where ‘physically real’ means ‘causally efficacious’ (e.g., actual particles moving through space, such as dust motes), the ‘physically significant’ (e.g., centers of mass), and the merely mathematical—despite the fact that, in ordinary physical theory, all three sorts of posits are quantified over. It's argued that when such theories are regimented, existential quantification, even when interpreted ‘objectually’ (that is, in terms of satisfaction via variables, (...) rather than by substitution-instances) need not imply any ontological commitments. (shrink)

Mark Balaguer has written a provocative and original book. The book is as ambitious as a work of philosophy of mathematics could be. It defends both of the dominant views concerning the ontology of mathematics, Platonism and Anti-Platonism, and then closes with an argument that there is no fact of the matter which is right.

Mathematics tells us there exist infinitely many prime numbers. Nominalist philosophy, introduced by Goodman and Quine, tells us there exist no numbers at all, and so no prime numbers. Nominalists are aware that the assertion of the existence of prime numbers is warranted by the standards of mathematical science; they simply reject scientific standards of warrant.

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)

Hartry Field has shown us a way to be nominalists: we must purge our scientific theories of quantification over abstracta and we must prove the appropriate conservativeness results. This is not a path for the faint hearted. Indeed, the substantial technical difficulties facing Field's project have led some to explore other, easier options. Recently, Jody Azzouni, Joseph Melia, and Stephen Yablo have argued that it is a mistake to read our ontological commitments simply from what the quantifiers of our best (...) scientific theories range over. In this paper, I argue that all three arguments fail and they fail for much the same reason; would-be nominalists are thus left facing Field's hard road. (shrink)

This chapter compares and contrasts Quine’s naturalism with the versions of two post-Quineans on the nature of science, logic, and mathematics. The role of indispensability in the philosophy of mathematics is treated in detail.