克里普克

出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第769页（549字）

【介绍】：

美国当代逻辑学家，当代分析哲学家。

对模态逻辑的语义学领域有特殊的贡献。从20世纪40年代开始，逻辑学家对模态逻辑的语义问题进行了研究，“必然”和“可能”的语义解释在逻辑学系中间引起激烈的争论。其中着名逻辑学家套用对模态词的评论，使得模态逻辑的传统哲学基础的正确性受到怀疑，必得用新的证据和理论来支持这一刚刚成熟的非标准逻辑。

20世纪60年代初，年轻的克里普克建立了一种完整的可能世界语义学理论，(在形式方面)从而成为模态逻辑语义学主要的建树者和先驱者之一。克里普克所建立的可能世界语义学区分了下述三对概念：严格指示者和非严格指示者，现实世界和可能世界，先天性和必然。在此基础上来处理模态逻辑发展中所产生的一系列有争议的问题。为模态逻辑的哲学基础与语义解释提供了有力的理论。这一理论虽还没有得到普遍的接受，争论还在继续，但它是关于模态逻辑语义理论中最为流行的一种。此外，克里普克在等同问题，命名问题，真理理论方面都有一些有影响的观点，他在当代逻辑学界是一个影响深远的逻辑学家。其主要逻辑着作有《关于模态逻辑的语义学思考》(1963)；《等同和必然性》(1971)；《说话者的指称和语义学的指称》(1977)；《命名和必然性》(1980)。