Desarrolló una crítica a la propuesta semántica de Kripke.