Kripke on the Necessity of Identity
How is it possible that there are statements which appear to deal with contingent identity? It does at first seem to be the case that we use this type of identity statement commonly in our everyday language. However, Kripke disputes the idea that it is possible for these kinds of identity relationships to exist. Instead, he contends that such statements are actually matters that deal with necessary identity. Whenever we say of two things, let’s call them x and y, something in the form of “x=y”, we are making a claim about their shared identity....