索尔·克里普克(Saul Kripke 1941—)，美国著名的逻辑学家和哲学家，模态逻辑语义学创始人之一。他少年时期已显得颇有才华，16岁念中学时写的一篇关于模态逻辑和直觉主义逻辑语义学的论文，曾引起美国逻辑学界的注意。后就读于哈佛大学，从师于蒯因等人。毕业后先后在哈佛大学、哥伦比亚大学、康乃尔大学、加州大学伯克利分校、洛克菲勒大学、普林斯顿大学任教，1977年在普林斯顿任哲学教授，不久升任麦科什(McCosh)讲座哲学教授。他主持过牛津大学的洛克讲座，担任过美国的《哲学逻辑杂志》和《符号逻辑杂志》以及以色列的《哲学》杂志的编委。

50年代末至60年代中叶，克里普克侧重于数理逻辑，特别是模态逻辑的研究，写出了《模态逻辑是一个完全性定理》(1959)、《关于模态逻辑语义学的研究》(1962)、《模态逻辑语义分析》(1963—1965)等重要论文，这些论文树立了他在模态逻辑语义学方面的地位，使他成为模态逻辑语义学的创始人之一。60年代末至80年代初，克里普克的研究逐渐转向哲学方面。他在模态逻辑语义学研究的基础上，提出了许多引人注目的新观点，这些新观点在下列论文和专著中得到充分阐述：《同一性与必然性》(1971)、《命名与必然性》(1972)、《真理论概要》(1975)、《说话者的指称和语义学的指称》(1977)、《维特根斯坦论规则和私人语言》(1982)等等。其中，《命名与必然性》一书是他的第一本代表作，也是他的成名作。

克里普克在《命名与必然性》一书中主要提出两个新观点：一、历史的、因果的命名理论；二、先验偶然命题和后验必然命题。他的这两个新观点提出后，引起了西方分析哲学界一场持续10多年的大论战。下面，我们将分别概述这两个新观点，并提出一些简略的评论。