《命名与必然性》讲述事物是怎样被命名的?这取决于名称的起源和历史,而不取决于被命名对象的偶然特性。丘吉尔之被命名为“丘吉尔”,不是因其本人的种种特性,而是因其父母的命名以及从此别人这样称呼他而建立的历史传递链条。这就是作者的历史的、因果的命名理论。哲学史上向来认为,凡先验的都是必然的,凡后验的均为偶然的。作者却指出,先验之于必然一如认识论之于形而上学,不仅有后验必然的知识,还有先验偶然的知识。这就是作者向传统理论提出严重挑战的先验偶然和后验必然的理论。
索尔·克里普克(Saul Kripke 1941—),美国著名的逻辑学家和哲学家,模态逻辑语义学创始人之一。他少年时期已显得颇有才华,16岁念中学时写的一篇关于模态逻辑和直觉主义逻辑语义学的论文,曾引起美国逻辑学界的注意。后就读于哈佛大学,从师于蒯因等人。毕业后先后在哈佛大学、哥伦比亚大学、康乃尔大学、加州大学伯克利分校、洛克菲勒大学、普林斯顿大学任教,1977年在普林斯顿任哲学教授,不久升任麦科什(McCosh)讲座哲学教授。他主持过牛津大学的洛克讲座,担任过美国的《哲学逻辑杂志》和《符号逻辑杂志》以及以色列的《哲学》杂志的编委。
50年代末至60年代中叶,克里普克侧重于数理逻辑,特别是模态逻辑的研究,写出了《模态逻辑是一个完全性定理》(1959)、《关于模态逻辑语义学的研究》(1962)、《模态逻辑语义分析》(1963—1965)等重要论文,这些...