Bøker i Elements in the Philosophy of Mathematics-serien

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 book introduces the reader to the mathematical core of intuitionism and to the two central topics of 'formalized intuitionism'. It proposes a systematic philosophical foundation for intuitionism that weaves together doctrines about human grasp, mathematical objects and mathematical truth.

For Wittgenstein mathematics is a human activity characterizing ways of seeing conceptual possibilities and empirical situations, proof and logical methods central to its progress. This Element is a presentation of Wittgenstein's entire corpus of remarks on mathematics defending 'aspect realism' and making connections with Goedel and Turing.

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.

What are the meanings of number expressions, and what can they tell us about questions of central importance to the philosophy of mathematics, specifically 'Do numbers exist?' This Element attempts to shed light on this question by outlining a recent debate between substantivalists and adjectivalists regarding the semantic function of number words in numerical statements. After highlighting their motivations and challenges, I develop a comprehensive polymorphic semantics for number expressions. I argue that accounting for the numerous meanings and how they are related leads to a strengthened argument for realism, one which renders familiar forms of nominalism highly implausible.

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 defends mathematical anti-realism against an underappreciated problem with that view-a problem having to do with modal truthmaking. Part I develops mathematical anti-realism, it defends that view against a number of well-known objections, and it raises a less widely discussed objection to anti-realism-an objection based on the fact that (a) mathematical anti-realists need to commit to the truth of certain kinds of modal claims, and (b) it's not clear that the truth of these modal claims is compatible with mathematical anti-realism. Part II considers various strategies that anti-realists might pursue in trying to solve this modal-truth problem with their view, it argues that there's only one viable view that anti-realists can endorse in order to solve the modal-truth problem, and it argues that the view in question-which is here called modal nothingism-is true.

This Element shows that Plato keeps a clear distinction between mathematical and metaphysical realism and the knife he uses to slice the difference is method. The philosopher's dialectical method requires that we tether the truth of hypotheses to existing metaphysical objects. The mathematician's hypothetical method, by contrast, takes hypotheses as if they were first principles, so no metaphysical account of their truth is needed. Thus, we come to Plato's methodological as-if realism: in mathematics, we treat our hypotheses as if they were first principles, and, consequently, our objects as if they existed, and we do this for the purpose of solving problems. Taking the road suggested by Plato's Republic, this Element shows that methodological commitments to mathematical objects are made in light of mathematical practice; foundational considerations; and, mathematical applicability. This title is also available as Open Access on Cambridge Core.

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.

This Element answers four questions. Can any traditional theory of scientific explanation make sense of the place of mathematics in explanation? If traditional monist theories are inadequate, is there some way to develop a more flexible, but still monist, approach that will clarify how mathematics can help to explain? What sort of pluralism about explanation is best equipped to clarify how mathematics can help to explain in science and in mathematics itself? Finally, how can the mathematical elements of an explanation be integrated into the physical world? Some of the evidence for a novel scientific posit may be traced to the explanatory power that this posit would afford, were it to exist. Can a similar kind of explanatory evidence be provided for the existence of mathematical objects, and if not, why not?