This book draws its inspiration from Hilbert, Wittgenstein, Cavaillès and Lakatos and is designed to reconfigure contemporary philosophy of mathematics by making the growth of knowledge rather than its foundations central to the study of mathematical rationality, and by analyzing the notion of growth in historical as well as logical terms. Not a mere compendium of opinions, it is organised in dialogical forms, with each philosophical thesis answered by one or more historical case studies designed to support, complicate or question (...) it. The first part of the book examines the role of scientific theory and empirical fact in the growth of mathematical knowledge. The second examines the role of abstraction, analysis and axiomatization. The third raises the question of whether the growth of mathematical knowledge constitutes progress, and how progress may be understood. Readership: Students and scholars concerned with the history and philosophy of mathematics and the formal sciences. (shrink)

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)

Viewed this way, the texts yield striking examples of language and notation that are irreducibly ambiguous and productive because they are ambiguous.

In this paper I propose a position in the ontology of mathematics which is inspired mainly by a case study in the mathematical discipline if-theory. The main theses of this position are that mathematical objects are introduced by mathematicians and that after mathematical objects have been introduced, they exist as objectively accessible abstract objects.

This paper takes as a starting point certain notions from Peirce's writings and uses them to propose a picture of the part of mathematical practice that consists of hypothesis formation. In particular, three processes of hypothesis formation are considered: abstraction, generalisation, and an abductive-like inference. In addition Peirce's pragmatic conception of truth and existence in terms of higher-order concepts are used in order to obtain a kind of pragmatic realist picture of mathematics.

This article discusses the role of diagrams in mathematical reasoning in the light of a case study in analysis. In the example presented certain combinatorial expressions were first found by using diagrams. In the published proofs the pictures were replaced by reasoning about permutation groups. This article argues that, even though the diagrams are not present in the published papers, they still play a role in the formulation of the proofs. It is shown that they play a role in concept (...) formation as well as representations of proofs. In addition we note that 'visualization' is used in two different ways. In the first sense 'visualization' denotes our inner mental pictures, which enable us to see that a certain fact holds, whereas in the other sense 'visualization' denotes a diagram or representation of something. (shrink)

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.

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 paper responds to John Burgess's ‘Mathematics and _Bleak House_’. While Burgess's rejection of hermeneutic fictionalism is accepted, it is argued that his two main attacks on revolutionary fictionalism fail to meet their target. Firstly, ‘philosophical modesty’ should not prevent philosophers from questioning the truth of claims made within successful practices, provided that the utility of those practices as they stand can be explained. Secondly, Carnapian scepticism concerning the meaningfulness of _metaphysical_ existence claims has no force against a _naturalized_ version (...) of fictionalism, according to which our ordinary standards of scientific evidence may show that we have no reason to believe the mathematical existence claims made within the context of our mathematical and scientific theories. (shrink)

In _Realistic Rationalism_, Jerrold J. Katz develops a new philosophical position integrating realism and rationalism. Realism here means that the objects of study in mathematics and other formal sciences are abstract; rationalism means that our knowledge of them is not empirical. Katz uses this position to meet the principal challenges to realism. In exposing the flaws in criticisms of the antirealists, he shows that realists can explain knowledge of abstract objects without supposing we have causal contact with them, that numbers (...) are determinate objects, and that the standard counterexamples to the abstract/concrete distinction have no force. Generalizing the account of knowledge used to meet the challenges to realism, he develops a rationalist and non-naturalist account of philosophical knowledge and argues that it is preferable to contemporary naturalist and empiricist accounts. The book illuminates a wide range of philosophical issues, including the nature of necessity, the distinction between the formal and natural sciences, empiricist holism, the structure of ontology, and philosophical skepticism. Philosophers will use this fresh treatment of realism and rationalism as a starting point for new directions in their own research. (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.

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)

Charles Chihara's new book develops and defends a structural view of the nature of mathematics, and uses it to explain a number of striking features of mathematics that have puzzled philosophers for centuries. The view is used to show that, in order to understand how mathematical systems are applied in science and everyday life, it is not necessary to assume that its theorems either presuppose mathematical objects or are even true. Chihara builds upon his previous work, in which he presented (...) a new system of mathematics, the constructibility theory, which did not make reference to, or presuppose, mathematical objects. Now he develops the project further by analysing mathematical systems currently used by scientists to show how such systems are compatible with this nominalistic outlook. He advances several new ways of undermining the heavily discussed indispensability argument for the existence of mathematical objects made famous by Willard Quine and Hilary Putnam. And Chihara presents a rationale for the nominalistic outlook that is quite different from those generally put forward, which he maintains have led to serious misunderstandings.A Structural Account of Mathematics will be required reading for anyone working in this field. (shrink)