I reconcile the spatiotemporal location of repeatable artworks and impure sets with the non-location of natural numbers despite all three being varieties of abstract objects. This is possible because, while the identity conditions for all three can be given by abstraction principles, in the former two cases spatiotemporal location is a congruence for the equivalence relation featuring in the relevant principle, whereas in the latter it is not. I then generalize this to other ‘physical’ properties like shape, mass, and causal (...) powers. (shrink)

Adherents of Ockham’s fundamental razor contend that considerations of ontological parsimony pertain primarily to fundamental objects. Derivative objects, on the other hand, are thought to be quite unobjectionable. One way to understand the fundamental vs. derivative distinction is in terms of the Aristotelian distinction between ontologically independent and dependent objects. In this paper I will defend the thesis that every natural number greater than 0 is an ontologically dependent object thereby exempting the natural numbers from Ockham’s fundamental razor.

Wright claims that his and Hale’s abstractionist neologicist project is primarily epistemological in aim. Its epistemological aims include establishing the possibility of a priori mathematical knowledge, and establishing the possibility of reference to abstract mathematical objects. But, as Wright acknowledges, there is a question of how neologicist epistemology applies to actual, ordinary mathematical beliefs. I take up this question, focusing on arithmetic. Following a suggestion of Hale and Wright, I consider the possibility that the neologicist account provides an idealised reconstruction (...) of how people acquire cognition of numbers or arithmetical knowledge. I conclude that it is unlikely that this account can be used to reconstruct even idealised answers to pressing questions about our actual epistemology. (shrink)

This paper maps the landscape for a range of views concerning the metaphysics of natural kinds. I consider a range of increasingly ontologically committed views concerning natural kinds and the possible arguments for them. I then ask how these relate to natural kind essentialism, arguing that essentialism requires commitment to kinds as entities. I conclude by examining the homeostatic property cluster view of kinds in the light of the general understanding of kinds developed.

Here is Frege in Foundations of Arithmetic, § 64:The judgment 'Line a is parallel to line b', in symbols: ab, can be taken as an identity. If we do this, we obtain the concept of direction, and say: 'The direction of line a is equal to the direction of line b.' Thus we replace the symbol by the more generic symbol =, through removing what is specific in the content of the former and dividing it between a and b. We (...) carve up the content in a way different from the original way, and this yields us a new concept.Something important is going on in this passage. But at the same time it borders on incoherent. For Frege is saying at least the following:'dir(a ) = dir(b )' has the same content as 'ab'reflecting on that .. (shrink)

Instrumentalist nominalism responds to the indispensability arguments by rejecting the demand that successful mathematicized scientific theories be nominalized, and instead claiming merely that such theories are nominalistically adequate: the concreta behave ‘as if’ the theory is true. This article examines some definitions of the concept of nominalistic adequacy and concludes with some considerations against instrumentalist nominalism.