It does seem onesto show, as the objector says, that identity is logically prior preciso ordinary similarity relations
Reply: This is verso good objection. However, the difference between first-order and higher-order relations is relevant here. Traditionally, similarity relations such as x and y are the same color have been represented, sopra the way indicated mediante the objection, as higher-order relations involving identities between higher order objects (properties). Yet this treatment may not be inevitable. Sopra Deutsch (1997), an attempt is made onesto treat similarity relations of the form ‘\(x\) and \(y\) are the same \(F\)’ (where \(F\) is adjectival) as primitive, first-order, purely logical relations (see also Williamson 1988).