April 28, 2013

## Why I don’t like philosophy of mathematics

I recently posted a link to an explanation of the philosophy of mathematics.  While I thought that Balaguer’s explanation was very good, I also remarked that I don’t find the philosophy of mathematics to be useful.  In this post, I’ll say why I don’t find it useful.

Toward the end of his explanation, Balaguer presents the following argument for platonism:

1. Semantic platonism is true–i.e., ordinary mathematical sentences like ‘2 + 2 = 4’ and ‘3 is prime’ are straightforward claims about abstract objects (or at any rate, they purport to be about abstract objects). Therefore,
2. Mathematical sentences like ‘2 + 2 = 4’ and ‘3 is prime’ could be true only if platonism were true–i.e., only if abstract objects existed. But
3. Mathematical sentences like ‘2 + 2 = 4’ and ‘3 is prime’ are true. Therefore,
4. Platonism is true.

Balaguer, who says he is a fictionalist and not a platonist, questions step 3 in that argument.  However, it seems to me that step 2 is already mistaken.  People simply do not use “true” in the way that step 2 supposes.