Abstract

Theorems of arithmetic are used, perhaps essentially, to reach conclusions about the natural world. This applicability can be explained in a natural way by analogy with the applicability of statements of law to the world. ;In order to carry out an ontological argument for my thesis, I assume the existence of universals as a working hypothesis. I motivate a theory of laws according to which statements of law are singular statements about scientific properties. Such statements entail generalizations about instances of those properties. My task, then, is to show that theorems of arithmetic, in application, are similar to statements of law in this respect. On the basis of my working hypothesis, I argue that there are inclining reasons to think that cardinal numbers are scientific properties whose instances occur in the natural world. The works of Mill, Frege and Benacerraf play central roles in these arguments. ;In general, I urge that there are no conclusive epistemological or ontological factors which preclude arithmetical truths from being laws of nature. Consequently, I think we can extend any semantic theory which is adequate for statements of law to theorems of arithmetic. This would apply even to a theory of predication which does not involve commitment to universals. So, to the degree that my argument succeeds with the working hypothesis, it also supports the unconditioned thesis that arithmetical truths are laws of nature