索尔·克里普克(Saul Kripke 1941—),美国著名的逻辑学家和哲学家,模态逻辑语义学创始人之一。他少年时期已显得颇有才华,16岁念中学时写的一篇关于模态逻辑和直觉主义逻辑语义学的论文,曾引起美国逻辑学界的注意。后就读于哈佛大学,从师于蒯因等人。毕业后先后在哈佛大学、哥伦比亚大学、康乃尔大学、加州大学伯克利分校、洛克菲勒大学、普林斯顿大学任教,1977年在普林斯顿任哲学教授,不久升任麦科什(McCosh)讲座哲学教授。他主持过牛津大学的洛克讲座,担任过美国的《哲学逻辑杂志》和《符号逻辑杂志》以及以色列的《哲学》杂志的编委。
50年代末至60年代中叶,克里普克侧重于数理逻辑,特别是模态逻辑的研究,写出了《模态逻辑是一个完全性定理》(1959)、《关于模态逻辑语义学的研究》(1962)、《模态逻辑语义分析》(1963—1965)等重要论文,这些...