Крипке, Сол Аарон

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Сол Крипке
Kripke.JPG
Дата рождения:

13 ноября 1940({{padleft:1940|4|0}}-{{padleft:11|2|0}}-{{padleft:13|2|0}}) (73 года)

Школа/традиция:

Аналитическая философия

Направление:

Западная философия

Период:

XX век

Основные интересы:

Логика (в частности модальная логика), Философия языка

Значительные идеи:

Causal theory of reference, Kripkenstein

Оказавшие влияние:

Фреге, Бертран Рассел, Альфред Тарский, Людвиг Витгенштейн

Сол Аарон Крипке (англ. Saul Aaron Kripke; род. 13 ноября 1940) — американский философ и логик. Является почётным профессором Гарвардского университета, работает в качестве заслуженного профессора Высшей школы и Университетского центра Городского университета Нью-Йорка. С 1960-х годов стал центральной фигурой таких областей как математическая логика, философия языка, философия математики, метафизика, эпистемология, теория множеств.

Большая часть его работ остаётся неопубликованной, существует лишь в виде аудиозаписей или в виде рукописей, распространяемых лично (см. раздел «Неопубликованные рукописи и онлайн-лекции»). Крипке получил премию Рольфа Шока по философии и логике в 2001 году. Согласно недавнему опросу, Крипке входит в десятку наиболее важных философов последних 200 лет.

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

Биография[править | править исходный текст]

Сол Крипке родился старшим из троих детей Дороти Крипке и Майера Крипке, раввина синагоги «Бет Эль», единственной консервативной конгрегации в Омахе, штат Небраска. Мать писала образовательные книги для еврейских детей. Сол и две его сестры, Мэделин и Нэтта, посещали Начальную школу Дайди в Омахе и Высшую центральную школу Омахи. Сол был весьма одаренным ребенком. В возрасте шести лет он самостоятельно выучил древнееврейский язык. К девяти годам он прочёл все сочинения Шекспира, изучил философию Декарта и (работая совершенно самостоятельно) разрешил ряд сложных проблем в геометрии, алгебре и математическом анализе. В семнадцать лет он доказал свою первую теорему о полноте модальной логики (и опубликовал этот результат когда ему было восемнадцать лет). После окончания высшей школы в 1958 году он поступил в Гарвардский университет, который окончил с sum cum laude дипломом бакалавра по математике. У Крипке нет каких-либо других академических степеней. На втором году обучения Крипке вел курс по логике в Массачусетском технологическом институте.

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

Крипке получил почетные степени в Университете Небраски, Университете Джона Хопкинса (1997), Университете Хайфы (1998) и Университете Пенсильвании (2005). Он является членом Американского философского общества. Крипке также был избран в качестве члена Американской академии искусств и наук и членом-корреспондентом Британской академии. В 2001 году он получил премию Рольфа Шока по логике и философии.

Работа[править | править исходный текст]

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

Наиболее значительный вклад Крипке в философию состоит в следующем:

  1. Семантика Крипке для модальной логики, построенная им в ряде работ, опубликованных в то время, когда Крипке был еще юношей.
  2. Его лекции «Именование и необходимость» 1970 года, прочитанные в Принстонском университете (опубликованы в 1972 и 1980 годах) значительно перестроили философию языка и, как некоторые считают, «сделали занятие метафизикой снова респектабельным».
  3. Его интерпретация философии Витгенштейна.
  4. Его теория истины.

Он также внёс вклад в теорию множеств (см. допустимый ординал и теория множеств Крипке-Платека).




Значение «Я»[править | править исходный текст]

В январе 2006 года в Высшей школы и Университетского центра Городского университета Нью-Йорка прошла конференция, посвященная 65-летию Сола Крипке, на которой он прочел лекцию «Первое лицо» о значении и референции местоимения «Я».

Философия[править | править исходный текст]

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

Религиозные взгляды[править | править исходный текст]

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

Награды[править | править исходный текст]

Сочинения[править | править исходный текст]

Книги[править | править исходный текст]

Статьи и тезисы[править | править исходный текст]

  • 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.
  • (Forthcoming). "The First Person, " Collected Papers Vol. I, Oxford University Press. The videos «The First Person» and «Questions and Answers» in which the paper is based are available here (недоступная ссылка с 13-05-2013 (338 дней) — история).
  • (Forthcoming). "Two Paradoxes of Knowledge, " Collected Papers Vol. I, Oxford University Press.
  • (Forthcoming). "Nozick on Knowledge, " Collected Papers Vol. I, Oxford University Press.
  • (Forthcoming). "A Puzzle about Time and Thought, " Collected Papers Vol. I, Oxford University Press.
  • (Forthcoming). "Vacuous Names and Fictional Entities, " Collected Papers Vol. I, Oxford University Press.
  • (Forthcoming). "Unrestricted Exportation and Some Morals for the Philosophy of Language, " Collected Papers Vol. I, Oxford University Press. Podcast of the talk available here.
  • (Forthcoming). "Another Approach: The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem, " in Computability: Gödel, Turing, 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. Discussed here.
  • 197-. «On The Completeness and Decidability of Intuitionistic Propositional Logic».
  • 1978. «Time and Identity». Seminar given at Princeton University, 1978. Several versions of this material have circulated. Some of its ideas are discussed by Ted Sider in his book Four-Dimensionalism: An Ontology of Persistence and Time
  • 19- «Non-Standard Models and Godel’s Theorem: A Model-Theoretic Proof of Godel’s Theorem». Summary by Hilary Putnam.
  • 1984. «Lessons on Functionalism and Automata». (Delivered at the International Wittgenstein Symposium, 1984. Transcribed by Roderick Chisholm.[1]
  • 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. See here.
  • 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. Index available here.
  • 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. Video available here and abstract available here.
  • 2007. «Roundtable on Externalism» (Hilary Putnam, Tyler Burge, Saul Kripke, and Michael Devitt). University College Dublin, Ireland. Podcast available here.
  • 2007. «The Collapse of the Hilbert Program». Indiana University, Presidential Lecture. Video available here.
  • 2008. «Mathematical Incompleteness Results in Peano Arithmetic, a Revisionist View of the Early History».

Интервью и статьи о Крипке в прессе[править | править исходный текст]

На русском языке[править | править исходный текст]

  • Крипке С. А. 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 с.

См. также[править | править исходный текст]

  • Априори
  • Падилья Гальвес, Хесус
  • Дорофеев Г.Схема Крипке и тезис Черча в интуиционистском анализе //Третья всесоюзная конференция по математической логике. Новосибирск, 1974.
  • Бессонов А. В. Теория истины Крипке //Известия СО АН СССР.Серия общественных наук.1977. Вып.1.№ 1.С.134-138.
  • Хлебалин А. В. Проблема основания и условия решения парадокса Крипке //Философия: история и современность.2004-2005. Сб. науч.тр. Новосибирск-Омск, 2005. С.3-13.
  • Сериков А. Е. Бейкер и Хакер против Крипке: об актуальности старой дискуссии //Вестник Самарской гуманитарной академии. Серия «Философия. Филология», 2010, № 1(7). С.100-122.
  • 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.

Примечания[править | править исходный текст]

  1. Edward P. Stabler, "«Kripke on functionalism and automata», Synthese, Vol. 70 No. 1 (1987).