[extropy-chat] Identity (was: Survival tangent)

[Heartland]

Ian Goddard:
"Literally: for all objects x and y, x is y if and only
if for all properties P, P is a property of x if and
only if P is a property of y. More simply: x is y just
in case every property of x is a property of y and
vice versa."

What you describe is, of course, Leibniz's law. "1" and "1" are different instances 
of "1" since the first "1" has a property of being to the left of "and" while the 
other "1" has a property of being to the right of "and".
Multiple instances of anything are "automatically" different.

Slawomir