{{위키데이터 속성 추적}}
{{철학자 정보
|이름       = 사울 아론 크립키
|현지어표기 = Saul Aaron Kripke
|그림       = Kripke.JPG
|지역       = [[서양 철학]]
|시대       = [[현대 철학]]
|출생일     = 1940년 11월 13일
|출생지     = 미국 [[뉴욕주]] 베이쇼어({{llang|en|Bay Shore}})
|사망일     = {{사망일과 나이|2022|9|15|1940|11|13}}
|사망지     = 
|학파       = [[분석철학]]
|분야       = [[기호논리학]], [[언어철학]], [[집합론]]
|업적       = [[양상 논리]]<br />[[크립키 의미론]]<br />[[언어철학|언어 지시 이론]]<br />[[비트겐슈타인]] 분석<br />[[크립키 구조]]
|서훈       = Rolf Schock Prize in Logic and Philosophy (2001년)
|소속기관   = [[프린스턴 대학]]<br />[[뉴욕시립대학교 대학원|뉴욕시립대 대학원 연구소]]
|영향받음   = [[고틀로프 프레게]]<br />[[루트비히 비트겐슈타인]]<br />[[알프레트 타르스키]]<br />[[윌러드 밴 오먼 콰인]]<br />[[앨런 튜링]]
|영향줌     = [[힐러리 퍼트넘]]
}}

'''솔 에런 크립키'''({{llang|en|Saul Aaron Kripke}}, {{IPA-en|sɔːl ˈɛɹ.ən ˈkrɪpki}}, [[1940년]] [[11월 13일]]~[[2022년]] [[9월 15일]])는 [[미국]]의 [[철학자]]이자 [[논리학자]]이다. [[수리논리학]]과 [[언어철학]]에 기여하였다.

== 생애 ==
[[뉴욕주]] 베이쇼어({{llang|en|Bay Shore}})에서 [[유대인]] 가정의 1남 2녀 가운데 장남으로 태어났다. 아버지는 [[랍비]] 마이어 크립키({{llang|en|Myer S. Kripke}})였으며, 어머니는 도로시 크립키({{llang|en|Dorothy K. Kripke}})였다. 두 여동생의 이름은 매들린({{llang|en|Madeline}})과 네타({{llang|en|Netta}})였다.

6세에 이미 [[고대 히브리어]]를 읽을 수 있었고, 9세에 [[윌리엄 셰익스피어]] 전집을 독파하였고, [[초등학교]]에 입학하기 이전에 이미 [[르네 데카르트]]의 수학적 저술을 읽었다. 17세에 [[양상 논리]]의 완전성 정리를 증명하였고, 18세에 출판하였다.

1958년에 고등학교를 졸업하였고, [[하버드 대학교]]에 입학하여 수학을 전공하였고, 전교 수석({{llang|la|summa cum laude}})으로 졸업하였다. 하버드 학부 2학년 동안에는 인근의 [[매사추세츠 공과대학교]]에서 [[논리학]] 대학원 과정을 강의하기도 하였다.

이후 [[하버드 대학교]]에서 강의하다가 1967년 [[록펠러 대학교]]로 이전하였다. 1977년에 [[프린스턴 대학교]] 정교수로 임용되었다. 2002년에 [[뉴욕 시립 대학교]]에서 강의하기 시작하였고, 2003년에 철학 석좌 교수({{llang|en|distinguished professor of philosophy}})가 되었다. 뉴욕 시립 대학교에서는 크립키의 업적을 연구·보존하는 솔 크립키 센터({{llang|en|Saul Kripke Center}})가 창립되었다.

== 주요 업적 ==
크립키의 주요 업적은 다음과 같다.
* [[양상 논리]]와 [[직관 논리]]의 의미론을 정의하는 [[크립키 의미론]]을 정의하였다.
* 《이름과 필연》({{llang|en|Naming and Necessity}})에서 [[언어철학]]의 새로운 이론을 제시하였다.
* 《비트겐슈타인: 규칙과 사적 언어》({{llang|en|Wittgenstein on Rules and Private Language}})에서, [[루트비히 비트겐슈타인]]의 《[[철학 탐구]]》의 독창적인 해석을 제시하였다. 이 해석은 통상적으로 비트겐슈타인 자신의 관점과는 다르지만, 그래도 철학적으로 매우 흥미로운 관점으로 여겨지며, 비트겐슈타인 본인과 구별하기 위해 보통 '''크립켄슈타인'''({{llang|en|Kripkenstein}})으로 불린다. 이는 크립키와 비트겐슈타인의 합성어이다.
* 《진리 이론의 개략》({{llang|en|Outline of a Theory of Truth}})에서 [[타르스키 증명 불가능성 정리]]({{llang|en|Tarski undefinability theorem}})를 피해, 스스로의 진리의 정의를 포함하는 형식적 언어의 예를 제시하였다.
* [[집합론]]에서는 [[크립키-플레이텍 집합론]]({{llang|en|Kripke–Platek set theory}})을 도입하였다.

