索尔·克里普克(Saul Aaron Kripke, 1940—)，国际知名的逻辑学家和哲学家。他是普林斯顿大学荣誉退休教授，目前任纽约城市大学研究生中心杰出哲学教授。美国文理科学院院士(1978—)，英国科学院通讯院士(1985—)，欧洲文理科学院院士(1993—)，挪威科学院院士(2000—)，2001年获瑞典皇家科学院颁发的Schock Prize，后者被誉为逻辑学和哲学领域的“诺贝尔奖”。此外，获得多所大学的名誉博士学位。克里普克被誉为20世纪后半期最伟大的逻辑学家和分析哲学家之一，在哲学家中最近进行的一项民意调查中，他位列过去200年间最重要的哲学家的第七位，在世者第一位：http://leiterreports.typepad.com/blog/2009/03/so-who-is-the-most-important-philosopher-of-the-past-200-years.html
一、生平
克里普克出生于美国纽约州一个犹太人家庭。他是一位少年奇才，6岁时自学希伯莱文，9岁时读完莎士比亚的所有著作。他在数学方面显示出罕见的天赋。在小学时自学几何和微积分，并靠直觉而不诉诸任何几何符号推导出几何方面的结果。读高中时，他进入数理逻辑领域，并向专业数学会议提交论文。在高中阶段、年仅16岁时，他写了一篇论文《模态逻辑的完全性定理》，寄送到普林斯顿大学审查，有关教授认为是一篇非常优秀的博士论文，邀请他到该校工作。据称，克里普克回信说：“您的提议使我倍感荣幸，但我妈妈说我必须先读完高中。”该文被推荐到逻辑学顶尖刊物《符号逻辑杂志》（1959年第1期）上作为首篇论文发表，时年18岁。在该文发表前一年，克里普克进入哈佛大学数学系学习。作为二年级学生，应邀给麻省理工学院的研究生讲授高等逻辑课程。1962年大学毕业获学士学位后，未再读任何学位。1962—68年间，在哈佛大学任教，先任初级研究员，后任讲师。1968—76年在洛克菲勒大学任教，讲授逻辑学和哲学。1973年，应邀在牛津大学做声誉卓著的“约翰•洛克讲演”，共6次，题为《指称和存在》。1977—98年，一直任普林斯顿大学麦考什哲学教授；1999年辞职退休，现为该校荣誉教授。2001年，获得由瑞典科学院颁发的逻辑学和哲学领域的肖克奖（Schock Prize），被认为相当于该领域的“诺贝尔奖”。2002年开始在纽约城市大学研究生中心任教，2003年被聘为该校杰出哲学教授。2006年该校成立克里普克中心，该中心正创建一个保存克里普克作品的数字档案馆，包括可以追溯到1970年的讲座和研讨会录音，以及可以追溯到1950年的讲义、手稿以及哲学和数学方面的信函等。
二、学术贡献
克里普克的学术贡献涉及数理逻辑、语言哲学、形而上学、知识论、维特根斯坦研究和心灵哲学等众多领域，在他涉足的几乎每一个领域和论题上，其研究成果都产生了非常广泛和深刻的影响。
1．逻辑学和集合论
在其中学时期所写的那篇论文以及后来的几篇论文中，克里普克为当时处于激烈争论中的模态逻辑创立了一种语义理论，后被称为“克里普克语义学”，亦称“可能世界语义学”。由于这一语义理论的创立，模态逻辑成为一个成熟的逻辑分支，甚至在当代逻辑学中取得了某种“新经典逻辑”的地位。正规模态逻辑系统都是模态逻辑系统K的扩张， 其中K系统和K公理均因克里普克而得名。他还把这一语义理论应用到直觉主义逻辑等分支中，得到了一些重要结果。在集合论和超穷递归论等领域，他也做了一些重要工作。
2. 《命名和必然性》
1970年，克里普克在普林斯顿大学发表了三次系列讲演，1972年先以“命名和必然性”为题作为论文发表，1980年出版同名单行本，但加写了长篇序言。在这些讲演中，克里普克批判了弗雷格和罗素等人所主张的关于名称的描述理论，提出了一种新的历史的因果命名理论。该理论认为，名称（至少是一部分名称）只有指称而无涵义，专名和通名都是严格指示词，在所有可能世界内指称同样的个体或类，假如这些个体或类在这些可能世界中存在的话；命名活动不是依据名称的涵义，而是依据名称与某个命名活动的历史因果联系，即依据人们对某些有关的历史事件及其因果影响的了解。一个名称的所指是由与使用该名称有关的社会历史传递链条决定的。基于这种严格指示词理论，克里普克提出，“必然--偶然”是形而上学区分，“先验--后验”是认识论区分，而“分析--综合”是语言哲学区分，不能将这三种区分等同起来，相反存在“先验偶然命题”和“后天必然命题”。这些说法突破了自康德以来关于这三对范畴的主流意见，有非常重要的意义。同样基于这种严格指示词理论，克里普克发展了一种新型的本质主义学说：一个事物的本质就是它在所有可能世界中都具有的属性：个体的本质是该个体的因果起源，人工产品的本质是其物质构成，自然种类的本质是其