Kripke es mayormente conocido por cuatro contribuciones a la filosofía: