| 卡尔纳普的量化模态逻辑形式语义学 |
| |
| 引用本文： | 朱建平.卡尔纳普的量化模态逻辑形式语义学[J].燕山大学学报(哲学社会科学版),2010,11(3):46-51. |
| |
| 作者姓名： | 朱建平 |
| |
| 作者单位： | 苏州大学政治与公共管理学院,江苏,苏州,215123 |
| |
| 摘 要： | 鲁道夫·卡尔纳普首次为模态逻辑提供了语义学理论。他也第一个为量化理论与模态逻辑（S4和S5类型）相组合的逻辑类型提供了公理系统。他将三个伟大哲学家的学术传统汇集于一身。弗雷格使他对语义学产生了兴趣，并帮助他掌握了对涵与外延相区别的方法；从莱布尼茨那里他吸取了把必然分析为在所有的可能世界为真这一重要思想；而维特根斯坦的某些思想则形成了卡尔纳普自身工作的某些部分的起点。卡尔纳普给出了“状态描述”的定义，指出状态描述代表莱布尼茨的可能世界或者维特根斯坦的事物的可能状态。为解释量词，卡尔纳普引入了“个体概念”的概念。
|
| 关 键 词： | 模态逻辑语义学 状态描述 量化模态逻辑形式语义学 |
Camap's Formal Semantics for Quantified Modal Logic |
| |
| ZHU Jian-ping.Camap's Formal Semantics for Quantified Modal Logic[J].Journal of Yanshan University:Philosophy and Social Sciences Edition,2010,11(3):46-51. |
| |
| Authors: | ZHU Jian-ping |
| |
| Institution: | ZHU Jian-ping (School of Political and Public Management, Soochow University, Suzhou 215123, China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
