索爾·阿倫·克里普克（Saul Aaron Kripke，1940年－），美國邏輯學家，哲學家。模態邏輯語義學的創始人之一，因果—歷史指稱論的首倡者之一。
生平
索爾·克里普克1940年11月出生於美國內布拉斯加州奧馬哈的猶太人家庭，父親是當地聖會領袖，母親是兒童讀物作家。克里普克是三個子女中的長子。16時克里普克寫了模態邏輯語義學方面的論文，被一些重要的邏輯學家認為是一篇有創見的可能是來自普林斯頓的博士論文。1958年高中畢業後，克里普克進入哈佛大學學習，後獲數學學士學位。
概述
哲學史上向來認為，凡先驗的即是必然的，凡後驗的均為偶然的。克里普克則指出，先驗之於必然一如認識論之於形上學，不僅有後驗必然的知識，同樣有先驗偶然的知識。這就是作者向傳統理論提出嚴重挑戰的先驗偶然和後驗必然的理論。
克里普克的一個特點是他幾乎從不動筆著文，已出版的著作包括《命名與必然性》、《同一性與必然性》、《真理論概要》等。
2001年，克里普克獲得Schock邏輯和哲學獎。
工作
克里普克先後任教於哈佛大學、哥倫比亞大學、康奈爾大學和洛克菲勒大學，1977年任普林斯頓大學哲學教授，後升任麥科什講座哲學教授，現任職於紐約城市大學研究生中心。
克里普克主要貢獻有：
克里普克語義命名與必然性
克里普克斯坦，即克里普克對維根斯坦的闡釋
克里普克真值理論
模態邏輯
命名與必然性
維根斯坦
真值
"我"的意義
著述
《命名與必然性》（Naming and Necessity, 1980），上海譯文出版社《維根斯坦關於規則與私有語言》，1982
參考
模態邏輯可能世界
克里普克語義
維根斯坦
外部連結
紐約城市大學克里普克主頁陳嘉映
