Abstract
Numerical identity is standardly considered to be a relation between things. This means that two things are identical if they are only one thing. It is not only Wittgenstein who finds this claim rather odd. Another possibility is to understand identity as a relation between names which denote the same thing; or as a relation between the senses of those names which are modes of presentation of the same thing. Or identity statements can be considered as expressions of the fact that there is exactly one thing that has certain characteristics. These conceptions are, in fact, closely interlinked. There are some rather straightforward proposals on how to give these approaches a formal pattern in relative harmony with classical logic. What is important to emphasize and keep in mind is the specific character of identity and essential dissimilarities between identity and relations of objects in logic.