Books in the Elements in the Philosophy of Mathematics series

Presents an outline of mathematics and its history, with particular emphasis on events that shook up its philosophy. Ranges from ancient Greece to the nineteenth- and twentieth-century discoveries on the nature of infinity and proof. Recurring themes are intuition and logic, meaning and existence, and the discrete and the continuous.

Beginning in the nineteenth century, mathematics' traditional domains of 'number and figure' became vigorously displaced. How can mathematics retain its traditional status as a repository of necessary truth in the light of these revisions? The purpose of this Element is to provide a sketch of this developmental history.

This Element looks at the problem of inter-translation between mathematical realism and anti-realism and argues that so far as realism is inter-translatable with anti-realism, there is a burden on the realist to show how her posited reality differs from that of the anti-realist. It also argues that an effective defence of just such a difference needs a commitment to the independence of mathematical reality, which in turn involves a commitment to the ontological access problem - the problem of how knowable mathematical truths are identifiable with a reality independent of us as knowers. Specifically, if the only access problem acknowledged is the epistemological problem - i.e. the problem of how we come to know mathematical truths - then nothing is gained by the realist notion of an independent reality and in effect, nothing distinguishes realism from anti-realism in mathematics.

The present work is a systematic study of five frameworks or perspectives articulating mathematical structuralism, whose core idea is that mathematics is concerned primarily with interrelations in abstraction from the nature of objects. The first two, set-theoretic and category-theoretic, arose within mathematics itself. After exposing a number of problems, the Element considers three further perspectives formulated by logicians and philosophers of mathematics: sui generis, treating structures as abstract universals, modal, eliminating structures as objects in favor of freely entertained logical possibilities, and finally, modal-set-theoretic, a sort of synthesis of the set-theoretic and modal perspectives.

This Element discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the challenge to explain the (defeasible) justification of our mathematical beliefs ('the justificatory challenge'), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the challenge to explain their reliability ('the reliability challenge'), arises to the extent that we could have easily had different beliefs. The Element shows that mathematical facts are not, in general, empirically accessible, contra Quine, and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is unmysterious. The Element concludes with a complementary 'pluralism' about modality, logic and normative theory, highlighting its surprising implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap's pragmatism, transposed to the key of realism.