@Shapeless,
5.53 Identity of object I express by identity of sign, and not by using a sign of identity. Difference of object I express by difference of sign.
Wittgenstein seems to agree with you.
imo,
If the names of the values of variables, are unique and referring to unique objects, then, only (a=a), (b=b), (c=c) etc., are true.
That is, a=b or a=c etc., are false. Because, the name a is different from the name b. ie. it must refer to a different unique object.
This shows the very limited use of formal identity.
Another problem with identity is that; x=x -> [](x=x) and x=y -> [](x=y), are theorems.
That is, there are no contingent identities, and consequently, there are no contingent existences.
But, when we use descripions, identity is required.
(the morning star = Venus) and (the evening star = Venus), implies,
(the morning star = the evening star) ...is sensible and true.
a=a, is not informative, but, (the x such that Fx) = a, is informative.
}