Much of the current thought concerning mathematical ontology in volves in some way the Quine/Putnam indispensability argument. The indispensability approach needs to be more thoroughly specified, however, before substantive progress can be made in assessing it. To this end I examine in some detail the ways in which pure mathematics is applied to physical theory; such considerations give rise to three specific issues with which the indispensability approach must come to grips.

Much of the current thought concerning mathematical ontology and epistemology follows Quine and Putnam in looking to the indispensable application of mathematics in science. A standard assumption of the indispensability approach is some version of confirmational holism, i.e., that only "sufficiently large" sets of beliefs "face the tribunal of experience." In this paper I develop and defend a distinction between a pure mathematical theory and a mathematized scientific theory in which it is applied. This distinction allows for the possibility that (...) pure mathematical theories are systematically insulated from such confirmation in virtue of their being distinct from the "sufficiently large" blocks of scientific theory that are empirically confirmed. (shrink)