索尔·阿伦·克里普克（Saul Aaron Kripke，1940年－），美国逻辑学家，哲学家。模态逻辑语义学的创始人之一，因果—历史指称论的首倡者之一。
生平
索尔·克里普克1940年11月出生于美国内布拉斯加州奥马哈的犹太人家庭，父亲是当地圣会领袖，母亲是儿童读物作家。克里普克是三个子女中的长子。16时克里普克写了模态逻辑语义学方面的论文，被一些重要的逻辑学家认为是一篇有创见的可能是来自普林斯顿的博士论文。1958年高中毕业后，克里普克进入哈佛大学学习，后获数学学士学位。
概述
哲学史上向来认为，凡先验的即是必然的，凡后验的均为偶然的。克里普克则指出，先验之于必然一如认识论之于形而上学，不仅有后验必然的知识，同样有先验偶然的知识。这就是作者向传统理论提出严重挑战的先验偶然和后验必然的理论。
克里普克的一个特点是他几乎从不动笔著文，已出版的著作包括《命名与必然性》、《同一性与必然性》、《真理论概要》等。
2001年，克里普克获得Schock逻辑和哲学奖。
工作
克里普克先后任教于哈佛大学、哥伦比亚大学、康奈尔大学和洛克菲勒大学，1977年任普林斯顿大学哲学教授，后升任麦科什讲座哲学教授，现任职于纽约城市大学研究生中心。
克里普克主要贡献有：
克里普克语义
命名与必然性
克里普克斯坦，即克里普克对维特根斯坦的阐释
克里普克真值理论