索尔•克里普克(Saul Kripke,1940—),美国著名的逻辑学家和哲学家,模态逻辑语义学创始人之一。他少年时期已显得颇有才华,16岁念中学时写的一篇关于模态逻辑和直觉主义逻辑语义学的论文,曾引起美国逻辑学界的注意。后就读于哈佛大学,从师于蒯因等人。毕业后先后在哈佛大学、哥伦比亚大学、康乃尔大学、加州大学伯克利分校、洛克菲勒大学、普林斯顿大学任教,1977年在普林斯顿任哲学教授,不久升任麦科什(McCosh)讲座哲学教授。他主持过牛津大学的洛克讲座,担任过美国的《哲学逻辑杂志》和《符号逻辑杂志》以及以色列的《哲学》杂志的编委。
50年代末至60年代中叶,克里普克侧重于数理逻辑,特别是模态逻辑的研究,写出了《模态逻辑是一个完全性定理》(1959)、《关于模态逻辑语义学的研究》(1962)、《模态逻辑语义分析》(1963—1965)等重要论文,这些论文树立了他在模态逻辑语义学方面的地位,使他成为模态逻辑语义学的创始人之一。60年代末至80年代初,克里普克的研究逐渐转向哲学方面。他在模态逻辑语义学研究的基础上,提出了许多引人注目的新观点,这些新观点在下列论文和专著中得到充分阐述:《同一性与必然性》(1971)、《命名与必然性》(1972)、《真理论概要》(1975)、《说话者的指称和语义学的指称》(1977)、《维特根斯坦论规则和私人语言》(1982)等等。其中,《命名与必然性》一书是他的第一本代表作,也是他的成名作。
克里普克在《命名与必然性》一书中主要提出两个新观点:一、历史的、因果的命名理论;二、先验偶然命题和后验必然命题。他的这两个新观点提出后,引起了西方分析哲学界一场持续10多年的大论战。下面,我们将分别概述这两个新观点,并提出一些简略的评论。