lingvo.wikisort.org - Исследователь

Search / Calendar

Сол Аарон Крипке (англ. Saul Aaron Kripke; 13 ноября 1940[2][3][4], Бей-Шор[d], Нью-Йорк15 сентября 2022[1]) — американский философ и логик. Почётный профессор Гарвардского университета, заслуженный профессор Высшей школы и Университетского центра[en] Городского университета Нью-Йорка. Лауреат премии Рольфа Шока по философии и логике (2001), согласно одному из опросов, входит в десятку наиболее важных философов последних 200 лет.

Сол Крипке
англ. Saul Aaron Kripke
Дата рождения 13 ноября 1940(1940-11-13)
Место рождения
Дата смерти 15 сентября 2022(2022-09-15)[1] (81 год)
Страна
  •  США
Альма-матер
  • Гарвардский университет (1962)
  • Omaha Central High School[d]
Язык(и) произведений английский
Школа/традиция Аналитическая философия
Направление Западная философия
Период XX век
Основные интересы Логика (в частности модальная логика), философия языка
Значительные идеи Causal theory of reference, Kripkenstein
Оказавшие влияние Фреге, Рассел, Тарский, Витгенштейн
Испытавшие влияние Чалмерс, Патнэм, Ябло
Награды
стипендия Гуггенхайма Премия Рольфа Шока по логике и философии[d] (2001) программа Фулбрайта
 Медиафайлы на Викискладе

Основные работы — по математической логике, философии языка, философии математики, метафизике, эпистемологии, теории множеств.

В ранних работах внёс значительный вклад в развитие модальной логики. Последующие работы оказали глубокое влияние на аналитическую философию, наиболее значительным вкладом считается метафизическое описание модальности, включающее идею возможных миров[en] как она объясняется в системе, известной как семантика Крипке. Другим важным достижением является демонстрация того, что существуют необходимые апостериорные истины, такие как «вода есть H2O». Также внёс вклад в изучение философии Витгенштейна, оригинальная интерпретация получила известность под названием «Крипкенштейн»[en]. Наиболее известной работой Крипке является монография «Именование и необходимость[en]» (1980).


Биография


Старший из троих детей выпускников Еврейской теологической семинарии — Майера Крипке[en] (1914—2014)[5], раввина синагоги «Бет Эль» (единственной консервативной конгрегации в Омахе, штат Небраска[6]), и Дороти Крипке[en] (урождённой Карп, 1912—2000), автора образовательных книг для еврейских детей. Семья отца эмигрировала в США из Литвы.

С детства считался вундеркиндом: в возрасте шести лет самостоятельно выучил иврит, к девяти годам прочёл все сочинения Шекспира, изучил философию Декарта и занимался сложными математическими проблемами до окончания начальной школы[7]. Первые научные статьи по модальной логике он написал ещё будучи школьником. После окончания школы в 1958 году поступил в Гарвардский университет, который окончил с summa cum laude дипломом бакалавра по математике. Уже на втором году обучения Крипке вёл курс по логике в Массачусетском технологическом институте. Что необычно для учёного XX века, бакалавр — единственная академическая степень Крипке, каких-либо других академических степеней у него нет.

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

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


Работы


Модели Крипке для систем модальной логики
Модели Крипке для систем модальной логики

Ключевые работы:

Также внёс вклад в теорию множеств, предложив и мотивировав один из вариантов аксиоматической теории множеств, известный как теория Крипке — Платека[en].


Модальная логика


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

Шкалой Крипке с одним отношением называется пара , где  — это произвольное множество (часто говорят множество возможных миров), а  — отношение на (множество стрелок или упорядоченных пар).

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

, если  

, если  или 
, если 

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


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

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

Крипке полагает, что единственный способ защитить этот взгляд состоит в том, чтобы интерпретировать тождество как апостериорное необходимое тождество, но такое тождество — например, тождество боли и раздражения C-волокон — не могло бы быть необходимым, учитывая тот факт, что возможна боль, которая не имеет отношения к раздражению C-волокон. Подобные аргументы были выдвинуты Дэвидом Чалмерсом. Крипке также прочитал свои знаменитые лекции по философии имени Джона Локка в 1973 году в Оксфорде. Озаглавленные «Референция и существование», во многом отношении они представляют собой продолжение идей, изложенных в книге «Именование и необходимость», и содержат интересный материал по проблеме вымышленных имён и перцептивных ошибках.


