 Hale argues that there is no serious alternative to using types of expression that aim at referring to entities of different types if we hope to characterize such basic logical categories (or types) as object and property (2010, 408). For what it is to be an object or property evidently cannot be conveyed merely by ostension, nor by more substantive criteria, without being restrictive in ways that beg the question against various views of what objects or properties there are. Moreover, he argues that we can avoid making our (logical) categories unduly dependent on what language we actually have by treating objects and properties as correlates of possible, not merely actual, expressions of the relevant sorts (2010, 411).