Andrea Sereni

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.

In Grundgesetze, Vol. II, §91, Frege argues that ‘it is applicability alone which elevates arithmetic from a game to the rank of a science’. Many view this as an in nuce statement of the indispensability argument later championed by Quine. Garavaso has questioned this attribution. I argue that even though Frege's applicability argument is not a version of ia, it facilitates acceptance of suitable formulations of ia. The prospects for making the empiricist ia compatible with a rationalist Fregean framework appear thus much less dim than expected. Nonetheless, those arguing for such compatibility eventually face an hardly surmountable dilemma