Сол Крипке

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

Крипке родился 13 ноября 1940 года в Бэй-Шор, штат Нью-Йорк, в семье раввина и автора образовательных книг для еврейских детей. Уже в детстве он считался вундеркиндом: в шесть лет самостоятельно выучил иврит, к девяти прочёл всего Шекспира и увлёкся Декартом. Первые научные статьи по модальной логике он написал ещё школьником.

Вундеркинд из Омахи

После школы Крипке поступил в Гарвардский университет, который окончил с дипломом бакалавра по математике и отличием summa cum laude. Уже на втором курсе он вёл курс логики в Массачусетском технологическом институте. Что необычно для учёного XX века, бакалавр — единственная академическая степень Крипке; никаких других степеней у него нет.

По окончании университета в 1962 году он получил грант по программе Фулбрайта, а в 1963 году был включён в Гарвардское общество стипендиатов. Затем несколько лет преподавал в Гарварде, в 1967 году перешёл в Рокфеллеровский университет в Нью-Йорке, а в 1977 году — в Принстонский университет. С 2002 года работал в Высшей школе и Университетском центре Городского университета Нью-Йорка, где в 2003 году получил звание заслуженного профессора.

Модальная логика и возможные миры

Две первые работы Крипке — A Completeness Theorem in Modal Logic и Semantical Considerations on Modal Logic — посвящены модальной логике. Самые распространённые логики в семье модальных созданы из слабой логики K, названной в честь Крипке за его вклад в развитие этого направления: он представил ставшую де-факто стандартной семантику Крипке, также известную как реляционная или фрейм-семантика.

Шкалой Крипке называют пару (W, R), где W — произвольное множество (часто говорят «множество возможных миров»), а R — отношение на W, то есть множество упорядоченных пар или стрелок. Модель Крипке — это пара (F, V), где V — оценка на шкале, которая каждой переменной ставит в соответствие множество миров, в которых эта переменная считается истинной. Истинность в точке модели Крипке обозначается знаком ⊨ и определяется индукцией по длине формулы.

«Именование и необходимость»

Наиболее известная работа Крипке — монография «Именование и необходимость» (Naming and Necessity), вышедшая отдельным изданием в 1980 году. В ней он критикует дескриптивистские теории собственных имён, разбирая варианты Фреге, Рассела, Витгенштейна, Сёрла и ряда других философов. Согласно таким теориям, имена либо синонимичны дескрипциям, либо референция имени определяется ассоциацией с дескрипцией или кластером дескрипций, которые уникальным образом выполняются данным объектом. Крипке отрицает оба вида дескриптивизма. Он приводит пример: Аристотель мог бы умереть в возрасте двух лет и тогда не выполнял бы ни одной дескрипции, ассоциированной с его именем, но было бы ошибочно отрицать, что он являлся Аристотелем.

В качестве альтернативы Крипке описал каузальную теорию референции, согласно которой имя указывает на объект благодаря каузальной связи с объектом через сообщества говорящих. Собственные имена, в отличие от большинства дескрипций, являются жёсткими десигнаторами: имя указывает на поименованный объект во всяком возможном мире, в котором этот объект существует, тогда как дескрипция может обозначать разные объекты в разных мирах. Например, имя «Никсон» указывает на одну и ту же личность во всех возможных мирах, где Никсон существует, а дескрипция «человек, выигравший президентские выборы в США в 1968 году» может указывать на Никсона, Хамфри или кого-то ещё.

Крипке также обратил внимание на апостериорные необходимости — факты, которые необходимо истинны, но могут быть известны только эмпирически. Примеры таких утверждений: «Гесперус есть Фосфорус», «Цицерон есть Туллий», «вода есть H₂O». Наконец, он сформулировал аргумент против материализма в философии сознания — против точки зрения, что всякий ментальный факт тождественен некоторому физическому факту. Крипке полагал, что защитить этот взгляд можно, только интерпретировав тождество как апостериорное необходимое, но такое тождество, например тождество боли и раздражения C-волокон, не могло бы быть необходимым, поскольку возможна боль, не имеющая отношения к раздражению C-волокон.

«Крипкенштейн» и загадка о вере

В статье «A Puzzle about Belief» Крипке развивает идеи «Именования и необходимости» и отрицает даже возможность того, что у двух имён, относящихся к одному объекту, могут быть разные семантические свойства. Он проводит мысленный эксперимент: французский мальчик Пьер, не говорящий по-английски, верит, что «Londres est joli» («Лондон красивый»). Он переезжает в Лондон, не зная, что английское название London соответствует французскому Londres, и узнаёт слово «London» по некрасивому району, где живёт. Теперь Пьер одновременно верит, что «Londres est joli», и что London некрасивый. Это не удаётся объяснить разными семантическими свойствами имён, из чего Крипке делает вывод, что приписывание именам дополнительных семантических свойств не даёт ожидаемых результатов.

Известность получила и его интерпретация философии Витгенштейна, названная «Крипкенштейн». Крипке внёс вклад в теорию истины и в теорию множеств, предложив и мотивировав один из вариантов аксиоматической теории множеств, известный как теория Крипке — Платека.

Почему он не писал

Сам Крипке практически не писал статей. Вместо этого он изучал тему, а затем на удобном публичном мероприятии — семинаре или лекции — рассказывал о своих умозаключениях, зачастую вступая в сократовский диалог с аудиторией. После этого разговор расшифровывался, и после серии правок Крипке одобрял публикацию результата. В результате большая часть работ не опубликована и существует лишь в виде аудиозаписей или лично распространяемых рукописей. Сам философ объяснял привычку просто: «Я просто ненавижу сидеть и писать — мне этого хватило в школе. Плюс у меня отвратительный почерк».

В 1970 году он прочитал в Принстонском университете серию лекций «Именование и необходимость», опубликованных в 1972 и 1980 годах. В 1973 году в Оксфорде прочитал лекции по философии имени Джона Локка под названием «Референция и существование»; во многом они продолжают идеи «Именования и необходимости» и содержат материал о вымышленных именах и перцептивных ошибках.

Крипке был ортодоксальным иудеем и считал, что вера помогает ему в философских работах. В интервью Андреасу Саустату он говорил: «Я не имею тех предубеждений, которые имеют сегодня многие. Я не верю в натуралистский взгляд на мир. Моё мышление не основывается на предрассудках или каком-то мировоззрении, и я не верю в материализм».

Сол Крипке умер 15 сентября 2022 года в Нью-Йорке. В целях сохранения и популяризации его работ создан «Центр Сола Крипке» в исследовательском колледже Городского университета Нью-Йорка, который организует тематические мероприятия и ведёт цифровой архив неопубликованных записей, конспектов лекций и переписки Крипке начиная с 1950-х годов.

Вопросы и ответы

Правда ли, что Крипке не имел докторской степени?

Да, бакалавр — его единственная академическая степень. Несмотря на это, он преподавал в Гарварде, Рокфеллеровском и Принстонском университетах и получил звание заслуженного профессора.

Что такое «Крипкенштейн»?

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

Почему его главные работы выходили с трудом?

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