To find more information about Rowman and Littlefield titles, please visit www.rowmanlittlefield.com.

I discuss a puzzle that shows there is a need to develop a new metaphysical interpretation of mathematical theories, because all well-known interpretations conflict with important aspects of mathematical activities. The new interpretation, I argue, must authenticate the ontological commitments of mathematical theories without curtailing mathematicians' freedom and authority to creatively introduce mathematical ontology during mathematical problem-solving. Further, I argue that these two constraints are best met by a metaphysical interpretation of mathematics that takes mathematical entities to be constitutively constructed (...) by human activity in a manner similar to the constitutive construction of the US Supreme Court by certain legal and political activities. Finally, I outline some of the philosophical merits of metaphysical interpretations of mathematical theories of this type. (shrink)

It is not uncommon for philosophers to maintain that one is obliged to believe nothing beyond the observable consequences of a successful scientific theory. This doctrine is variously known as instrumentalism, fictionalism, constructive empiricism, theoretical skepticism and the philosophy of "as if". The purpose of the present paper is to subject such forms of scientific antirealism to a two-pronged critique. In the first place it is argued that there is no genuine difference between believing a theory and being disposed to (...) use it to make predictions, design experiments, and so on; so traditional instrumentalism is incoherent. In the second place, a retrenched position is considered in which theoretical belief would be tolerated but said to be justified on merely pragmatic, and not epistemic, grounds. In criticizing this point of view it is shown that the onus of proof rests on anyone who maintains it; furthermore, the only possible rationale for it (which is based on underdetermination of theory by data) is described, and various deficiencies in this argument are exposed. (shrink)

In his groundbreaking Grundlagen, Frege (1884) pointed out that number words like ‘four’ occur in ordinary language in two quite different ways and that this gives rise to a philosophical puzzle. On the one hand ‘four’ occurs as an adjective, which is to say that it occurs grammatically in sentences in a position that is commonly occupied by adjectives. Frege’s example was (1) Jupiter has four moons, where the occurrence of ‘four’ seems to be just like that of ‘green’ in (...) (2) Jupiter has green moons. On the other hand, ‘four’ occurs as a singular term, which is to say that it occurs in a position that is commonly occupied by paradigmatic cases of singular terms, like proper names: (3) The number of moons of Jupiter is four. Here ‘four’ seems to be just like ‘Wagner’ in (4) The composer of Tannhäuser is Wagner, and both of these statements seem to be identity statements, ones with which we claim that what two singular terms stand for is identical. But that number words can occur both as singular terms and as adjectives is puzzling. Usually adjectives cannot occur in a position occupied by a singular term, and the other way round, without resulting in ungrammaticality and nonsense. To give just one example, it would be ungrammatical to replace ‘four’ with ‘the number of moons of Jupiter’ in (1): (5) *Jupiter has the number of moons of Jupiter moons. This ungrammaticality results even though ‘four’ and ‘the number of moons of Jupiter’ are both apparently singular terms standing for the same object in (3). So, how can it be that number words can occur both as singular terms and as adjectives, while other adjectives cannot occur as singular terms, and other singular terms cannot occur as adjectives? (shrink)

Kitcher urges us to think of mathematics as an idealized science of human operations, rather than a theory describing abstract mathematical objects. I argue that Kitcher's invocation of idealization cannot save mathematical truth and avoid platonism. Nevertheless, what is left of Kitcher's view is worth holding onto. I propose that Kitcher's account should be fictionalized, making use of Walton's and Currie's make-believe theory of fiction, and argue that the resulting ideal-agent fictionalism has advantages over mathematical-object fictionalism.

Preface 1 Introduction: The Persistence of the Attitudes 2 Individualism and Supervenience 3 Meaning Holism 4 Meaning and the World Order Epilogue Creation Myth Appendix Why There Still Has to be a Language of Thought Notes References Author Index.

Definite descriptions, I shall argue, have two possible functions. 1] They are used to refer to what a speaker wishes to talk about, but they are also used quite differently. Moreover, a definite description occurring in one and the same sentence may, on different occasions of its use, function in either way. The failure to deal with this duality of function obscures the genuine referring use of definite descriptions. The best known theories of definite descriptions, those of Russell and Strawson, (...) I shall suggest, are both guilty of this. Before discussing this distinction in use, I will mention some features of these theories to which it is especially relevant. (shrink)

