The PhyloCode: a critical discussion of its theoretical foundation.

The definition of taxon names as formalized by the PhyloCode is based on Kripke's thesis of "rigid designation" that applies to Millian proper names. Accepting the thesis of "rigid designation" into systematics in turn is based on the thesis that species, and taxa, are individuals. These largely semantic and metaphysical issues are here contrasted with an epistemological approach to taxonomy. It is shown that the thesis of "rigid designation" if deployed in taxonomy introduces a new essentialism into systematics, which is exactly what the PhyloCode was designed to avoid. Rigidly designating names are not supposed to change their meaning, but if the shifting constitution of a clade is thought to cause a shift of meaning of the taxon name, then the taxon name is not a "rigid designator". Phylogenetic nomenclature either fails to preserve the stability of meaning of taxon names that it propagates, or it is rendered inconsistent with its own philosophical background. The alternative explored here is to conceptualize taxa as natural kinds, and to replace the analytic definition of taxon names by their explanatory definition. Such conceptualization of taxa allows taxon names to better track the results of ongoing empirical research. The semantic as well as epistemic gain is that if taxon names are associated with natural kind terms instead of being proper names, the composition of the taxon will naturally determine the meaning of its name.