What is mathematical truth?

Abstract

In this paper I argue that mathematics should be interpreted realistically – that is, that mathematics makes assertions that are objectively true or false, independently of the human mind, and that something answers to such mathematical notions as ‘set’ and ‘function’. This is not to say that reality is somehow bifurcated – that there is one reality of material things, and then, over and above it, a second reality of ‘mathematical things’. A set of objects, for example, depends for its existence on those objects: if they are destroyed, then there is no longer such a set. (Of course, we may say that the set exists ‘tenselessly’, but we may also say the objects exist ‘tenselessly’: this is just to say that in pure mathematics we can sometimes ignore the important difference between ‘exists now’ and ‘did exist, exists now, or will exist’.) Not only are the ‘objects’ of pure mathematics conditional upon material objects; they are, in a sense, merely abstract possibilities. Studying how mathematical objects behave might better be described as studying what structures are abstractly possible and what structures are not abstractly possible. The important thing is that the mathematician is studying something objective, even if he is not studying an unconditional ‘reality’ of nonmaterial things, and that the physicist who states a law of nature with the aid of a mathematical formula is abstracting a real feature of a real material world, even if he has to speak of numbers, vectors, tensors, state-functions, or whatever to make the abstraction.