Сол Аарон Крипке (англ. 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-летию Сола Крипке, на которой он прочел лекцию «Первое лицо» о значении и референции местоимения «Я».

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

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

Награды

• Прогремма Фулбрайт (1962—1963)
• Гарвардское общество стипендиатов, Гарвардский университет (1963—1966).
• Доктор гуманитарных наук, почетная степень, Университет Небраски, 1977.
• Действительный член, Американская академия искусств и наук (1978-).
• Член-корреспондент, Британская академия (1985-).
• Награда Говарда Бермана, Принстонский универстет, 1988.
• Действительный член, Academia Scientiarum et Artium Europaea (1993-).
• Доктор гуманитарных наук, почетная степень, Университет Джона Хопкинса, 1997.
• Доктор гуманитарных наук, почетная степень, Университет Хайфы, Израиль, 1998.
• Действительный член, Норвежская академия наук (2000-).
• Премия Рольфа Шока по логике и философии, Шведская королевская академия наук, 2001.
• Доктор гуманитарных наук, почетная степень, Университет Пенсильвании, 2005.
• Действительный член, Американское философское общество (2005-).

Сочинения

Книги

• 1980. Naming and Necessity. Cambridge, Mass.: Harvard University Press. ISBN 0-674-59845-8 and reprints 1972.
• 1982. Wittgenstein on Rules and Private Language: an Elementary Exposition. Cambridge, Mass.: Harvard University Press. ISBN 0-674-95401-7. Sets out his interpretation of Wittgenstein aka Kripkenstein.
• Forthcoming. Collected Papers, Vol. I. New York: Oxford University Press.

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

• 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.
• (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» (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».

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

• «New Frontiers in American Philosophy» by Taylor Branch, New York Times Magazine, August 14, 1977.
• «Saul Kripke, Genius Logician.» Interview by Andreas Saugstad, February 25, 2001.
• «Celebrating CUNY’s Genius Philosopher» by Gary Shapiro, The New York Sun, January 27, 2006.
• «Philosopher, 65, Lectures Not About 'What Am I?' but 'What Is I?'» by Charles McGrath, The New York Times, January 28, 2006.
• «The Best Five Books on the Philosophy of Language» by Scott Soames, October 15, 2010.

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

• Крипке С. А. Витгенштейн о правилах и индивидуальном языке / Перевод В. Руднева // Логос. — 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.

Примечания