David Lewis once (influentially) commented that it would be ludicrous to expect mathematicians to change their ways on the basis of philosophical arguments that mathematical objects don’t exist. Why he thought mathematical practices would have to be emended in the light of ontological facts about the existence of mathematical objects, I’m not sure.
Here’s a thought experiment to make explicit your own implicit commitments about this. Imagine that, instead of a philosopher, an infallible oracle told the world that mathematical objects don’t exist. Would mathematics professors be obliged to hand in their resignations? Would their discipline have been exposed as a sham?
I think the answer to these questions is a, very obvious, “no”, and I suspect that almost everyone would agree. But notice what that means. If we don’t accept that mathematical practices ought to change in light of word from an infallible oracle that mathematical objects don’t exist, then we must also accept that the norms governing mathematical discourse are not representational, in the robust sense of that word as pertaining to mapping, tracking or picturing how things stand with a domain of mathematical objects. The standards of correctness and incorrectness in mathematics do not derive from mathematical objects, but from standards internal to the game (or perhaps “game”) of mathematics itself.
Call this view normative nominalism. But if one is committed to normative nominalism (as a “no” answer to the above questions would reveal), then what could possibly be the motivation for platonism?
No comments:
Post a Comment