据知名哲学媒体努斯日报（Nous Daily）消息，美国著名哲学家和逻辑学家，模态逻辑语义学创始人之一、指称因果-历史论首倡者之一，普林斯顿大学荣休教授、纽约城市大学研究生中心杰出哲学教授索尔·阿伦·克里普克（Saul Aaron Kripke）于当地时间9月15日去世，享年82岁。

据北京大学哲学系的“哲学家小传”（陈波教授撰写）介绍，索尔·克里普克(Saul Aaron Kripke, 1940—2022)，国际知名的逻辑学家和哲学家。他是普林斯顿大学荣誉退休教授，目前任纽约城市大学研究生中心杰出哲学教授。美国文理科学院院士(1978—)，英国科学院通讯院士(1985—)，欧洲文理科学院院士(1993—)，挪威科学院院士(2000—)，2001年获瑞典皇家科学院颁发的肖克奖（Schock Prize），后者被誉为逻辑学和哲学领域的“诺贝尔奖”。此外，获得多所大学的名誉博士学位。克里普克被誉为20世纪后半叶最伟大的逻辑学家和分析哲学家之一，在2009年进行的一项对西方哲学家中进行的调查中，他位列过去200年间最重要的哲学家的第七位，仅次于德国哲学家黑格尔（第六位），位列尼采（第八位）之前，也是所有在世哲学家的第一位。

2012年8月30日—9月9月克里普克教授曾访问北京大学，并发表了两次演讲。

克里普克于1940年出生在美国纽约州一个犹太人家庭。他是一位少年奇才，6 岁时自学希伯莱文，9 岁时读完莎士比亚的所有著作。他在数学方面显示出罕见的天赋。在小学时自学几何和微积分，并靠直觉而不诉诸任何几何符号推导出几何方面的结果。读高中时，他进入数理逻辑领域，并向专业数学会议提交论文。在年仅 16 岁时，他写了一篇论文《模态逻辑的完全性定理》，寄送到哈佛大学数学系审查，有关教授认为是一篇非常优秀的博士论文，邀请他毕业后到该校工作。据称，克里普克回信说：“您的提议使我倍感荣幸，但我妈妈说我必须先读完高中。”该文被推荐到逻辑学顶尖刊物《符号逻辑杂志》（1959 年第 1 期）上作为首篇论文发表，时年 18 岁。在该文发表前一年，克里普克进入哈佛大学数学系学习。作为二年级学生，应邀给麻省理工学院（紧邻哈佛）的研究生讲授高等逻辑课程。

1962 年大学毕业获学士学位后，未再读任何学位。1962—68 年间，在哈佛大学任教，先任初级研究员，后任副教授。1968—76 年在洛克菲勒大学任教，1972 年任教授，讲授逻辑学和哲学。1973 年，应邀在牛津大学做声誉卓著的“约翰·洛克讲演”，共 6次，题为《指称和存在》。1977—98 年，一直任普林斯顿大学麦考什哲学教授；1999 年辞职退休，现为该校荣誉教授。2001 年，获得由瑞典科学院颁发的肖克奖（Schock Prize），被认为相当于逻辑学和哲学领域的“诺贝尔奖”。2002 年开始在纽约城市大学研究生中心任教，2003 年被聘为该校杰出哲学教授。2006 年该校成立克里普克中心，该中心正创建一个保存克里普克作品的数字档案馆，包括可以追溯到 1970 年的讲座和研讨会录音，以及可以追溯到 1950 年的讲义、手稿以及哲学和数学方面的信函等。

克里普克的学术贡献涉及数理逻辑、语言哲学、形而上学、知识论、维特根斯坦研究和心灵哲学等众多领域，在他涉足的几乎每一个领域和论题上，其研究成果都产生了非常广泛和深刻的影响。

克里普克在哲学领域建树颇多，包括克里普克语义、克里普克真值理论等。他对维特根斯坦的解读也影响较大。克里普克发表于1972年的《命名与必然性》（Naming and Necessity）一书，乃是由作者在普林斯顿大学的三次演讲汇编而成，直接挑战了罗素和弗雷格的逻辑理论，对于当代逻辑学的发展产生了深远影响。

1．逻辑学和集合论

在其中学时期所写的那篇论文以及后来的几篇论文中，克里普克为当时处于激烈争论 中的模态逻辑创立了一种语义理论，后被称为“克里普克语义学”，亦称“可能世界语义 学”。由于这一语义理论的创立，模态逻辑成为一个成熟的逻辑分支，甚至在当代逻辑学 中取得了某种“新经典逻辑”的地位。正规模态逻辑系统都是模态逻辑系统 K 的扩张， 其中 K 系统和 K 公理均因克里普克而得名。他还把这一语义理论应用到直觉主义逻辑等 分支中，得到了一些重要结果。在集合论和超穷递归论等领域，他也做了一些重要工作。仅凭这些工作，他在学术史上就将占有重要地位。

