

Contribuições filosóficas
Kripke é conhecido principalmente por quatro contribuições para a filosofia:

 uma semântica para a lógica modal e outras lógicas relacionadas, publicadas quando ele tinha menos de vinte anos de idade
 suas conferências Naming and necessity (O nomear e a necessidade), proferidas em Princeton em 1970 (publicadas em 1972 e 1980)
 uma interpretação controversa de Wittgenstein
 sua teoria da verdade

Lógica modal