== 저작 ==
=== 저서 ===
* ''Naming and Necessity''. Cambridge, Mass.: Harvard University Press. {{ISBN|0-674-59845-8}} and reprints 1972.
** {{서적 인용|이름=솔|성=크립키|기타=정대현·김영주 역|제목=이름과 필연|출판사=필로소픽|날짜=2014-06-20|isbn=978-89-9804547-0|언어=ko}}
* ''Wittgenstein on Rules and Private Language: an Elementary Exposition''. Cambridge, Mass.: Harvard University Press, 1982. {{ISBN|0-674-95401-7}}.
** {{서적 인용|제목=비트겐슈타인: 규칙과 사적 언어 |이름=솔 A.|성=크립키|기타=남기창 역|출판사=철학과현실사|날짜=2008-03-15|isbn=978-89-7775653-3|언어=ko}}
* ''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.&nbsp;162.
* 1964. "Transfinite Recursions on Admissible Ordinals, II" (abstract), ''The Journal of Symbolic Logic'', Vol. 29, No. 3, p.&nbsp;162.
* 1964. "Admissible Ordinals and the Analytic Hierarchy" (abstract), ''The Journal of Symbolic Logic'', Vol. 29, No. 3, p.&nbsp;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.&nbsp;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.&nbsp;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.&nbsp;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.&nbsp;556.
* 1976. "A Theory of Truth II. Preliminary Report," abstract, ''Journal of Symbolic Logic'', Vol. 41, No. 2, pp.&nbsp;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 [http://web.gc.cuny.edu/philosophy/events/kripke_conference.htm 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 [http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3 here] {{웨이백|url=http://www1.cuny.edu/portal_ur/news/radio/podcast/lecture_143.mp3 |date=20151125182007 }}.
* 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.

== 같이 보기 ==
* [[미국 철학]]
== 참고 문헌 ==
* Taylor Branch (1977), "New Frontiers in American Philosophy: Saul Kripke". ''New York Times Magazine''.
* Nathan Salmon (1981), ''Reference and Essence''. {{ISBN|1-59102-215-0}} {{ISBN|978-1-59102-215-2}}.
* Consuelo Preti (2002), ''On Kripke''. Wadsworth. {{ISBN|0-534-58366-0}}.
* Scott Soames (2002), ''Beyond Rigidity: The Unfinished Semantic Agenda of Naming and Necessity''. {{ISBN|0-19-514529-1}}.
* 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}}.
* Christopher Norris (2007), ''Fiction, Philosophy and Literary Theory: Will the Real Saul Kripke Please Stand Up?'' London: Continuum

== 외부 링크 ==
{{포털|철학}}
* {{위키공용분류-줄}}
* [http://web.gc.cuny.edu/philosophy/people/kripke.html CUNY Graduate Center Philosophy Department faculty page] {{웨이백|url=http://web.gc.cuny.edu/philosophy/people/kripke.html |date=20090930190953 }}
* [http://kripkecenter.commons.gc.cuny.edu The Saul Kripke Center, at the CUNY Graduate Center]
* {{MathGenealogy|id=13743|title=Saul Aaron Kripke}}

{{분석 철학}}
{{인식론}}

{{전거 통제}}
{{기본정렬:크립키, 솔}}

[[분류:1940년 출생]]
[[분류:2022년 사망]]
[[분류:미국의 논리학자]]
[[분류:프린스턴 대학교 교수]]
[[분류:하버드 대학교 동문]]
[[분류:루트비히 비트겐슈타인]]
[[분류:수리철학자]]
[[분류:형이상학자]]
[[분류:양상]]
[[분류:리투아니아계 미국인]]
[[분류:20세기 수필가]]
[[분류:21세기 수필가]]
[[분류:20세기 철학자]]
[[분류:21세기 철학자]]
[[분류:미국의 철학자]]
[[분류:리투아니아 유대계 미국인]]