There is a perennial philosophical dream of a certain natural order for the natural kinds. The name of this dream is ‘the hierarchy requirement’. According to this postulate, proper natural kinds form a taxonomy which is both unique and traditional. Here I demonstrate that complex scientific objects exist: objects which generate different systems of scientific classification, produce myriad legitimate alternatives amongst the nonetheless still natural kinds, and make the hierarchical dream impossible to realize, except at absurdly great cost. Philosophical hopes (...) for a certain order in nature cannot be fulfilled. Natural kinds crosscut one another, ubiquitously so, and this crosscutting spells the end of the hierarchical dream. (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.

Natural kind terms appear to behave like singular terms. If they were genuine singular terms, appearing in true sentences, that would be some reason to believe that there are entities to which the terms refer, the natural kinds. Paul Needham has attacked my arguments that natural kind terms are singular, referring expressions. While conceding the correctness of some of his criticisms, I defend and expand on the underlying view in this paper. I also briefly sketch an account of what natural (...) kinds in fact are—natural complexes of sparse (natural) universals. (shrink)