Abstract

I discuss a puzzle that shows there is a need to develop a new metaphysical interpretation of mathematical theories, because all well-known interpretations conflict with important aspects of mathematical activities. The new interpretation, I argue, must authenticate the ontological commitments of mathematical theories without curtailing mathematicians' freedom and authority to creatively introduce mathematical ontology during mathematical problem-solving. Further, I argue that these two constraints are best met by a metaphysical interpretation of mathematics that takes mathematical entities to be constitutively constructed by human activity in a manner similar to the constitutive construction of the US Supreme Court by certain legal and political activities. Finally, I outline some of the philosophical merits of metaphysical interpretations of mathematical theories of this type