克里普克

克里普克生于纽约长岛，在内布拉斯加州奥马哈长大，父亲是拉比，母亲是儿童读物作家。他六岁自学希伯来文，九岁读完莎士比亚，十几岁自学微积分和逻辑，十七岁写出了模态逻辑的完全性定理，1959 年发表在《符号逻辑杂志》上。哈佛数学系据说曾邀请他任教，他回信说“我母亲说我得先念完高中”。他 1962 年从哈佛数学系毕业，从未读过研究生，也没有博士学位。

他 1960 年代发表的一系列论文建立了模态逻辑的“可能世界语义学”：一个命题是必然的当且仅当它在所有可及的可能世界中为真，不同的可及关系对应不同的模态系统。这一框架使模态逻辑从语法游戏变成有明确语义的理论，并渗透到语言学、计算机科学和哲学的各个领域。他在哈佛和洛克菲勒大学任教，1977 年到普林斯顿，1998 年退休后到纽约市立大学。

1970 年 1 月他在普林斯顿做了三场没有讲稿的讲座，录音整理后于 1972 年发表，1980 年成书《命名与必然性》。他论证专名是“固定指示词”，指称不由描述决定而由最初命名的因果链条传递；因此同一性陈述如“晨星是暮星”“水是 H2O”是必然的，却是经验发现的，存在“后验必然真理”，同时“米尺长一米”这样的陈述是先验的却是偶然的。必然性与先验性是两个不同的概念，一个属于形而上学，一个属于认识论，康德把它们混在一起了。他由此为本质主义辩护，并用固定指示词论证心灵状态与大脑状态不可能同一。

1975 年《真理论纲要》给出了一种处理说谎者悖论的真理理论。1982 年《维特根斯坦论规则与私人语言》提出“quus”悖论，引发了关于意义与规则的大量讨论。他发表的东西极少，大量讲座录音和手稿存放在纽约市立大学的克里普克中心，2011 年才出版第一卷论文集。他被普遍认为是二十世纪后半叶最重要的分析哲学家之一，2001 年获肖克奖。他 2022 年去世，八十一岁。