卡尔纳普量化模态逻辑形式语义学.pdfVIP

第 11 卷 第3 期 燕山大学学报 （哲学社会科学版） Vol. 11 No. 3 20 10 年9 月 Journal of Yanshan University (Philosophy and Social Science Edition) Sep. 2010 卡尔纳普的量化模态逻辑形式语义学 朱建平 （苏州大学政治与公共管理学院，江苏苏州215123） [摘 要] 鲁道夫 卡尔纳普首次为模态逻辑提供了语义学理论。他也第一个为量化理论与 模态逻辑 （S4 和 S5 类型）相组合的逻辑类型提供了公理系统。他将三个伟大哲学家的学术 传统汇集于一身。弗雷格使他对语义学产生了兴趣，并帮助他掌握了对涵与外延相区别的方 法；从莱布尼茨那里他吸取了把必然分析为在所有的可能世界为真这一重要思想；而维特根 斯坦的某些思想则形成了卡尔纳普自身工作的某些部分的起点。卡尔纳普给出了“状态描述” 的定义，指出状态描述代表莱布尼茨的可能世界或者维特根斯坦