 Kripke appeals to rigid designation in arguing against the  identity theory of mind,  which is really a constellation of theories. A broad division between identity theories can be drawn between type identity theories and token identity theories: here is a standard Kripkean argument against token identity theories, which are often thought to be more compelling than type identity theories. Kripke is typically understood to put forward something like this argument. 