克里普克（1940～2022 Kripke，Saul Aaron）美国逻辑学家，哲学家。曾任教于哈佛、哥伦比亚、康奈尔和洛克菲勒等大学，1977年任普林斯顿大学哲学教授，后升任麦科什讲座哲学教授。他是模态逻辑语义学的创始人和因果-历史指称论的首倡者之一，认为名词的指称主要取决于与使用该名词有关的社会历史的传递链条。以此出发，他进一步阐发了有关专名和通名的理论，并由此构成了现代分析哲学的一个历史转折点。著有《命名和必然性》等。

索尔·克里普克1940年11月出生于美国内布拉斯加州的奥马哈，父亲是当地圣会领袖，母亲是儿童读物作家。克里普克是三个子女中的长子。16岁时克里普克写了模态逻辑语义学方面的论文，被一些重要的逻辑学家认为是一篇有创见的可能是来自普林斯顿的博士论文。1958年高中毕业后，克里普克进入哈佛大学学习，后获数学学士学位。1977年到1998年，他被任命为普林斯顿大学的哲学系教授。此前，他曾在洛克菲勒大学，哈佛大学任职。他曾作为以访问学者的身份访问过包括：康奈尔大学，加州大学洛杉矶分校等多所顶尖大学。2001年，克里普克荣获由瑞典皇家学院颁布的肖克奖（Rolf Schock Prizes）。2022年9月15日，克里普克逝世，享年82岁。

他的著名思想——因果的指称论，克里普克斯坦（克里普克阐释的维特根斯坦），先验偶然与后验必然。哲学史上向来认为，凡先验的即是必然的，凡后验的均为偶然的。他则指出，先验之于必然——如认识论之于形而上学，不仅有后验必然的知识，同样有先验偶然的知识。这就是作者向传统理论提出严重挑战的先验偶然和后验必然的理论。

他严格区分了“先验的”和“必然的”这两个概念。认为“先验的”是认识论概念，“必然的”是形而上学概念，两者不能混同。将他们用于真理，在认识论上有先验真理和后天真理之分，在形而上学方面有必然真理和偶然真理之分。在区分先验真理和必然真理基础上，提出了“先验偶然命题”和“后验必然命题”的新概念，得出了自然科学真理的后天性和必然性的新的哲学结论。其哲学观点被认为是打破了近代西方哲学传统的创举。

他在模态逻辑语义学的基础上，提出了因果的、历史的指称理论，为该理论的首创人之一。否定名词的指称由涵义决定的摹状词理论，主张指称由与使用该名词有关的社会历史的传递链条所决定。

2001年，克里普克获得Schock逻辑和哲学奖。

克里普克先后任教于哈佛大学、哥伦比亚大学、康奈尔大学和洛克菲勒大学，1977年任普林斯顿大学哲学教授，后升任麦科什讲座哲学教授，现任职于纽约城市大学研究生中心。

克里普克主要贡献有：

克里普克语义

命名与必然性

克里普克斯坦，即克里普克对维特根斯坦的阐释

克里普克真值理论

模态逻辑

命名与必然性

维特根斯坦

真值

《命名与必然性》（Naming and Necessity, 1980），上海译文出版社

《维特根斯坦关于规则与私有语言》，1982

Fulbright Scholar (1962–1963)

Society of Fellows, Harvard University (1963–1966)

Doctor of Humane Letters, honorary degree, University of Nebraska, 1977

Fellow, American Academy of Arts and Sciences (1978–)

Corresponding Fellow, British Academy (1985–)

Howard Behrman Award, Princeton University, 1988

Fellow, Academia Scientiarumet Artium Europaea (1993–)

Doctor of Humane Letters, honorary degree, Johns Hopkins University, 1997

Doctor of Humane Letters, honorary degree, University of Haifa, Israel, 1998

Fellow, Norwegian Academy of Sciences (2000–)

Schock Prize in Logic and Philosophy, Swedish Academy of Sciences, 2001

Doctor of Humane Letters, honorary degree, University of Pennsylvania, 2005

Fellow, American Philosophical Society (2005–)