 Thus once grammatical categories are distinguished, enabling us to thereby distinguish the logical category object by reference to the linguistic category of proper name, we can go on to draw out category distinctions among objects. To avoid confusion, Dummett calls the first range of distinctions (among logical categories of objects, properties, relations, etc.) distinctions among ‘types’ and the second range of distinctions (within the type object) distinctions among ‘categories’ (1973 [1981], 76).