Distinciones útiles
Necesidad es una noción modal; a priori/a posteriori es una distinción epistemológica. No deben identificarse.
Ejemplo
«Héspero es Fósforo» fue un descubrimiento astronómico y, si ambos nombres designan rígidamente a Venus, expresa una identidad necesaria.
Lectura y fuentes
Esta entrada se apoya en LS-098 · Nombres, necesidad e identidad en Kripke. Allí puedes consultar el desarrollo y la bibliografía.