The necessity of identity Kripke versus Gibbard. 1. Kripke on the necessity of identity Kripke gives the short proof of the necessity of identity at the.