'Naming and Necessity' has had a great and increasing influence. It redirected philosophical attention to neglected questions of natural and metaphysical necessity and to the connections between these and theories of naming, and of identity. This seminal work, to which today's thriving essentialist metaphysics largely owes its impetus, is here reissued in a newly corrected form with a new preface by the author. If there is such a thing as essential reading in metaphysics, or in philosophy of language, this is it.

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

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

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