Сол Крипке (р. 1940, Омаха, Небраска) — американский философ и логик, почетный профессор Гарвардского университета, заслуженный профессор Высшей школы и Университетского центра Городского университета Нью-Йорка. В 2001 году стал лауреатом премии Рольфа Шока по логике и премии по философии Шведской королевской академии наук.
Обладает почетными степенями Университета Небраски, Университета Джона Хопкинса (1997), Университета Хайфы (1998) и Университета Пенсильвании (2005), является действительным членом Американской академии искусств и наук (1978), членом-корреспондентом Британской академии (1985), почетным членом Норвежской академии наук (2000).
Автор работ по математической логике, философии языка, философии математики, метафизике, эпистемологии, теории множеств, при этом большая часть работ все еще остается неопубликованной и существует лишь в виде аудиозаписей или рукописей.
Крипке внес значительный вклад в развитие модальной логики и аналитической философии, разработал метафизическое описание модальности, которое включает идею возможных миров. Крипке выявил, что существуют необходимые апостериорные истины, такие как «вода есть H₂O», и внес вклад в изучение философии Витгенштейна. Данная оригинальная интерпретация получила название «Крипкенштейн».
Наиболее известной работой является монография «Именование и необходимость» 1980 года, в которой автор выступил с критикой дескриптивистских теорий собственных имен, привлекая концепции Фреге, Рассела, Витгенштейна, Серла и ряда других философов. Согласно дескриптивистской теории, значения, или смысловые содержания, имен являются коллекцией описаний, связанных с ними. Так, предложение «Гарри Поттер — великий волшебник» обретет смысл, поскольку читатель и автор будут подразумевать нечто вроде «персонаж из поп-культуры» или «вымышленный мальчик, созданный автором произведения Джоан Роулинг», имея в виду героя серии книг «Гарри Поттера».
Фото: Saul Kripke Center website