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.

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)

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)

Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of fact, and truth which are synthetic, or grounded in fact. The other dogma is reductionism: the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience. Both dogmas, I shall argue, are ill founded. One effect of abandoning them is, as (...) we shall see, a blurring of the supposed boundary between speculative metaphysics and natural science. Another effect is a shift toward pragmatism. (shrink)

This volume will be the starting point for future discussion and research.

Science Without Numbers caused a stir in 1980, with its bold nominalist approach to the philosophy of mathematics and science. It has been unavailable for twenty years and is now reissued in a revised edition with a substantial new preface presenting the author's current views and responses to the issues raised in subsequent debate.

Professor Hilary Putnam has been one of the most influential and sharply original of recent American philosophers in a whole range of fields. His most important published work is collected here, together with several new and substantial studies, in two volumes. The first deals with the philosophy of mathematics and of science and the nature of philosophical and scientific enquiry; the second deals with the philosophy of language and mind. Volume one is now issued in a new edition, including an (...) essay on the philosophy of logic first published in 1971. (shrink)

Truths are determined not by what we believe, but by the way the world is. Or so realists about truth believe. Philosophers call such theories correspondence theories of truth. Truthmaking theory, which now has many adherents among contemporary philosophers, is the most recent development of a realist theory of truth, and in this book D. M. Armstrong offers the first full-length study of this theory. He examines its applications to different sorts of truth, including contingent truths, modal truths, truths about (...) the past and the future, and mathematical truths. In a clear, even-handed and non-technical discussion he makes a compelling case for truthmaking and its importance in philosophy. His book marks a significant contribution to the debate and will be of interest to a wide range of readers working in analytical philosophy. (shrink)

Challenging the myth that mathematical objects can be defined into existence, Bigelow here employs Armstrong's metaphysical materialism to cast new light on mathematics. He identifies natural, real, and imaginary numbers and sets with specified physical properties and relations and, by so doing, draws mathematics back from its sterile, abstract exile into the midst of the physical world.

[Stephen Yablo] The usual charge against Carnap's internal/external distinction is one of 'guilt by association with analytic/synthetic'. But it can be freed of this association, to become the distinction between statements made within make-believe games and those made outside them-or, rather, a special case of it with some claim to be called the metaphorical/literal distinction. Not even Quine considers figurative speech committal, so this turns the tables somewhat. To determine our ontological commitments, we have to ferret out all traces of (...) nonliterality in our assertions; if there is no sensible project of doing that, there is no sensible project of Quinean ontology. /// [Andre Gallois] I discuss Steve Yablo's defence of Carnap's distinction between internal and external questions. In the first section I set out what I take that distinction, as Carnap draws it, to be, and spell out a central motivation Carnap has for invoking it. In the second section I endorse, and augment, Yablo's response to Quine's arguments against Carnap. In the third section I say why Carnap's application of the distinction between internal and external questions runs into trouble. In the fourth section I spell out what I take to be Yablo's version of Carnap. In the last I say why that version is especially vulnerable to the objection raised in the second. (shrink)

Truthmaker theory promises to do some useful philosophical work: equipping us to argue against phenomenalism and Rylean behaviourism, for instance, and helping us decide what exists (Lewis 1999, 207; Armstrong 1997, 113-119). But it has proved hard to formulate a truthmaker theory that is both useful and believable. I want to suggest that a neglected approach to truthmakers – that of Ian McFetridge – can surmount some of the problems that make other theories of truthmaking unattractive. To begin with, I’ll (...) outline some of the most prominent accounts of truthmaking in the current literature. Then the second part of the paper will explain McFetridge’s theory and argue for its superiority over these accounts. (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)

All sides in the recent debates over the Quine‐Putnam Indispensability thesis presuppose Quine's criterion for determining what a discourse is ontologically committed to. I subject the criterion to scrutiny, especially in regard to the available competitor‐criteria, asking what means of evaluation there are for comparing alternative criteria against each other. Finding none, the paper concludes that ontological questions, in a certain sense, are philosophically indeterminate.

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (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)

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.

