Re: Object identity

What is not an interpretation? Note that an interpretation, formally
defined as a mathematical function, is the standard way to deal with
the relationship between model and what is modelled. I've seen it in
texts on mathematical logic, automated theorem proving, relational
modelling etc.

A small comment: formally, your "Interpretation" cannot be a mathematical
function, because in your definition you could have: I(a)=X and I(a)=Y with
X<>Y.
So, formally, either your function I doesn't exists or the statement "I(x) =
I(y) => x = y" is true....and you're saying that Interpretation as a
function exists... now I'm confused about the point you're trying to
prove...
:-)


.