Abstract

I defend Locke’s claim that no two things of the same kind can occupy the same place at that time. In the relevant sense of ‘kind’, a kind is a sortal, which, with an appropriate ostension, is enough to indicate which object is meant. To perform this function sortals must be sufficient to determine the persistence conditions of the thing ostended.