In this paper I argue that there are some sentences whose truth makes no demands on the world, being trivially true in that their truth-conditions are trivially met. I argue that this does not amount to their truth-conditions being met necessarily: we need a non-modal understanding of the notion of the demands the truth of a sentence makes, lest we be blinded to certain conceptual possibilities. I defend the claim that the truths of pure mathematics and set theory are trivially (...) true, and hence accepting their truth brings no ontological commitment; I further defend the claim that the truths of applied mathematics and set theory do not demand the existence of numbers or sets. While the notion of a demand must not be reduced to anything modal, I nonetheless argue that sentences that are trivially true must also be necessary, lest we violate a very weak version of the principle that truth depends on the world. I further argue that all necessary truths are trivially true, lest we admit unexplained necessities. I end by showing one important consequence of this: I argue that if there are truthmakers for intrinsic predications, they must be states of affairs rather than tropes. (shrink)

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

Penelope Maddy and Elliott Sober recently attacked the confirmational indispensability argument for mathematical realism. We cannot count on science to provide evidence for the truth of mathematics, they say, because either scientific testing fails to confirm mathematics (Sober) or too much mathematics occurs in false scientific theories (Maddy). I present a pragmatic indispensability argument immune to these objections, and show that this argument supports mathematical realism independently of scientific realism. Mathematical realism, it turns out, may be even more firmly established (...) than scientific realism. (shrink)

I address an intuition commonly endorsed by metaphysicians, that there must be a fundamental layer of reality, i.e., that chains of ontological dependence must terminate: there cannot be turtles all the way down. I discuss applications of this intuition with reference to Bradley’s regress, composition, realism about the mental and the cosmological argument. I discuss some arguments for the intui- tion, but argue that they are unconvincing. I conclude by making some suggestions for how the intuition should be argued for, (...) and discussing the ramifications of giving the justification I think best. (shrink)

This book is an investigation into metaphysics: its aims, scope, methodology and practice. Dyke argues that metaphysics should take itself to be concerned with investigating the fundamental nature of reality, and suggests that the ontological significance of language has been grossly exaggerated in the pursuit of that aim.

From an Ontological Point of View is a highly original and accessible exploration of fundamental questions about what there is. John Heil discusses such issues as whether the world includes levels of reality; the nature of objects and properties; the demands of realism; what makes things true; qualities, powers, and the relation these bear to one another. He advances an account of the fundamental constituents of the world around us, and applies this account to problems that have plagued recent work (...) in the philosophy of mind and metaphysics (color, intentionality, and the nature of consciousness). (shrink)

This book offers a defence of mathematical fictionalism, according to which we have no reason to believe that there are any mathematical objects. Perhaps the most pressing challenge to mathematical fictionalism is the indispensability argument for the truth of our mathematical theories (and therefore for the existence of the mathematical objects posited by those theories). According to this argument, if we have reason to believe anything, we have reason to believe that the claims of our best empirical theories are (at (...) least approximately) true. But since claims whose truth would require the existence of mathematical objects are indispensable in formulating our best empirical theories, it follows that we have good reason to believe in the mathematical objects posited by those mathematical theories used in empirical science, and therefore to believe that the mathematical theories utilized in empirical science are true. Previous responses to the indispensability argument have focused on arguing that mathematical assumptions can be dispensed with in formulating our empirical theories. This book, by contrast, offers an account of the role of mathematics in empirical science according to which the successful use of mathematics in formulating our empirical theories need not rely on the truth of the mathematics utilized. (shrink)

Truth and Ontology concludes that some truths do not depend on being in any substantive way at all.

On the truthmaker view of ontological commitment [Heil (From an ontological point of view, 2003); Armstrong (Truth and truthmakers, 2004); Cameron (Philosophical Studies, 2008)], a theory is committed to the entities needed in the world for the theory to be made true. I argue that this view puts truthmaking to the wrong task. None of the leading accounts of truthmaking—via necessitation, supervenience, or grounding—can provide a viable measure of ontological commitment. But the grounding account does provide a needed constraint on (...) what is fundamental. So I conclude that truthmaker commitments are not a rival to quantifier commitments, but a needed complement. The quantifier commitments are what a theory says exists, while the truthmaker commitments are what a theory says is fundamental. (shrink)