2. 《命名和必然性》

1970 年，克里普克在普林斯顿大学发表了 3 次系列讲演，1972 年先以“命名和必然 性”为题作为论文发表，1980 年出版同名单行本，但加写了长篇序言。在这些讲演中， 克里普克批判了弗雷格和罗素等人所主张的关于名称的描述理论，提出了一种新的历史的 因果命名理论。

该理论认为，名称（至少是一部分名称）只有指称而无涵义，专名和通名 都是严格指示词，在所有可能世界内指称同样的个体或类，假如这些个体或类在这些可能 世界中存在的话；命名活动不是依据名称的涵义，而是依据名称与某个命名活动的历史因 果联系，即依据人们对某些有关的历史事件及其因果影响的了解。一个名称的所指是由与 使用该名称有关的社会历史传递链条决定的。基于这种严格指示词理论，克里普克提出， “必然--偶然”是形而上学区分，“先验--后验”是认识论区分，而“分析--综合”是语言 哲学区分，不能将这三种区分等同起来，相反存在“先验偶然命题”和“后天必然命 题”。这些说法突破了自康德以来关于这三对范畴的主流意见，有非常重要的意义，当然 也引起了激烈的争论。同样基于这种严格指示词理论，克里普克发展了一种新型的本质主 义学说：一个事物的本质就是它在所有可能世界中都具有的属性：个体的本质是该个体的 因果起源，人工产品的本质是其物质构成，自然种类的本质是其内部结构。这些说法复活 了在现代哲学中受到猛烈攻击的形而上学研究和本质主义学说。他还把严格指示词理论应 用于心灵哲学领域，提出论证去反对心身同一论，也产生了很大的影响。有这样的说法：《命名和必然性》产生了一个“真实可见的哲学工业”，各种诠释、赞同、批评、争辩、 反驳它的论著如雨后春笋般出现。在弗雷格-罗素的描述论和克里普克-普特南的直接指称 论之间的论战，构成了 20 世纪语言哲学和形而上学等领域中最重要的内容。

3.《维特根斯坦论规则和私人语言》（1982 年，专著） 该书对维特根斯坦的的《哲学研究》诠释和批评基本上出于误解，后来的学者生造了 一个词，将该书所说的“Wittgenstein”（维特根斯坦）称为“Kripkeanstein”（克里普克 斯坦）。但克里普克却由此提出了有关下面一点的怀疑论问题：关于语言意义的知识是否 能够归结为遵守规则？或者能否归结为有关说话者的任何客观的事实？虽然克里普克本人 在这一点上没有得出任何结论，但他的讨论却被广泛地解释为是对用纯自然主义的术语解 释意义的企图的严重挑战。该书被认为是 1980 年代以来关于维特根斯坦的“最有影响力 和被广泛讨论的”著作。

4. 《一种真理论的概要》（论文，1975 年） 克里普克阐述了一种新的真理理论以及基于这种理论之上的悖论解决方案。他提出 “有根性”或一个语言的“不动点”（或“固定点）的概念，认为一个断定了某类句子的 全部、部分、大部分等等为真或为假的句子，其真值可通过鉴定该类句子的真值来确定。如果这类句子中有的句子本身又包含真假概念，则它们的真值又必须通过考察另外的句子 来鉴定，依此类推。如果最后这个过程终止于一些不提真假概念的句子（这句子叫做包含 它的那个语言的一个不动点），使得能够确定原句子的真值，那么，原句子就叫做有根 的，否则是无根的。他认为，导致悖论的句子都是无根的：有意义，但无真假可言。他还 指出，一句子是否有根不是句子的内在固有的（语法或语义的）性质，通常都依赖于经验 事实。他还使用现代逻辑和集合论的手段，发展了一个形式理论，可在其中给出有根性的 形式定义并区分出悖论性。此文被认为是继 20 世纪 40 年代波兰逻辑学家塔斯基（Alfred Tarski）的形式语义学以来最重要的工作之一。

克里普克的另外几篇论文，如《说话者指称和语义学指称》（1977）、《关于信念的疑难》（1977）、《弗雷格的涵义和指称理论：一些解释性评注》（2008）也引起广 泛关注，产生了很大的影响。克里普克的许多论著仍未发表，只存在私下传阅的磁带录音和手稿。他的论文集第一 卷《哲学难题》（Philosophical Troubles）于 2011 年 11 月由牛津大学出版社出版。