索尔·克里普克

                                        （SaulKripke，1940—　）

孩童时期，克里普克就已展现出惊人的理智能力。10岁时，他就读完了所有的莎士比亚戏剧，并且开始研究代数，认为可以按照他自己的想法去发明它。14岁时，他已经掌握了几何学和微积分，并深深地沉迷于哲学。17 岁时，他写了一篇论文，发表在著名的《符号逻辑杂志》上，证明了模态逻辑的完全性定理。传说这篇文章引起了哈佛大学数学系的注意，有人邀请他到哈佛大学任教。他回复说：“我妈妈说我应该首先完成高中和大学的学业。”今天，克里普克被许多人认为是世界上至今仍健在的最伟大的哲学家和逻辑学家。

1940 年，索尔·克里普克出生于纽约贝肖尔的一个犹太人家庭。他在内布拉斯加州的奥马哈市读的中小，然后进入哈佛大学。在大二的时候，他在麻省理工学院开设了一门研究生水平的课程。1962 年他以最优等荣誉的成绩毕业并获得数学学士学位。在那以后，他没有读研究生而是开始教书工作，首先在哈佛大学，然后在洛克菲勒大学，再到普林斯顿大学，最后到纽约城市大学研究生院。他获得过几所大学的名誉学位，并在2001年获得逻辑学和哲学领域的最高奖项“罗尔 夫·朔克奖”（相当于诺贝尔奖）。

 克里普克因其在模态逻辑领域的工作而广受赞誉，除了证明模态逻辑的形式完全性以外，他还建立了一种语义学，现在被称为“克里普克 语义学”。在该语义学中，当一个命题在所有可能世界中成立时，它是必然真的；当它在某个可能世界中成立 时，它是可能真的。另外，通过引入一个全新的专名 指称理论，他的著作《命名与必然性》对语言哲学做 出了突破性贡献。