Просмотр кода страницы Крипке, Сол

{{однофамильцы|Крипке}}
{{Философ
 |имя                  = Сол Крипке
 |оригинал имени       = {{lang-en|Saul Aaron Kripke}}
 |изображение          = Kripke.JPG
 |ширина               = 
 |описание изображения = 
 |имя при рождении     = 
 |псевдонимы           = 
 |дата рождения        = 13.11.1940
 |место рождения       = 
 |дата смерти          = 
 |место смерти         = 
 |страна               = 
 |язык                 = 
 |школа                = [[Аналитическая философия]]
 |направление          = [[Западная философия]]
 |период               = [[Философия XX века|XX век]]
 |интересы             = [[Логика]] (в частности [[модальная логика]]), [[философия языка]]
 |идеи                 = [[Causal theory of reference]], [[Kripkenstein]]
 |предшественники      = [[Фреге, Готлоб|Фреге]], [[Бертран Рассел|Рассел]], [[Альфред Тарский|Тарский]], [[Людвиг Витгенштейн|Витгенштейн]]
 |последователи        = [[Чалмерс, Дэвид|Чалмерс]], [[Патнэм, Хилари Уайтхолл|Патнэм]], [[Стефан Ябло|Ябло]] 
 |премии               = 
 |награды              = 
 |автограф             = 
 |сайт                 = 
}}
'''Сол Аарон Крипке''' ({{lang-en|Saul Aaron Kripke}}; {{ВД-Преамбула}}) — американский {{философ/кат|США|XX века|XXI века}} и {{логик|США|XX века|XXI века}}. Почётный профессор [[Гарвардский университет|Гарвардского университета]], заслуженный профессор Высшей школы и {{нп5|Университетский центр городского университета Нью-Йорка|Университетского центра||Graduate Center, CUNY}} [[Городской университет Нью-Йорка|Городского университета Нью-Йорка]]. Лауреат [[Премия Рольфа Шока|премии Рольфа Шока]] по философии и логике (2001), согласно одному из опросов, входит в десятку наиболее важных философов последних 200 лет.

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

В ранних работах внёс значительный вклад в развитие [[модальная логика|модальной логики]]. Последующие работы оказали глубокое влияние на [[аналитическая философия|аналитическую философию]], наиболее значительным вкладом считается метафизическое описание [[модальность (философия)|модальности]], включающее идею [[Возможный мир|возможных миров]] как она объясняется в системе, известной как [[семантика Крипке]]. Другим важным достижением является демонстрация того, что существуют необходимые [[апостериори|апостериорные]] истины, такие как «вода есть H<sub>2</sub>O». Также внёс вклад в изучение философии [[Витгенштейн, Людвиг|Витгенштейна]], оригинальная интерпретация получила известность под названием {{нп5|Крипкенштейн|«Крипкенштейн»|en|Kripkenstein}}. Наиболее известной работой Крипке является монография «{{нп5|Тождество и необходимость|Тождество и необходимость||Naming and Necessity}}» (1980).

