Сол Аарон Крипке (англ. Saul Aaron Kripke) — американский философ и логик.

Родился 13 ноября 1940 в семье раввина, бывшего одновременно преподавателем университета. Когда ему было 12 лет, он задался вопросом: «Откуда я знаю, что все мне это не снится?», на что отец ему сказал, что ответ на этот вопрос он найдет у Декарта. Это подтолкнуло юного Крипке к изучению философии. Его математическая одаренность проявилась еще в школьные годы. Получил образование в Гарвардском университете, свою первую работу по логике написал в 19 лет. По окончании университета он стал профессором университета Рокфеллера, позднее работал в Принстонском университете, стажировался в Еврейском университете в Иерусалиме (Израиль). В 1998 вышел на пенсию, но продолжает читать курс лекций. Среди его наиболее известных работ – Очерк теории истины (Outline of a Theory of Truth, 1975); Именование и необходимость (Naming and Necessity, 1980); Витгенштейн о правилах и индивидуальном языке (Wittgenstein on Rules and Private Language, 1982).

Философия Крипке

Разработанная Крипке каузальная (историческая) концепция имени предполагает возможность жесткой отсылки имени к предмету, когда имя (жесткий десигнатор) указывает на один и тот же объект во всех возможных мирах, в которых этот объект существует. Если же это условие не выполняется, то указание становится случайным. Усвоение носителями языка значений языковых выражений предполагает как знание процедур первоначального именования, так и передачу имени от одного носителя языка к другому. С точки зрения подобного подхода утверждение тождества с помощью жестких десигнаторов («Цицерон есть Туллий») будет необходимой истиной. Однако она будет истиной апостериорной, окончательно установленной только посредством эмпирического исследования. Эта апостериорная необходимость, по мнению Крипке, является метафизической необходимостью, совершенно независящей от какого-либо знания носителей языка о мире.

Вкладом Крипке в философию сознания является его аргумент против материализма в форме «теории тождества», когда каждый ментальный факт отождествляется с некоторым физическим фактом. Крипке утверждает, что единственным способом защитить это отождествление является использование апостериорного тождества, но такое тождество (например, отождествление боли с импульсом, вызванным раздражением рецепторов) может быть и случайным (контрпример – боль от необходимости лгать во имя добра).

Небольшая работа Крипке Очерк теории истины знаменовала собой новый этап в развитии теории истины после результатов А.Тарского, полученных еще в первой половине 20-го века. Крипке рассматривает истинность предложения как некоторый процесс, направленный на ликвидацию истинностных провалов, когда мы не в состоянии ответить на вопрос, истинно или ложно рассматриваемое предложение.

Не все результаты Крипке бесспорны. Его работа Витгенштейн о правилах и индивидуальном языке была раскритикована многими авторами как не соответствующая историческому Витгенштейну. Влияние Крипке на современную философию существенно, однако многие его работы, к сожалению, существуют лишь в виде магнитофонных записей или в виде конспектов лекций.