Saul Kripke

Kripke introduce un sistema de semántica formal para la lógica modal, utilizando el concepto de 'mundos posibles' y relaciones de accesibilidad entre ellos para determinar la verdad de las proposiciones modales.

Un trabajo seminal que introduce la semántica de mundos posibles para la lógica modal, sentando las bases modernas para el estudio de la necesidad, la posibilidad y la contingencia.

Una colección seminal de escritos que desarrollan y refinan la semántica de los mundos posibles en lógica modal, revolucionando el campo de la lógica filosófica y la metafísica.

Una serie de conferencias seminales que revolucionaron la filosofía del lenguaje y la metafísica, presentando teorías sobre nombres propios, designadores rígidos y la distinción entre verdades necesarias y contingentes.

Serie de conferencias que revolucionaron la filosofía del lenguaje y la metafísica, argumentando contra las teorías descriptivistas de la referencia. Introduce los conceptos de 'designador rígido' y 'verdad necesaria a posteriori'.

Una serie de conferencias seminales donde Kripke desafía nociones tradicionales de necesidad, posibilidad y referencia, introduciendo la semántica de mundos posibles para la lógica modal y la teoría de los nombres propios como designadores rígidos.

Kripke, en sus conferencias de Princeton, desafía las teorías descriptivistas de la referencia, introduciendo la noción de designadores rígidos y proponiendo una teoría causal e histórica de la referencia.

Un estudio seminal sobre la referencia, la necesidad y la contingencia, que redefine gran parte de la filosofía del lenguaje y la metafísica.