克里普克，S．A．

【生卒】：1940～

【介绍】：

美国逻辑学家、哲学家。1962年获哈佛大学学士学位，曾先后任教于哈佛大学、洛克菲勒大学、普林斯顿大学，1977年起任普林斯顿大学哲学教授。主要论著有：《模态逻辑的一个完全性定理》(1959)、《模态逻辑语义学研究》(1962)、《同一性和必然性》(1971)、《命名和必然性》(1972)、《真理论纲要》等。克里普克对逻辑的主要贡献是他在1959～1965年间发表的一系列有关模态逻辑的语义分析的论文中创立的可能世界语义学。他的这一学说已成为现代模态命题逻辑和模态谓词逻辑的基础。克里普克对模态(即必然和可能的概念)的解释基于可能世界的概念。按照他的解释，必然真的语句是那些在每个可能世界为真的语句，而可能真的语句则是那些在至少一个可能世界为真的语句。可能世界语义学还具有普遍的方法论意义，它已被卓有成效地用于哲学逻辑的其它各个分支的语义分析。克里普克后来的工作主要是建立在他关于模态逻辑的研究成果上。他对G．弗雷格和B．A．W．罗素的意义理论进行批判，提出专名和通名的新理论，即历史的因果命名理论，其要点是认为名称是借助于某些与这个名称有关的历史事实去指称某个特定对象的。在真理理论方面，他打破了康德主义和经验论传统，从而澄清了被这两个传统混淆了的先天性和必然性以及后天性和或然性，主张有必然的后验真理和或然的先验真理。