Abstract

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.