Accessibility of reformulated mathematical content

Abstract

I challenge a claim that seems to be made when nominalists offer reformulations of the content of mathematical beliefs, namely that these reformulations are accessible to everyone. By doing so, I argue that these theories cannot account for the mathematical knowledge that ordinary people have. In the first part of the paper I look at reformulations that employ the concept of proof, such as those of Mary Leng and Ottavio Bueno. I argue that ordinary people don't have many beliefs about proofs, and that they are not in a position to acquire knowledge about proofs autonomously. The second part of the paper is concerned with other reformulations of content, such as those of Hartry Field and Stephen Yablo. There too, the problem is that people are not able to acquire knowledge of the reformulated propositions autonomously. Ordinary people simply do not have beliefs with the kind of content that the nominalists need, for their theory to account for the mathematical knowledge of ordinary people. All in all then, the conclusion is that a large number of theories that suggest reformulations of mathematical content yield contents that are inaccessible for most people. Thus, these theories are limited, in that they cannot account for the mathematical knowledge of ordinary people.