Учёный родился в США, в семье раввина Синагоги. Именно отец подтолкнул Сола к изучению философии. Первую научную статью он опубликовал в 16 лет. После окончания Гарвардского университета преподавал в университете Рокфеллера и в Принстоне.
Свои первые научные работы по модальной и смежной логике Сол написал ещё студентом. Он известен своим новаторским и оригинальным подходом к философии. Учёный оказал огромное влияние на становление аналитической философии. Семантика «возможных миров» для формальной логики стала прорывом в развитие гуманитарной дисциплины. С его помощью были разработаны общие рамки для всех видов логики. Одна из главных работа профессора – книга «Именование и необходимость».
Работа считается самым важным научно-философским произведением 20 века. В ней учёный критикует и опровергает дескриптивистскую концепцию собственных имен. В качестве альтернативного варианта Крипке представил свою теорию «референции». Его концепция предполагает отсылку имени к объекту и указывает на наличие с ним казуальной связи. В феноменальной книге «Загадка контекстов мнения» (1986) Сол Крипке выступил против материализма и выдвинул теорию «тождества», когда каждой ментальный факт соответствует необходимому физическому. Внёс вклад в изучение философии Вайнштейна, интерпретировал её в «Крипкенштейн».
Основные труды:
Очерк теории истины (1975)
Именование и необходимость (1980)
Семантическое рассмотрение модальной логики (1981)
Тождество и необходимость (1982)
Алексей Д