This chapter contains section titled: Notes.

We defend Joseph Melia's thesis that the role of mathematics in scientific theory is to 'index' quantities, and that even if mathematics is indispensable to scientific explanations of concrete phenomena, it does not explain any of those phenomena. This thesis is defended against objections by Mark Colyvan and Alan Baker.

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)

Beliefs are concrete particulars containing ideas of properties and notions of things, which also are concrete. The claim made in a belief report is that the agent has a belief (i) whose content is a specific singular proposition, and (ii) which involves certain of the agent's notions and ideas in a certain way. No words in the report stand for the notions and ideas, so they are unarticulated constituents of the report's content (like the relevant place in "it's raining"). The (...) belief puzzles (Hesperus, Cicero, Pierre) involve reports about two different notions. So the analysis gets the puzzling truth values right. (shrink)

In “On Sense and Reference,” surrounding his discussion of how we describe what people say and think, identity is Frege’s first stop and his last. We will follow Frege’s plan here, but we will stop also in the land of make-believe.

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

The intent of the article is to point out an objection against analyses that attempt to eliminate propositions and replace them with sentences.

Chomsky proposes a reformulation of the theory of transformational generative grammar that takes recent developments in the descriptive analysis of particular ...

This book is concerned with `the problem of existence in mathematics'. It develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. It explores the philosophical implications of such an approach through an examination of the writings of Field, Burgess, Maddy, Kitcher, and others.

In her recent book, Realism in mathematics, Penelope Maddy attempts to reconcile a naturalistic epistemology with realism about set theory. The key to this reconciliation is an analogy between mathematics and the physical sciences based on the claim that we perceive the objects of set theory. In this paper I try to show that neither this claim nor the analogy can be sustained. But even if the claim that we perceive some sets is granted, I argue that Maddy's account fails (...) to explain the key issue faced by an epistemology for mathematics, namely the step from knowledge of the finite to knowledge of the infinite. (shrink)

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.

The form of nominalism known as 'mathematical fictionalism' is examined and found wanting, mainly on grounds that go back to an early antinominalist work of Rudolf Carnap that has unfortunately not been paid sufficient attention by more recent writers.

Hartry Field (1980) has developed an interesting nominalization strategy for Newtonian gravitation theory—a strategy that reformulates the theory without quantification over abstract entities. According to David Malament (1982), Field's strategy cannot be extended to quantum mechanics (QM), and so it only has a limited scope. In a recent work, Mark Balaguer has responded to Malament's challenge by indicating how QM can be nominalized, and by “doing much of the work needed to provide the nominalization” (Balaguer 1998, 114). In this paper, (...) I critically assess Balaguer's proposal, and argue that it ultimately fails. Balaguer's strategy is incompatible with a number of interpretations of QM, in particular with Bas van Fraassen's version of the modal interpretation. And given that Balaguer's strategy invokes physically real propensities, it is unclear whether it is even compatible with nominalism. I conclude that the nominalization of QM remains a major problem for the nominalist. (shrink)

In this paper, 1 examine the role of the delta function in Dirac’s formulation of quantum mechanics (QM), and I discuss, more generally, the role of mathematics in theory construction. It has been argued that mathematical theories play an indispensable role in physics, particularly in QM [Colyvan, M. (2001). The inrlispensability of mathematics. Oxford University Press: Oxford]. As I argue here, at least in the case of the delta function, Dirac was very clear about its rlispensability. I first discuss the (...) significance of the delta function in Dirac’s work, and explore the strategy that he devised to overcome its use. l then argue that even if mathematical theories turned out to be indispensable, this wouidn’t justify the commitment to the existence of mathematical entities. In fact, even in successful uses of mathematics, such as in Dirac’s discovery of antimatter, there’s no need to believe in the existence of the corresponding mathematical entities. An interesting picture about the application of mathematics emerges from a careful examination of Dirac’s work. (shrink)

Despite protestations to the contrary, philosophers have always been renowned for espousing theories that do violence to common-sense opinion. In the last twenty years or so there has been a growing number of philosophers keen to follow in this tradition. According to these philosophers, if a story of pure fic-tion tells us that an individual exists, then there really is such an individual. According to these realists about fictional characters, ‘Scarlett O’Hara,’ ‘Char-lie Brown,’ ‘Batman,’ ‘Superman,’ ‘Tweedledum’ and ‘Tweedledee’ are not (...) denotationless terms, but names that really refer. What is truly surprising about this situation is that almost no one has inveighed against this unfortunate real-ist tendency. My aim here will be to challenge this new orthodoxy, and to defend an anti-realist position against the arguments proffered by the realist. (shrink)

In this paper, I defend a well-known theory of belief reports from an important objection. The theory is Russellianism, sometimes also called `neo-Russellianism', `Millianism', `the direct reference theory', `the "Fido"-Fido theory', or `the naive theory'. The objection concernssubstitution of co-referring names in belief sentences. Russellianism implies that any two belief sentences, that differ only in containing distinct co-referring names, express the same proposition (in any given context). Since `Hesperus' and `Phosphorus' both refer to the planet Venus, this view implies that (...) all utterances of (1) and.. (shrink)

