솔 크립키

영향줌 = 힐러리 퍼트넘 **솔 에런 크립키**(Saul Aaron Kripke, sɔːl ˈɛɹ.ən ˈkrɪpki, 1940년 11월 13일~2022년 9월 15일)는 미국의 철학자이자 논리학자이다. 수리논리학과 언어철학에 기여하였다.
# 생애
뉴욕주 베이쇼어(Bay Shore)에서 유대인 가정의 1남 2녀 가운데 장남으로 태어났다. 아버지는 랍비 마이어 크립키(Myer S. Kripke)였으며, 어머니는 도로시 크립키(Dorothy K. Kripke)였다. 두 여동생의 이름은 매들린(Madeline)과 네타(Netta)였다. 6세에 이미 고대 히브리어를 읽을 수 있었고, 9세에 윌리엄 셰익스피어 전집을 독파하였고, 초등학교에 입학하기 이전에 이미 르네 데카르트의 수학적 저술을 읽었다. 17세에 양상 논리의 완전성 정리를 증명하였고, 18세에 출판하였다. 1958년에 고등학교를 졸업하였고, 하버드 대학교에 입학하여 수학을 전공하였고, 전교 수석(summa cum laude)으로 졸업하였다. 하버드 학부 2학년 동안에는 인근의 매사추세츠 공과대학교에서 논리학 대학원 과정을 강의하기도 하였다. 이후 하버드 대학교에서 강의하다가 1967년 록펠러 대학교로 이전하였다. 1977년에 프린스턴 대학교 정교수로 임용되었다. 2002년에 뉴욕 시립 대학교에서 강의하기 시작하였고, 2003년에 철학 석좌 교수(distinguished professor of philosophy)가 되었다. 뉴욕 시립 대학교에서는 크립키의 업적을 연구·보존하는 솔 크립키 센터(Saul Kripke Center)가 창립되었다.
# 주요 업적
크립키의 주요 업적은 다음과 같다. * 양상 논리와 직관 논리의 의미론을 정의하는 크립키 의미론을 정의하였다. * 《이름과 필연》(Naming and Necessity)에서 언어철학의 새로운 이론을 제시하였다. * 《비트겐슈타인: 규칙과 사적 언어》(Wittgenstein on Rules and Private Language)에서, 루트비히 비트겐슈타인의 《철학 탐구》의 독창적인 해석을 제시하였다. 이 해석은 통상적으로 비트겐슈타인 자신의 관점과는 다르지만, 그래도 철학적으로 매우 흥미로운 관점으로 여겨지며, 비트겐슈타인 본인과 구별하기 위해 보통 **크립켄슈타인**(Kripkenstein)으로 불린다. 이는 크립키와 비트겐슈타인의 합성어이다. * 《진리 이론의 개략》(Outline of a Theory of Truth)에서 타르스키 증명 불가능성 정리(Tarski undefinability theorem)를 피해, 스스로의 진리의 정의를 포함하는 형식적 언어의 예를 제시하였다. * 집합론에서는 크립키-플레이텍 집합론(Kripke–Platek set theory)을 도입하였다.
# 저작

## 저서
* *Naming and Necessity*. Cambridge, Mass.: Harvard University Press. and reprints 1972. ** 언어=ko * *Wittgenstein on Rules and Private Language: an Elementary Exposition*. Cambridge, Mass.: Harvard University Press, 1982. . ** 언어=ko * *Philosophical Troubles. Collected Papers Vol. 1*. New York: Oxford University Press, 2011. * *Reference and Existence. The John Locke Lectures*. New York: Oxford University Press, 2013.
## 주요 논문
* 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. * 1975. "Outline of a Theory of Truth", *Journal of Philosophy* 72:690–716. Reprinted in *Philosophical Troubles. Collected Papers Vol. I*, Oxford University Press. 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.Reprinted in *Philosophical Troubles. Collected Papers Vol. I*, Oxford University Press. * 1979. "A Puzzle about Belief", In *Meaning and Use*, edited by A. Margalit. Dordrecht and Boston: Reidel.Reprinted in *Philosophical Troubles. Collected Papers Vol. I*, Oxford University Press. * 1982. "Nonstandard Models of Peano Arithmetic" (with S. Kochen), in *Logic and Algorithmics: International Symposium Held in Honor of Ernst Specker*, H. Läuchli (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. Reprinted in *Philosophical Troubles. Collected Papers Vol. I*, Oxford University Press. * 2008. "Frege's Theory of Sense and Reference: Some Exegetical Notes," *Theoria* 74:181-218. Reprinted in *Philosophical Troubles. Collected Papers Vol. I*, Oxford University Press. * 2009. "Presupposition and Anaphora: Remarks on the formulation of the projection problem," *Linguistic Inquiry* 40(3):367-386.Reprinted in *Philosophical Troubles. Collected Papers Vol. I*, Oxford University Press. * 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. The videos "The First Person" and "Questions and Answers" in which the paper is based are available here. * 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. Podcast of the talk available here url=https://web.archive.org/web/20151125182007/http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3. * 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.