En el presente trabajo se tratan los argumentos de Kripke contra la teoría de la identidad en su versión de tipos. Primero, se presenta una división y caracterización general de las distintas versiones de la teoría de la identidad y se introducen una serie de nociones generales de la semántica de Kripke. A continuación, se explican sus argumentos contra la teoría de la identidad, mostrando su dependencia de la caracterización de la necesidad a posteriori. Se presentan las dos rutas hacia lo necesario a posteriori ofrecidas por Soames, mostrando y defendiendo las ventajas de la ruta esencialista frente a la ruta secundaria. Finalmente, se defiende cómo a la luz de dichas ventajas la ruta esencialista es la mejor vía para explicar la necesidad a posteriori y, también, cómo la aplicación de esta ruta invalidaría los argumentos de Kripke contra la teoría de la identidad.

Palabras clave: designador rígido, propiedad esencial, posibilidad, concebibilidad.