Abstract

This compact volume, belonging to the Cambridge Elements series, is a useful introduction to some of the most fundamental questions of philosophy and foundations of mathematics. What really distinguishes realist and platonist views of mathematics from anti-platonist views, including fictionalist and nominalist and modal-structuralist views?1 They seem to confront similar problems of justification, presenting tradeoffs between which it is difficult to adjudicate. For example, how do we gain access to the abstract posits of platonist accounts of arithmetic, analysis, geometry, etc., including numbers, functions, sets, points, lines, spaces, etc., whether it be such objects themselves or the possibilities of such, as postulated by modal and modal structural accounts?2 What real difference does it make, whether it be the existence of such things or the mathematical possibility of such things? Even fictionalist views seem to confront analogous problems. After all, we rely on mathematics for myriad scientific applications; so such mathematics had better at least be coherent, even if not true. But coherence requires at least formal consistency; so we seem implicitly to be committed to things like formal derivations, viz. the absence of any such having contradictory consequences, framed within the appropriate system of axioms and rules. But derivations are themselves akin to mathematical objects, as derivations are strings of strings of symbols. Moreover, derivations provided by axioms and rules form an infinite class, such that, at any future time, infinitely many will not have been written down. Moreover, such strings, as Gödel famously showed, can be coded as natural numbers. Thus, even fictionalist accounts (such as that of Field in his Science without Numbers [2016]) seem to confront problems very much like those plaguing platonist accounts.