索尔·克里普克，美国哲学家和学者
索尔·亚伦·克里普克（Saul Aaron Kripke，1940 年 11 月 13 日出生）是美国分析传统中的哲学家和逻辑学家。他是纽约城市大学研究生中心的杰出哲学教授和普林斯顿大学的名誉教授。自 1960 年代以来，克里普克一直是数理逻辑、模态逻辑、语言哲学、数学哲学、形而上学、认识论和递归论相关领域的核心人物。他的大部分作品仍未发表或仅以磁带录音和私下流传的手稿形式存在。

克里普克对逻辑，尤其是模态逻辑做出了有影响力的原创性贡献。他的主要贡献是涉及可能世界的模态逻辑语义，现在称为 Kripke 语义。他获得了 2001 年 Schock 逻辑与哲学奖。

克里普克还对逻辑实证主义衰落后形而上学的复兴负有部分责任，他声称必然性是一种形而上学的概念，不同于先验的认识论概念，并且存在后验已知的必然真理，例如水是 H2O . 1970 年普林斯顿大学系列讲座于 1980 年以书本形式出版，名为《命名与必然性》，被认为是 20 世纪最重要的哲学著作之一。它引入了名称作为严格指示符的概念，在每个可能的世界中都是如此，与描述形成对比。它还包含克里普克的因果指称理论，对戈特洛布·弗雷格的意义概念和伯特兰·罗素的描述理论中的描述主义理论提出异议。

克里普克还在他的《关于规则和私人语言的维特根斯坦》中给出了路德维希·维特根斯坦的原著，被称为“克里普肯斯坦”。这本书包含了他遵循规则的论点，这是对意义怀疑论的悖论。