What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Gödel's platonism, up to the the current debate on (...) Benacerraf's dilemma and the indispensability argument. Through the considerations of themes in the philosophy of language, ontology, and the philosophy of science, the book aims at offering an historically-informed introduction to the philosophy of mathematics, approached through the lenses of its most fundamental problem. (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.

Discussions of the applicability of mathematics in the natural sciences have been flawed by failure to realize that there are multiple senses in which mathematics can be ‘applied’ and, correspondingly, multiple problems that stem from the applicability of mathematics. I discuss semantic, metaphysical, descriptive, and and epistemological problems of mathematical applicability, dwelling on Frege's contribution to the solution of the first two types. As for the remaining problems, I discuss the contributions of Hartry Field and Eugene Wigner. Finally, I argue (...) that there are epistemological problems concerning the applicability of mathematics that nobody in the philosophical community has yet confronted, though the problems are well known to physicists. (shrink)

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)

Mark Colyvan uses applications of mathematics to argue that mathematical entities exist. I claim that his argument is invalid based on the assumption that a certain way of thinking about applications, called `the mapping account,' is correct. My main contention is that successful applications depend only on there being appropriate structural relations between physical situations and the mathematical domain. As a variety of non-realist interpretations of mathematics deliver these structural relations, indispensability arguments are invalid.

The expression ‘indispensability argument’ denotes a family of arguments for mathematical realism supported among others by Quine and Putnam. More and more often, Gottlob Frege is credited with being the first to state this argument in section 91 of the _Grundgesetze der Arithmetik_. Frege's alleged indispensability argument is the subject of this essay. On the basis of three significant differences between Mark Colyvan's indispensability arguments and Frege's applicability argument, I deny that Frege presents an indispensability argument in that very often (...) quoted section of the _Grundegesetze_. (shrink)

In this work Dummett discusses, section by section, Frege's masterpiece The Foundations of Arithmetic and Frege's treatment of real numbers in the second volume ...

One of the most influential arguments for realism about mathematical objects is the indispensability argument. Simply put, this is the argument that insofar as we are committed to the existence of the physical objects existentially quantified over in our best scientific theories, we are also committed to the mathematical objects existentially quantified over in these theories. Following the Quine–Putnam formulation of the indispensability argument, some proponents of the indispensability argument have made the mistake of taking confirmational holism to be an (...) essential premise of the argument. In this paper, I consider the reasons philosophers have taken confirmational holism to be essential to the argument and argue that, contrary to the traditional view, confirmational holism is dispensable. (shrink)

We now know of a number of ways of developing real analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimics Dedekind in identifying the reals with cuts in the series of rationals under their natural order. The result is an essentially structuralist conception of the reals. An earlier approach, developed by Hale in his "Reals byion" program differs by placing additional emphasis upon what I here term Frege's Constraint, (...) that a satisfactory foundation for any branch of mathematics should somehow so explain its basic concepts that their applications are immediate. This paper is concerned with the meaning of and motivation for this constraint. Structuralism has to represent the application of a mathematical theory as always posterior to the understanding of it, turning upon the appreciation of structural affinities between the structure it concerns and a domain to which it is to be applied. There is, therefore, a case that Frege's Constraint has bite whenever there is a standing body of informal mathematical knowledge grounded in direct reflection upon sample, or schematic, applications of the concepts of the theory in question. It is argued that this condition is satisfied by simple arithmetic and geometry, but that in view of the gap between its basic concepts (of continuity and of the nature of the distinctions among the individual reals) and their empirical applications, it is doubtful that Frege's Constraint should be imposed on a neo-Fregean construction of analysis. (shrink)

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

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.

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)

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.

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.

In this book, Balaguer demonstrates that there are no good arguments for or against mathematical platonism. He does this by establishing that both platonism and anti-platonism are defensible views. Introducing a form of platonism ("full-blooded platonism") that solves all problems traditionally associated with the view, he proceeds to defend anti-platonism (in particular, mathematical fictionalism) against various attacks, most notably the Quine-Putnam indispensability attack. He concludes by arguing that it is not simply that we do not currently have any good argument (...) for or against platonism, but that we could never have such an argument and, indeed, that there is no fact of the matter as to whether platonism is correct. (shrink)

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.

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)

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)

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.

Mathematics plays a central role in much of contemporary science, but philosophers have struggled to understand what this role is or how significant it might be for mathematics and science. In this book Christopher Pincock tackles this perennial question in a new way by asking how mathematics contributes to the success of our best scientific representations. In the first part of the book this question is posed and sharpened using a proposal for how we can determine the content of a (...) scientific representation. Several different sorts of contributions from mathematics are then articulated. Pincock argues that each contribution can be understood as broadly epistemic, so that what mathematics ultimately contributes to science is best connected with our scientific knowledge. In the second part of the book, Pincock critically evaluates alternative approaches to the role of mathematics in science. These include the potential benefits for scientific discovery and scientific explanation. A major focus of this part of the book is the indispensability argument for mathematical platonism. Using the results of part one, Pincock argues that this argument can at best support a weak form of realism about the truth-value of the statements of mathematics. The book concludes with a chapter on pure mathematics and the remaining options for making sense of its interpretation and epistemology. Thoroughly grounded in case studies drawn from scientific practice, this book aims to bring together current debates in both the philosophy of mathematics and the philosophy of science and to demonstrate the philosophical importance of applications of mathematics. (shrink)

Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...) par la BnF et sont presentes sur Gallica, sa bibliotheque numerique.En entreprenant de redonner vie a ces ouvrages au travers d'une collection de livres reimprimes a la demande, nous leur donnons la possibilite de rencontrer un public elargi et participons a la transmission de connaissances et de savoirs parfois difficilement accessibles.Nous avons cherche a concilier la reproduction fidele d'un livre ancien a partir de sa version numerisee avec le souci d'un confort de lecture optimal. Nous esperons que les ouvrages de cette nouvelle collection vous apporteront entiere satisfaction.Pour plus d'informations, rendez-vous sur www.hachettebnf.frhttp://gallica.bnf.fr/ark:/12148/bpt6k65658c. (shrink)

This book analyzes the different ways mathematics is applicable in the physical sciences, and presents a startling thesis--the success of mathematical physics ...

Defends an account of mathematical knowledge in which mathematical knowledge is a kind of modal knowledge. Leng argues that nominalists should take mathematical knowledge to consist in knowledge of the consistency of mathematical axiomatic systems, and knowledge of what necessarily follows from those axioms. She defends this view against objections that modal knowledge requires knowledge of abstract objects, and argues that we should understand possibility and necessity in a primative way.