== Биография ==
Старший из троих детей выпускников [[Еврейская теологическая семинария (Нью-Йорк)|Еврейской теологической семинарии]] — {{нп5|Крипке, Майер|Майера Крипке|en|Myer S. Kripke}} (1914—2014)<ref>{{Cite web |url=https://www.nytimes.com/2014/05/04/us/rabbi-myer-kripke-100-early-buffett-friend-and-investor-dies.html |title=Некролог в The New York Times |access-date=2017-09-30 |archive-date=2018-10-08 |archive-url=https://web.archive.org/web/20181008024340/https://www.nytimes.com/2014/05/04/us/rabbi-myer-kripke-100-early-buffett-friend-and-investor-dies.html |url-status=live }}</ref>, [[раввин]]а [[Синагога|синагоги]] «Бет Эль» (единственной [[Консервативный иудаизм|консервативной конгрегации]] в [[Омаха|Омахе]], [[Небраска|штат Небраска]]<ref>{{Cite web |url=https://www.nytimes.com/2014/05/04/us/rabbi-myer-kripke-100-early-buffett-friend-and-investor-dies.html?ref=obituaries |title=Rabbi Myer Kripke, Early Buffett Friend and Investor, Dies at 100 |access-date=2017-09-30 |archive-date=2018-08-30 |archive-url=https://web.archive.org/web/20180830041328/https://www.nytimes.com/2014/05/04/us/rabbi-myer-kripke-100-early-buffett-friend-and-investor-dies.html?ref=obituaries |url-status=live }}</ref>), и [[Крипке, Дороти|Дороти Крипке]] (урождённой Карп, 1912—2000), автора образовательных книг для еврейских детей. Семья отца эмигрировала в США из [[Литва|Литвы]].

С детства считался [[Вундеркинды|вундеркиндом]]: в возрасте шести лет самостоятельно выучил [[древнееврейский язык|иврит]], к девяти годам прочёл все сочинения [[Шекспир]]а, изучил философию [[Декарт]]а и занимался сложными математическими проблемами до окончания начальной школы<ref name=":0">{{Cite web|url=https://www.nytimes.com/2006/01/28/books/philosopher-65-lectures-not-about-what-am-i-but-what-is-i.html|title=Philosopher, 65, Lectures Not About 'What Am I?' but 'What Is I?'|author=Charles McGrath|website=The New York Times|date=2006-01-28|publisher=|access-date=2017-05-26|archive-date=2008-04-07|archive-url=https://web.archive.org/web/20080407105345/http://www.nytimes.com/2006/01/28/books/28krip.html?pagewanted=1|url-status=live}}</ref>. Первые научные статьи по модальной логике он написал ещё будучи школьником. После окончания школы в 1958 году поступил в [[Гарвардский университет]], который окончил с [[Латинские награды|summa cum laude]] дипломом бакалавра по математике. Уже на втором году обучения Крипке вёл курс по логике в [[Массачусетский технологический институт|Массачусетском технологическом институте]]. Что необычно для учёного XX века, бакалавр — единственная [[академическая степень]] Крипке, каких-либо других академических степеней у него нет.

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

Сам Крипке практически не писал статей: вместо этого он изучал определённую тему, затем на удобном публичном мероприятии — семинаре или лекции — рассказывал о своих умозаключениях, зачастую вступая в [[Метод Сократа|сократовский диалог]] с аудиторией, — а затем разговор расшифровывался, и после серии правок Сол Крипке одобрял публикацию результата. В результате большая часть работ не опубликована, существует лишь в виде аудиозаписей или лично распространяемых рукописей. Сам философ объяснял свою привычку просто: «''Я просто ненавижу сидеть и писать — мне этого хватило в школе. Плюс у меня отвратительный почерк''»<ref name=":0" />.

== Работы ==
[[Файл:LTL model.png|thumb|185px|right|Модели Крипке для систем модальной логики]]
Ключевые работы:
* [[семантика Крипке]] для [[модальная логика|модальной логики]] — излагается в нескольких эссе, над которыми Крипке начал работать ещё подростком;
* серия лекций {{нп2|Именование и необходимость|«Именование и необходимость»|en|Naming and Necessity}} 1970 года, прочитанные в Принстонском университете (опубликованы в 1972 и 1980 годах) оказали большое влияние на [[философия языка|философию языка]];
* интерпретация философии [[Витгенштейн, Людвиг|Витгенштейна]];
* [[теория истины]].

Также внёс вклад в [[теория множеств|теорию множеств]], предложив и мотивировав один из вариантов [[Аксиоматика теории множеств|аксиоматической теории множеств]], известный как {{iw|теория Крипке — Платека||en|Kripke–Platek set theory}}.
<!--== Модальная логика ==

== Интуиционистская логика ==

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

== Загадка убеждения ==

== Витгенштейн ==

== Истина ==

== Значение «Я» ==
В январе 2006 года в [[Высшая школа и Университетский центр Городского университета Нью-Йорка|Высшей школы и Университетского центра Городского университета Нью-Йорка]] прошла конференция посвящённая 65-летию Сола Крипке, на которой он прочёл лекцию «Первое лицо» о значении и референции местоимения «Я».
comment: прочёл и прочёл? зачем это здесь — как-то непонятно -->

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

'''Шкалой Крипке''' <math>F</math> с одним отношением называется пара <math>(W,R)</math>, где <math>W</math> — это произвольное множество (часто говорят множество возможных миров), а <math>R\subset W\times W</math> — отношение на <math>W</math> (множество стрелок или упорядоченных пар).

'''Моделью Крипке''' <math>M</math> называется пара <math>(F,V)</math>, где <math>V</math> — это оценка на шкале, которая каждой переменной ставит в соответствие множество миров, в которых эта переменная считается истинной. Формально оценку представляют, как функцию из множества переменных <math>PL</math> в множество всех подмножеств <math>W</math>. Истинность в точке в модели Крипке обозначается с помощью знака <math>\models</math> и определяется [[Математическая индукция|индукцией]] по [[длине формулы]]:
 <math>M, x\models p</math>, если  <math>x\in V(p)</math>
 <math>M, x\not\models \perp</math>
 <math>M, x\models A \to B</math>, если <math>M x\not\models A</math> или <math>M, x\models B</math>
 <math>M, x\models \Box A</math>, если <math>\forall y:(x R y \Rightarrow M, y\models A)</math>

=== «Именование и необходимость» ===
В книге «Именование и необходимость» ({{lang-en|Naming and Necessity}}, 1971) Крипке критикует дескриптивистские теории собственных имён, изучая различные варианты дескриптивистских теорий [[Готлоб Фреге|Фреге]], [[Бертран Рассел|Рассела]], [[Людвиг Витгенштейн|Витгенштейна]], [[Джон Сёрл|Сёрла]] и ряда других философов. Согласно дескриптивистским теориям, либо собственные имена синонимичны дескрипциям, либо же референция собственных имён определяется ассоциацией имени с дескрипцией или кластером дескрипций, которые уникальным образом выполняются некоторым данным объектом. Крипке отрицает оба эти вида дескриптивизма. Он приводит различные примеры, нацеленные на обнаружение неадекватности дескриптивизма как теории тех факторов, которые определяют референцию имён (например, Аристотель мог бы умереть в возрасте двух лет, и поэтому он не выполнял бы ни одной дескрипции, которые ассоциированы с его именем, кроме того, было бы ошибочно отрицать, что он являлся Аристотелем).

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

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

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

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

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

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

== Религиозные взгляды ==
Крипке был [[Ортодоксальный иудаизм|ортодоксальным иудеем]] и считал, что вера помогает ему в философских работах. В интервью с Андреасом Саустатом о том, как религиозные взгляды повлияли на его философию, он сообщил: <blockquote>«Я не имею тех предубеждений, которые имеют сегодня многие. Я не верю в натуралистский взгляд на мир. Моё мышление не основывается на предрассудках или каком-то мировоззрении, и я не верю в [[материализм]]»<ref>{{Cite web|url=https://bolesblogs.com/2001/02/25/saul-kripke-genius-logician/|title=Saul Kripke, Genius Logician|author=Andreas Saugstad|website=David Boles, Blogs|date=2001-02-25|publisher=|access-date=2017-05-26|archive-date=2016-03-31|archive-url=https://web.archive.org/web/20160331075118/http://bolesblogs.com/2001/02/25/saul-kripke-genius-logician/|url-status=live}}</ref>.</blockquote>

== Семья ==
Сестра — {{нп2|Крипке, Мэдлин|Мэдлин Крипке|en|Madeline Kripke|text=1943—2020}}, библиофил и коллекционер.

Жена — {{нп2|Гилберт, Маргарет|Маргарет Гилберт|en|Margaret Gilbert|text=род. 1942}}, также философ, сестра историка [[Гилберт, Мартин|Мартина Гилберта]].

== Сообщества и награды ==
* [[Fulbright Scholar]] (1962—1963)
* [[Society of Fellows]], [[Harvard University]] (1963—1966).
* [[Стипендия Гуггенхайма]] (1968, 1977)<ref>{{Cite web|url=https://www.gf.org/fellows/all-fellows/saul-kripke/|title=Saul Kripke|author=|website=John Simon Guggenheim Foundation|date=|publisher=gf.org|lang=en|access-date=2019-04-15|archive-date=2019-04-15|archive-url=https://web.archive.org/web/20190415052708/https://www.gf.org/fellows/all-fellows/saul-kripke/|url-status=live}}</ref>.
* Doctor of Humane Letters, honorary degree, [[University of Nebraska]], 1977.
* Fellow, [[American Academy of Arts and Sciences]] (1978).
* Corresponding Fellow, [[British Academy]] (1985).
* Howard Behrman Award, [[Princeton University]], 1988.
* Fellow, Academia Scientiarum et Artium Europaea (1993).
* Doctor of Humane Letters, honorary degree, [[Johns Hopkins University]], 1997.
* Doctor of Humane Letters, honorary degree, [[University of Haifa]], Israel, 1998.
* Fellow, Norwegian Academy of Sciences (2000-).
* [[Schock Prize]] in Logic and Philosophy, [[Swedish Academy of Sciences]], 2001.
* Doctor of Humane Letters, honorary degree, [[University of Pennsylvania]], 2005.
* Fellow, [[American Philosophical Society]] (2005).

== Сочинения ==

=== Книги ===
* Naming and Necessity. Cambridge, Mass.: [[Издательство Гарвардского университета|Harvard University Press]]. ISBN 0-674-59845-8, 1970 and reprints 1972.
* Wittgenstein on Rules and Private Language: an Elementary Exposition. Cambridge, Mass.: [[Издательство Гарвардского университета|Harvard University Press]], 1982. ISBN 0-674-95401-7.
* Philosophical Troubles. Collected Papers Vol. 1. New York: [[Издательство Оксфордского университета|Oxford University Press]], 2011. ISBN 978-0-19-973015-5
* Reference and Existence — The John Locke Lectures. New York: [[Издательство Оксфордского университета|Oxford University Press]], 2013. ISBN 978-0-19-992838-5

=== Статьи и тезисы ===
* 1959. «A Completeness Theorem in Modal Logic», ''Journal of Symbolic Logic'' 24(1):1-14.
* 1959. «Distinguished Constituents» (abstract), ''The Journal of Symbolic Logic'', 24(4):323.
* 1959. «Semantical Analysis of Modal Logic» (abstract), ''The Journal of Symbolic Logic'', 24(4):323-324.
* 1959. «The Problem of Entailment» (abstract), ''The Journal of Symbolic Logic'', 24(4):324.
* 1962. «‘Flexible’ Predicates of Formal Number Theory», ''Proceedings of the American Mathematical Society'', 13(4):647-650.
* 1962. «The Undecidability of Monadic Modal Quantification Theory», ''Zeitschrift für Mathematische Logik und Grundlagen der Mathematik'' 8:113-116
* 1963. «Semantical Considerations on Modal Logic», ''Acta Philosophica Fennica'' 16:83-94
* 1963. «Semantical Analysis of Modal Logic I: Normal Modal Propositional Calculi», ''Zeitschrift für Mathematische Logik und Grundlagen der Mathematik'' 9:67-96
* 1964. «Transfinite Recursions on Admissible Ordinals, I» (abstract), ''The Journal of Symbolic Logic'', Vol. 29, No. 3, p. 162.
* 1964. «Transfinite Recursions on Admissible Ordinals, II» (abstract), ''The Journal of Symbolic Logic'', Vol. 29, No. 3, p. 162.
* 1964. «Admissible Ordinals and the Analytic Hierarchy» (abstract), ''The Journal of Symbolic Logic'', Vol. 29, No. 3, p. 162.
* 1965. «Semantical Analysis of Intuitionistic Logic I», In ''Formal Systems and Recursive Functions'', edited by M. Dummett and J. N. Crossley. Amsterdam: North-Holland Publishing Co.
* 1965. «Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi», In ''The Theory of Models'', edited by J. W. Addison, L. Henkin and A. Tarski. Amsterdam: North-Holland Publishing Co.
* 1967. Research Announcement: «Deduction-preserving ‘Recursive Isomorphisms’ between Theories» (with Marian Boykan Pour-El), ''Bulletin of the American Mathematical Society'', 73:145-148.
* 1967. «An Extension of a Theorem of Gaifman-Hales-Solovay», ''Fundamenta Mathematicae'', Vol. 61, pp. 29–32.
* 1967. «Transfinite Recursion, Constructible Sets, and Analogues of Cardinals», Summaries of Talks Prepared in Connection with the Summer Institute on Axiomatic Set Theory, American Mathematical Society, U.C.L.A., pp. IV-0-1 — IV-0-12.
* 1967. «On the Application of Boolean-Valued Models to Solutions of Problems in Boolean Algebra», in Summaries of Talks Prepared in Connection with the Summer Institute on Axiomatic Set Theory, American Mathematical Society, U.C.L.A. (1967), pp. IV-T-1 through IV-T-7.
* 1967. «Deduction-preserving ‘Recursive Isomorphisms’ between Theories» (with Marian Boykan Pour-El), ''Fundamenta Mathematicae'' 61:141-163.
* 1971. «Identity and Necessity», In ''Identity and Individuation'', edited by M. K. Munitz. New York: New York University Press.
* 1972 (1980). «Naming and Necessity», In ''Semantics of Natural Language'', edited by D. Davidson and G. Harman. Dordrecht; Boston: Reidel. Sets out the [[causal theory of reference]].
* 1975. «Outline of a Theory of Truth», ''Journal of Philosophy'' 72:690-716. Sets his theory of truth (against Alfred Tarski), where an object language can contain its own truth predicate.
* 1976. «Is There a Problem about Substitutional Quantification?», In ''Truth and Meaning: Essays in Semantics'', edited by Gareth Evans and John McDowell. Oxford: Oxford University Press.
* 1976. «A Theory of Truth I. Preliminary Report», abstract, ''Journal of Symbolic Logic'', Vol. 41, No. 2, pp. 556.
* 1976. «A Theory of Truth II. Preliminary Report», abstract, ''Journal of Symbolic Logic'', Vol. 41, No. 2, pp. 556–557.
* 1977. «Speaker’s Reference and Semantic Reference», ''Midwest Studies in Philosophy'' 2:255-276.
* 1979. «A Puzzle about Belief», In ''Meaning and Use'', edited by A. Margalit. Dordrecht and Boston: Reidel.
* 1982. «Nonstandard Models of Peano Arithmetic» (with S. Kochen), in ''Logic and Algorithmics: International Symposium Held in Honor of Ernst Specker'', H. Lauchli (ed.), University of Geneva: 277—295.
* 1986. «A Problem in the Theory of Reference: the Linguistic Division of Labor and the Social Character of Naming», ''Philosophy and Culture (Proceedings of the XVIIth World Congress of Philosophy)'', Montreal, Editions Montmorency: 241—247.
* 1992. «Summary: Individual Concepts: Their Logic, Philosophy, and Some of Their Uses.» ''Proceedings and Addresses of the American Philosophical Association'' 66: 70-73
* 2005. «Russell’s Notion of Scope», ''Mind'' 114:1005-1037
* 2008. «Frege’s Theory of Sense and Reference: Some Exegetical Notes», ''Theoria'' 74:181-218
* 2009. «Presupposition and Anaphora: Remarks on the formulation of the projection problem», ''Linguistic Inquiry'' 40(3):367-386.
* 2009. «The Collapse of the Hilbert Program» (Abstract) ''Bulletin of Symbolic Logic'' 15(2):229-231.
* 2011. «The First Person», Philosophical Troubles. Collected Papers Vol. I, Oxford University Press<ref>{{Cite web |url=http://web.gc.cuny.edu/philosophy/events/kripke_conference.htm |title=Видеозаписи, на материале которых основана статья |access-date=2017-05-26 |archive-date=2011-01-09 |archive-url=https://web.archive.org/web/20110109052137/http://web.gc.cuny.edu/philosophy/events/kripke_conference.htm |url-status=live }}</ref>.
* 2011. «Two Paradoxes of Knowledge», Philosophical Troubles. Collected Papers Vol. I, Oxford University Press.
* 2011. «Nozick on Knowledge», Philosophical Troubles. Collected Papers Vol. I, Oxford University Press.
* 2011. «A Puzzle about Time and Thought», Philosophical Troubles. Collected Papers Vol. I, Oxford University Press.
* 2011. «Vacuous Names and Fictional Entities», Philosophical Troubles. Collected Papers Vol. I, Oxford University Press.
* 2011. «Unrestricted Exportation and Some Morals for the Philosophy of Language», Philosophical Troubles. Collected Papers Vol. I, Oxford University Press<ref>http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3 {{Wayback|url=http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3 |date=20151125182007 }} Подкаст, на материале которого основана статья]</ref>.
* 2013. «The Church-Turing 'Thesis' as a Special Corollary of Gödel’s Completeness Theorem», in Computability: Turing, Gödel, Church, and Beyond, Copeland, B. J., Posy, C., and Shagrir, O. (eds), Cambridge, Mass., MIT Press.

=== Неопубликованные рукописи и лекции ===
* 1963. «History and Idealism: the Theory of R. G. Collingwood».
* 1973. John Locke Lectures: «Reference and Existence». (Transcript available in the Philosophy Library, Oxford University)
* 1975. «Three Lectures on Truth». Princeton University<ref>{{cite web |title = Обсуждение |url = http://www.princeton.edu/~jburgess/Kripke2.doc |archive-url = https://web.archive.org/web/20120107074053/http://www.princeton.edu/~jburgess/Kripke2.doc |archive-date = 2012-01-07 |url-status = dead }}</ref>.
* 197-. «On The Completeness and Decidability of Intuitionistic Propositional Logic».
* 1978. «Time and Identity». Курс, прочитанный в Принстонском университете в 1978 году. Текст лекций не был опубликован, но в обращении находятся несколько его «самиздатовских» версий. Некоторые из идей, изложенных в этих лекциях, обсуждаются [[Сайдер, Теодор|Тедом Сайдером]] в его книге ''Four-Dimensionalism: An Ontology of Persistence and Time''.
* 19-. «Non-Standard Models and Godel’s Theorem: A Model-Theoretic Proof of Godel’s Theorem»<ref>{{cite web |url = http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ndjfl/1027953483 |title = Summary  |archive-url = https://web.archive.org/web/20210418221209/http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ndjfl%2F1027953483 |archive-date = 2021-04-18 }} by Hilary Putnam.</ref>
* 1984. «Lessons on Functionalism and Automata». (Delivered at the International Wittgenstein Symposium, 1984. Transcribed by Roderick Chisholm.<ref>Edward P. Stabler, {{cite web |url = http://www.springerlink.com/content/lr745776l7g24u63/ |title = «Kripke on functionalism and automata» |url-status = dead }}, ''Synthese'', Vol. 70 No. 1 (1987).</ref>
* 198-. «A Proof of Gamma.»
* 198-. «A Note on Zabludowski’s Critique of Goodman’s Theory of Projection».
* 1986. «Rigid Designation and the Contingent A Priori: The Meter Stick Revisited» (Notre Dame, 1986).
* 1988/89. «Seminars on Truth». Three-semester seminar at Princeton in 1988-89, only the first two semesters have been transcribed by Jim Cain<ref>https://web.archive.org/web/20120107074053/http://www.princeton.edu/~jburgess/Kripke2.doc</ref>.
* 19- «Semantical Analysis of Intuitionistic Logic II. Undecidability of the Monadic Fragment» (Undated manuscript).
* 19- «Semantical Analysis of Intuitionistic Logic III» (Undated manuscript).
* 1989. «No Fool’s Red? Some Considerations on the Primary/Secondary Quality Distinction»(includes comments by David Velleman). University of Michigan, 1989.
* 1992. Whitehead Lectures: «Logicism, Wittgenstein, and De Re Beliefs about Natural Numbers». Delivered at Harvard University, 1992.
* 1992. «Individual Concepts: Their Logic, Philosophy, and Some of Their Uses». Transcribed by Stephen Webb.
* 1996. «The Ordered Pair: A Philosophical Paradigm Revisited».
* 1996. «Elementary Recursion Theory and its Applications to Formal Systems.» Transcribed by Mario Gomez Torrente and John Barker<ref>[http://webcache.googleusercontent.com/search?q=cache:y-DdYr9dhj8J:www.phil.uu.nl/~jjoosten/krip/notes/pschomps/Kripke-Frontmatter.ps+saul+kripke+the+road+to+godel&hl=en&ct=clnk&cd=5 cache:y-DdYr9dhj8J:www.phil.uu.nl/~jjoosten/krip/notes/pschomps/Kripke-Frontmatter.ps saul kripke the road to godel - Google Search<!-- Заголовок добавлен ботом -->]</ref>.
* 1999. «The Road to Gödel». (Read at Haifa University, Israel, 1999. Several transcripts exist.
* 2006. «From Church’s Thesis to the First Order Algorithm Theorem», Tel Aviv University, June 13, 2006<ref>{{cite web |title = Видео |url = http://www.vanleer.org.il/eng/videoShow.asp?id=317 |archive-url = https://web.archive.org/web/20080922181235/http://www.vanleer.org.il/eng/videoShow.asp?id=317 |archive-date = 2008-09-22 |url-status = dead }} и [http://portal.acm.org/citation.cfm?id=788022.789011 аннотация]</ref>.
* 2007. «Roundtable on Externalism» ([[Патнем, Хилари Уайтхолл|Hilary Putnam]], Tyler Burge, Saul Kripke, and Michael Devitt). University College Dublin, Ireland<ref>{{Cite web |url=http://www.ucd.ie/news/mar07/030507_Putnam_Award.htm |title=Подкаст |access-date=2010-11-10 |archive-date=2010-12-04 |archive-url=https://web.archive.org/web/20101204052653/http://www.ucd.ie/news/mar07/030507_Putnam_Award.htm |url-status=live }}</ref>.
* 2007. «The Collapse of the Hilbert Program». Indiana University, Presidential Lecture<ref>{{Cite web |url=http://broadcast.iu.edu/ceremon/celeb07/index.html |title=Видео лекции |access-date=2010-11-10 |archive-date=2011-07-19 |archive-url=https://web.archive.org/web/20110719213155/http://broadcast.iu.edu/ceremon/celeb07/index.html |url-status=live }}</ref>.
* 2008. «Mathematical Incompleteness Results in Peano Arithmetic, a Revisionist View of the Early History».

=== Интервью и статьи о Крипке в прессе ===
* «[http://select.nytimes.com/gst/abstract.html?res=F10A12F73F5A107B93C6A81783D85F438785F9&scp=1&sq=new%20frontiers%20in%20american%20philosophy&st=cse New Frontiers in American Philosophy]» by Taylor Branch, ''[[New York Times Magazine]]'', August 14, 1977.
* «{{cite web |title = Saul Kripke, Genius Logician |url = http://goinside.com/01/2/kripke.html |archive-url = https://web.archive.org/web/20101202065305/http://goinside.com/01/2/kripke.html |archive-date = 2010-12-02 |url-status = dead }}.» Interview by Andreas Saugstad, February 25, 2001.
* «[http://www.nysun.com/article/26585 Celebrating CUNY’s Genius Philosopher]» by Gary Shapiro, ''[[The New York Sun]]'', January 27, 2006.
* «[https://www.nytimes.com/2006/01/28/books/28krip.html Philosopher, 65, Lectures Not About 'What Am I?' but 'What Is I?']» by Charles McGrath, ''[[The New York Times]]'', January 28, 2006.
* "{{cite web |title = The Best Five Books on the Philosophy of Language» |url = http://fivebooks.com/interviews/scott-soames-on-philosophy-language |archive-url = https://web.archive.org/web/20101106025014/http://fivebooks.com/interviews/scott-soames-on-philosophy-language |archive-date = 2010-11-06 |url-status = dead }} by Scott Soames, October 15, 2010.

=== На русском языке ===
* ''Крипке С. А.'' 1) Теорема полноты в модальной логике; 2) Неразрешимость одноместного модального исчисления предикатов; 3) Семантический анализ модальной логики, ч. 1—2 // Фейс Р. Модальная логика. М., 1974. С. 223—323.
* ''Крипке С.'' Семантическое рассмотрение модальной логики // Семантика модальных и интенсиональных логик. М., 1981.
* ''Крипке С.'' Тождество и необходимость // Новое в зарубежной лингвистике. Вып. XIII. М., 1982.
* ''Крипке С.'' Загадка контекстов мнения // Новое в зарубежной лингвистике. Вып. XVIII. М., 1986.
* ''Крипке С. А.'' Витгенштейн о правилах и индивидуальном языке / Перевод В. Руднева // Логос. — 1999. — № 1. — С. 151—185.
* ''Крипке С. А.'' Витгенштейн о правилах и индивидуальном языке / Пер. В. А. Ладова, В. А. Суровцева. Под общ. ред. В. А. Суровцева. — Томск: Изд-во Том. ун-та, 2005. — 152 с. — (Библиотека аналитической философии). ISBN 5-7511-1906-1
* ''Крипке С.'' Витгенштейн о правилах и индивидуальном языке / Перевод В. А. Ладова, В. А. Суровцева / Под общей редакцией В. А. Суровцева. — М.: «Канон+» РООИ «Реабилитация», 2010. — 256 с.

== См. также ==
* [[Список персонажей сериала «Теория Большого взрыва»|Персонаж сериала «Теория Большого взрыва» Барри Крипке, считается, — оммаж Солу Крипке]]
* [[Падилья Гальвес, Хесус]]{{уточнить}}<!--есть ли связь?-->

== Примечания ==
{{примечания}}

== Литература ==
'''на русском языке'''
* [[Бессонов, Александр Владимирович|Бессонов А. В.]] Теория истины Крипке // [[Известия СО АН СССР]]. Серия общественных наук. — 1977. — Вып.1. — № 1. — С. 134—138.
* Дорофеев Г. Схема Крипке и тезис Чёрча в интуиционистском анализе // Третья всесоюзная конференция по математической логике. — Новосибирск, 1974.
* {{НФЭ||Крипке|[[Макеева, Лолита Брониславовна|Макеева Л. Б.]]|ссылка=https://iphlib.ru/library/collection/newphilenc/document/HASH019bdff2fd8c38808ba2579b}}
* {{БРЭ|автор=[[Макеева, Лолита Брониславовна|Макеева Л. Б.]]|ссылка=https://old.bigenc.ru/philosophy/text/2112501|том= 16|год=2010|страницы=36|ref=Макеева|статья=Крипке, Сол|архив=https://web.archive.org/web/20230103211928/https://bigenc.ru/philosophy/text/2112501|архив дата=2023-01-03}}
* Сериков А. Е. Бейкер и Хакер против Крипке: об актуальности старой дискуссии // Вестник Самарской гуманитарной академии. Серия «Философия. Филология». — 2010. — № 1(7). — С. 100—122.
* Хлебалин А. В. Проблема основания и условия решения парадокса Крипке // Философия: история и современность. 2004—2005. Сб. науч.тр. — Новосибирск-Омск, 2005. — С. 3-13.
'''на английском языке'''
* Consuelo Preti (2002), On Kripke. Wadsworth. ISBN 0-534-58366-0
* Christopher Hughes (2004), Kripke: Names, Necessity, and Identity. ISBN 0-19-824107-0.
* G.W. Fitch (2005), Saul Kripke. ISBN 0-7735-2885-7.
* Martin Kusch (2006), A sceptical Guide to Meaning and Rules. Defending Kripke’s Wittgenstein. Acumben: Publishing Limited.
* Arif Ahmed (2007), Saul Kripke. New York, NY; London: Continuum. ISBN 0-8264-9262-2.

{{Внешние ссылки}}
{{Лауреаты премии Рольфа Шока}}
{{rq|isbn|checktranslate}}

[[Категория:Лингвисты США]]
[[Категория:Семасиологи]]
[[Категория:Выпускники Центральной средней школы Омахи]]
[[Категория:Выпускники Гарвардского университета]]
[[Категория:Философы-аналитики]]
[[Категория:Математики по алфавиту]]
[[Категория:Математики США]]
[[Категория:Математики XX века]]
[[Категория:Математики XXI века]]
[[Категория:Члены Американского философского общества]]
[[Категория:Философы языка]]
[[Категория:Философы-метафизики]]
[[Категория:Логики США]]
[[Категория:Еврейские философы]]
[[Категория:Стипендиаты Гуггенхайма]]
[[Категория:Вундеркинды]]
[[Категория:Преподаватели Принстонского университета]]
[[Категория:Преподаватели Городского университета Нью-Йорка]]
[[Категория:Преподаватели Высшей школы и Университетского центра Городского университета Нью-Йорка]]
[[Категория:Лауреаты премии Рольфа Шока]]