En este seminario vamos a examinar y distinguir claramente las dos teorías clásicas de la designación: la designación rígida, apoyada en la teoría de los contrafácticos, cuyo autor y principal defensor es Saul Kripke, y la designación mediada por algún conocimiento expresable en una descripción definida, que fue presentada por Gottlob Frege y posteriormente defendida por varios filósofos, entre los cuales cabe destacar a Bertrand Russell y a Willard van Orman Quine.

A partir de la noción de Mundo Posible, se trata de examinar cómo podemos saber si dos objetos existentes en dos Mundos Posibles diferentes son el mismo objeto o no. Tendremos que precisar qué significa “Mundo Posible”, si una composicionalidad coherente o una situación diferente de la que de hecho tienen los objetos en el mundo real. Si lo primero, tenemos un problema con la identificación de los objetos en los distintos mundos; si lo segundo, los objetos de los que hablamos son los mismos porque la situación contrafáctica es estipulada para ellos. Pero dado que algunas de sus propiedades han de cambiar (por la situación), deberemos distinguir propiedades esenciales y propiedades contingentes en los objetos.

Al distinguir entre composibilidad o Mundo Posible leibniciano y situación contrafáctica o Mundo Posible kripkeano, se hace necesaria una reflexión sobre la diferencia entre lo meramente posible y lo real, así como sobre qué puede significar “existir”.