«A Puzzle about Belief»


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

В своей статье «A Puzzle about Belief» Крипке развивает свою мысль и отрицает даже и эту возможность. Его аргументацию можно кратко реконструировать следующим образом. Идея о том, что два имени, относящихся к одному и тому же объекту, могут обладать разными семантическими качествами, должна объяснять, почему эти имена могут вести по-разному в утверждениях о чьих-то убеждениях. Но то же самое явление может происходить и с именами, которые очевидно обладают идентичными семантическими качествами.

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


Центр Сола Крипке


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


Религиозные взгляды


Крипке является ортодоксальным иудеем и считает, что вера помогает ему в философских работах. В интервью с Андреасом Саустатом о том, как религиозные взгляды повлияли на его философию, он сообщил:

«Я не имею тех предубеждений, которые имеют сегодня многие. Я не верю в натуралистский взгляд на мир. Мое мышление не основывается на предрассудках или каком-то мировоззрении, и я не верю в материализм»[8].


Семья


Сестра — Мэдлин Крипке (англ. Madeline Kripke; 1943—2020), библиофил и коллекционер.

Жена — Маргарет Гилберт (англ. Margaret Gilbert; род. 1942), также философ, сестра историка Мартина Гилберта.


Сообщества и награды



Сочинения



Книги



Статьи и тезисы



Неопубликованные рукописи и лекции



Интервью и статьи о Крипке в прессе



На русском языке



См. также



Примечания


  1. Weinberg J. Saul Kripke (1940-2022) (англ.) — 2022.
  2. http://www.britannica.com/EBchecked/topic/323543/Saul-Kripke
  3. Saul Aaron Kripke // Энциклопедия Брокгауз (нем.) / Hrsg.: Bibliographisches Institut & F. A. Brockhaus, Wissen Media Verlag
  4. Saul A Kripke // Babelio (фр.) — 2007.
  5. Некролог в The New York Times
  6. Rabbi Myer Kripke, Early Buffett Friend and Investor, Dies at 100. Дата обращения: 30 сентября 2017. Архивировано 30 августа 2018 года.
  7. Charles McGrath. Philosopher, 65, Lectures Not About 'What Am I?' but 'What Is I?'. The New York Times (28 января 2006). Дата обращения: 26 мая 2017. Архивировано 7 апреля 2008 года.
  8. Andreas Saugstad. Saul Kripke, Genius Logician. David Boles, Blogs (25 февраля 2001). Дата обращения: 26 мая 2017. Архивировано 31 марта 2016 года.
  9. Saul Kripke (англ.). John Simon Guggenheim Foundation. gf.org. Дата обращения: 15 апреля 2019. Архивировано 15 апреля 2019 года.
  10. Видеозаписи, на материале которых основана статья
  11. http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3 Подкаст, на материале которого основана статья]
  12. Обсуждение
  13. Summary by Hilary Putnam.
  14. Edward P. Stabler, «Kripke on functionalism and automata (недоступная ссылка)», Synthese, Vol. 70 No. 1 (1987).
  15. https://web.archive.org/web/20120107074053/http://www.princeton.edu/~jburgess/Kripke2.doc
  16. Видео и аннотация
  17. Подкаст
  18. Видео лекции

Литература


на русском языке
на английском языке



На других языках


[en] Saul Kripke

Saul Aaron Kripke (/ˈkrɪpki/; born November 13, 1940) is an American philosopher and logician in the analytic tradition. He is a Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. Since the 1960s, Kripke has been a central figure in a number of fields related to mathematical logic, modal logic, philosophy of language, philosophy of mathematics, metaphysics, epistemology, and recursion theory. Much of his work remains unpublished or exists only as tape recordings and privately circulated manuscripts.
- [ru] Крипке, Сол



Текст в блоке "Читать" взят с сайта "Википедия" и доступен по лицензии Creative Commons Attribution-ShareAlike; в отдельных случаях могут действовать дополнительные условия.

Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.org внимательно изучите правила лицензирования конкретных элементов наполнения сайта.

2019-2025
WikiSort.org - проект по пересортировке и дополнению контента Википедии