模态逻辑语义学的理论发展.pdfVIP

模态逻辑语义学的理论发展 朱 建 平 （苏州大学 政治与公共管理学院，江苏 苏州 215123） 摘 要：模态逻辑语义学是经典逻辑语义学的一种最重要的扩展。它在哲学、语言学、数学基础、计算 机科学和人工智能等领域有重要的应用，同时也是这些学科研究的对象之一。本文以模型论语义学为主，通 过对模型论语义学主要类型的形式描述和理论评价，较为完整和准确地描述了模态语义学的发展历程，从而 使我们看到了模型论语义学是如何从一些有创意的思想发展为一种严格而成熟的语义学理论。 关键词：模态逻辑；模型论语义学；克里普克 作者简介：朱建平（1956— ），男，山东济南人，哲学博士，苏州大学政治与公共管理学院哲学系教授， 主要从事内涵逻辑与逻辑哲学研究。 ( ) 中图分类号：B81 文献标识码：A 文章编号：1001-4403 2011 02-0054-07 收稿日期：2011-03-10