Сол Крипке

Крипке внес значительный вклад в логику, особенно в модальную логику, когда еще был юношей. Что необычно для профессионального философа, Крипке имеет лишь академическую степень бакалавра, полученную им в Гарварде. Его работы оказали глубокое влияние на аналитическую философию, наиболее значительным его вкладом считается метафизическое описание модальности, включающее идею возможных миров как она объясняется в системе, называемой сейчас крипкевской семантикой. Другим его важным достижением является демонстрация того, что существуют необходимые апостериорные истины, такие как «Вода есть 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. . 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). "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). "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)
• 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
• 1984. «Lessons on Functionalism and Automata». (Delivered at the International Wittgenstein Symposium, 1984. Transcribed by Roderick Chisholm.
• 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).
• 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".
• 1999. «The Road to G?del». (Read at Haifa University, Israel, 1999. Several transcripts exist.
• 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.
• Крипке С. А. Витгенштейн о правилах и индивидуальном языке / Перевод В. Руднева // Логос. — 1999. — № 1. — С. 151—185.
• Крипке С. А. Витгенштейн о правилах и индивидуальном языке / Пер. В. А. Ладова, В. А. Суровцева. Под общ. ред. В. А. Суровцева. — Томск: Изд-во Том. ун-та, 2005. — 152 с. — (Библиотека аналитической философии). ISBN 5-7511-1906-1
• Крипке С. Витгенштейн о правилах и индивидуальном языке / Перевод В. А. Ладова, В. А. Суровцева / Под общей редакцией В. А. Суровцева. — М.: «Канон+» РООИ «Реабилитация», 2010. — 256 с.