Сол Аарон Крипке (англ. Saul Aaron Kripke; 13 ноября 1940[5][6][…], Бей-Шор[d], Нью-Йорк — 15 сентября 2022[1], Нью-Йорк, Нью-Йорк[2]) — американский философ и логик. Почётный профессор Гарвардского университета, заслуженный профессор Высшей школы и Университетского центра[англ.] Городского университета Нью-Йорка. Лауреат премии Рольфа Шока по философии и логике (2001), согласно одному из опросов, входит в десятку наиболее важных философов последних 200 лет.
Основные работы — по математической логике, философии языка, философии математики, метафизике, эпистемологии, теории множеств.
В ранних работах внёс значительный вклад в развитие модальной логики. Последующие работы оказали глубокое влияние на аналитическую философию, наиболее значительным вкладом считается метафизическое описание модальности, включающее идею возможных миров как она объясняется в системе, известной как семантика Крипке. Другим важным достижением является демонстрация того, что существуют необходимые апостериорные истины, такие как «вода есть H2O». Также внёс вклад в изучение философии Витгенштейна, оригинальная интерпретация получила известность под названием «Крипкенштейн»[англ.]. Наиболее известной работой Крипке является монография «Тождество и необходимость[англ.]» (1980).
Старший из троих детей выпускников Еврейской теологической семинарии — Майера Крипке[англ.] (1914—2014)[7], раввина синагоги «Бет Эль» (единственной консервативной конгрегации в Омахе, штат Небраска[8]), и Дороти Крипке (урождённой Карп, 1912—2000), автора образовательных книг для еврейских детей. Семья отца эмигрировала в США из Литвы.
С детства считался вундеркиндом: в возрасте шести лет самостоятельно выучил иврит, к девяти годам прочёл все сочинения Шекспира, изучил философию Декарта и занимался сложными математическими проблемами до окончания начальной школы[9]. Первые научные статьи по модальной логике он написал ещё будучи школьником. После окончания школы в 1958 году поступил в Гарвардский университет, который окончил с summa cum laude дипломом бакалавра по математике. Уже на втором году обучения Крипке вёл курс по логике в Массачусетском технологическом институте. Что необычно для учёного XX века, бакалавр — единственная академическая степень Крипке, каких-либо других академических степеней у него нет.
По окончании университета в 1962 году получил грант по Программе Фулбрайта. В 1963 году был включён в Гарвардское общество стипендиатов[англ.]. Затем несколько лет преподавал в Гарварде, в 1967 году перешёл в Рокфеллеровский университет в Нью-Йорке, в 1977 году — в Принстонский университет. В 1988 году в Гарварде получил премию Бермана за вклад в гуманитарные науки. С 2002 года преподавал в Высшей школе и Университетском центре Городского университета Нью-Йорка в Манхэттене, там же в 2003 году получил звание заслуженного профессора.