Соломон Крипке¶

Соломон Крипке (полное имя — Соломон Аарон Крипке, англ. Saul Aaron Kripke; 13 ноября 1940, Бей-Шор, штат Нью-Йорк, США — 15 сентября 2022, Плейнсборо, штат Нью-Джерси, США) — американский философ и логик, один из наиболее влиятельных мыслителей в аналитической философии второй половины XX — начала XXI века. Внёс фундаментальный вклад в логику (теория модальностей, семантика возможных миров), философию языка (теория прямого обозначения, каузальная теория референции), метафизику (понятие необходимой истины a posteriori) и философию сознания. Его работы, особенно лекции «Именование и необходимость» (1970), радикально пересмотрели классические представления о значении, истине и реальности.

¶Биография

Соломон Крипке родился в еврейской семье. Его отец, Майер Крипке, был раввином, мать, Дороти Крипке, — писательницей и педагогом. С раннего возраста проявил незаурядные способности к математике и логике. В 1958 году, ещё будучи старшеклассником, опубликовал в журнале Journal of Symbolic Logic статью «A Completeness Theorem in Modal Logic», которая заложила основы современной модальной семантики. Этот результат, полученный до поступления в университет, привлёк внимание профессионального сообщества.

Крипке получил степень бакалавра в Гарвардском университете (1962). В 1963 году защитил докторскую диссертацию в Принстонском университете, где впоследствии преподавал (1976—1998). Также работал в Рокфеллеровском университете (Нью-Йорк) и Калифорнийском университете в Беркли. В 2001 году вышел на пенсию, но продолжал научную деятельность. Скончался 15 сентября 2022 года.

¶Основные идеи и вклад

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

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

¶Теория референции: «Именование и необходимость»

Книга «Именование и необходимость» (1972, на основе трёх лекций 1970 года) — центральное произведение Крипке. В ней он подверг критике дескриптивистскую теорию имён (связанную с именами Г. Фреге и Б. Рассела), согласно которой значение имени собственного сводится к набору описаний (дескрипций), ассоциированных с носителем имени.

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

Крипке также ввёл различие между априорным и необходимым. Он показал, что существуют истины, которые являются одновременно необходимыми (истинными во всех возможных мирах) и познаваемыми только a posteriori (эмпирически). Классический пример: «Вода — это H₂O». Это утверждение необходимо истинно (если вода есть H₂O, то во всех мирах, где есть вода, она есть H₂O), но открыто оно было эмпирически, а не чисто логически.

¶Тождество и необходимость

В статье «Тождество и необходимость» (1971) Крипке применил свою теорию к проблеме тождества. Он утверждал, что если два объекта тождественны (например, «Утренняя звезда» и «Вечерняя звезда» — обе планета Венера), то это тождество необходимо, а не случайно. Это означало, что все истинные утверждения тождества, если они истинны, являются необходимыми истинами.

¶Философия сознания и теория тождества

Крипке внёс вклад в дискуссию о соотношении сознания и мозга. Он подверг критике теорию тождества ментального и физического (например, «боль — это возбуждение С-волокон»). Согласно его аргументу, если бы боль была тождественна определённому нейрофизиологическому состоянию, то это тождество было бы необходимым, как в случае с водой и H₂O. Однако мы можем представить себе боль без соответствующего мозгового состояния (и наоборот), что, по Крипке, указывает на то, что такое тождество не является необходимым, а значит, не может быть истинным. Этот аргумент стал одним из центральных в современной философии сознания.

¶Правила и следование правилу

В книге «Витгенштейн о правилах и индивидуальном языке» (1982) Крипке предложил оригинальную интерпретацию парадокса следования правилу, сформулированного Людвигом Витгенштейном. Крипке утверждал, что не существует факта, который бы однозначно определял, какому правилу следует субъект. Например, если человек ранее складывал числа, то нет никакого факта (ни психологического, ни физического), который бы гарантировал, что он должен продолжать складывать, а не, скажем, вычитать. Из этого следует, что значение и правильность определяются не внутренними состояниями, а социальной практикой — консенсусом сообщества. Эта работа вызвала огромную дискуссию и стала одной из самых цитируемых в философии языка XX века.

¶Критика и влияние

Идеи Крипке подвергались критике по ряду направлений. Дескриптивисты (например, Дж. Сёрл) указывали, что каузальная теория референции не объясняет случаи, когда имя не имеет референта (например, «Пегас»). Также критиковался аргумент против теории тождества в философии сознания (например, с позиций функционализма). Однако, несмотря на критику, работы Крипке стали обязательными для изучения в аналитической философии.

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

¶Основные труды

• «A Completeness Theorem in Modal Logic» (1959) — статья, заложившая основы модальной семантики.
• «Identity and Necessity» (1971) — статья о необходимом тождестве.
• «Naming and Necessity» (1972, 1980) — книга, ставшая классикой философии языка.
• «Wittgenstein on Rules and Private Language» (1982) — монография о следовании правилу.
• «Philosophical Troubles» (2011) — сборник избранных статей.

¶Источники

• Kripke, S. A. Naming and Necessity. — Harvard University Press, 1980.
• Kripke, S. A. Wittgenstein on Rules and Private Language. — Harvard University Press, 1982.
• Soames, S. Philosophical Analysis in the Twentieth Century, Volume 2: The Age of Meaning. — Princeton University Press, 2003.
• Burgess, J. P. Saul Kripke: Puzzles and Mysteries. — Polity, 2013.
• Hughes, G. E., Cresswell, M. J. A New Introduction to Modal Logic. — Routledge, 1996.