George Boolos; IX*—Saving Frege from Contradiction, Proceedings of the Aristotelian Society, Volume 87, Issue 1, 1 June 1987, Pages 137–152, https://doi.org/10.

Arguing for mathematical realism on the basis of Field’s explanationist version of the Quine–Putnam Indispensability argument, Alan Baker has recently claimed to have found an instance of a genuine mathematical explanation of a physical phenomenon. While I agree that Baker presents a very interesting example in which mathematics plays an essential explanatory role, I show that this example, and the argument built upon it, begs the question against the mathematical nominalist.

This book does three main things. First, it defends mathematical platonism against the main objections to that view (most notably, the epistemological objection and the multiple-reductions objection). Second, it defends anti-platonism (in particular, fictionalism) against the main objections to that view (most notably, the Quine-Putnam indispensability objection and the objection from objectivity). Third, it argues that there is no fact of the matter whether abstract mathematical objects exist and, hence, no fact of the matter whether platonism or anti-platonism is true.

This paper develops a novel version of mathematical fictionalism and defends it against three objections or worries, viz., (i) an objection based on the fact that there are obvious disanalogies between mathematics and fiction; (ii) a worry about whether fictionalism is consistent with the fact that certain mathematical sentences are objectively correct whereas others are incorrect; and (iii) a recent objection due to John Burgess concerning “hermeneuticism” and “revolutionism”.

This paper develops a novel version of anti-platonism, called semantic fictionalism. The view is a response to the platonist argument that we need to countenance propositions to account for the truth of sentences containing `that'-clause singular terms, e.g., sentences of the form `x believes that p' and `σ means that p'. Briefly, the view is that (a) platonists are right that `that'-clauses purport to refer to propositions, but (b) there are no such things as propositions, and hence, (c) `that'-clause-containing sentences (...) of the above sort are not true-they are useful fictions. Semantic fictionalism is an extension of Hartry Field's mathematical fictionalism, but my defense of the view is not analogous to his. One of the many virtues of my defense is its generality: it explains how we can adopt a fictionalist stance towards all abstract singular terms, e.g., mathematical singular terms and `that'-clauses. (shrink)

A response is given here to Benacerraf's 1973 argument that mathematical platonism is incompatible with a naturalistic epistemology. Unlike almost all previous platonist responses to Benacerraf, the response given here is positive rather than negative; that is, rather than trying to find a problem with Benacerraf's argument, I accept his challenge and meet it head on by constructing an epistemology of abstract (i.e., aspatial and atemporal) mathematical objects. Thus, I show that spatio-temporal creatures like ourselves can attain knowledge about mathematical (...) objects by simply explaininghow they can do this. My argument is based upon the adoption of a particular version of platonism — full-blooded platonism — which asserts that any mathematical object which possiblycould exist actuallydoes exist. (shrink)

Does mathematics ever play an explanatory role in science? If so then this opens the way for scientific realists to argue for the existence of mathematical entities using inference to the best explanation. Elsewhere I have argued, using a case study involving the prime-numbered life cycles of periodical cicadas, that there are examples of indispensable mathematical explanations of purely physical phenomena. In this paper I respond to objections to this claim that have been made by various philosophers, and I discuss (...) potential future directions of research for each side in the debate over the existence of abstract mathematical objects. (shrink)