卡尔纳普的量化模态逻辑形式语义学-燕山大学学报.PDFVIP

卷 期 燕山大学学报 （哲学社会科学版） 年 月 卡尔纳普的量化模态逻辑形式语义学 朱建平 苏州大学政治与公共管理学院，江苏苏州 ） 摘 要 鲁道夫 卡尔纳普首次为模态逻辑提供了语义学理论。他也第一个为量化理论与 模态逻辑 和 类型）相组合的逻辑类型提供了公理系统。他将三个伟大哲学家的学术 传统汇集于一身。弗雷格使他对语义学产生了兴趣，并帮助他掌握了对涵与外延相区别的方 法；从莱布尼茨那里他吸取了把 然分析为在所有的可能世界为真这一重要思想；而维特根 斯坦的某些思想则形成了卡尔纳普自身工作的某些部分的起点。卡尔纳普给出了 “状态描述” 的定义，指出状态描述代表莱布尼茨的可能世界或者维特根斯坦的事物的可能状态。为解释 量词，卡尔纳普引入了 “个体概念”的概念。 关键词 模态逻辑语义学；状态描述；量化模态逻辑形式语义学 中图分类号 文献标识码 文章编号 当代著名逻辑学家布尔（ 和赛格 种实质蕴含悖论。但是刘易斯的论证超出了一般的 贝格（ ） 曾将现代模态逻辑的 反对意见。事实上，他最先关注的是 接词析取的 历史发展比喻为人类文明所经历的两次变革浪潮 分析。让我们考虑下列两个命题： —农业革命浪潮和工业革命浪潮，指出 一次浪潮 或者凯撒已死或者月亮是绿色奶酪做成的。 的代表人物是刘易斯（ ），卢卡西维支 或者玛蒂尔达不爱我，或者她爱我。 （ ）和卡尔纳普（ ）， 如果我们不考虑 “或者”的排斥性解释，经典逻辑 二次浪潮的代表人物首推克里普克（ ） 认为这两个命题所具有的形式是： 普里奥里（ ），坎格（ ）欣 （） ∨ 。 迪卡（ ）以及塔斯基（ ）。 然而刘易斯争辩说，这两个语句有重大的差异。我 的确，卡尔纳普在现代模态逻辑发展中的地位举足 们知道 （）真是因为我们知道凯撒已死，但知道 轻重，特别是他的模态逻辑语义学思想承先启后， （）真则无需知道哪一个析取支是真的。因而 （） 开启了后来模态逻辑可能世界语义学理论之先河。 展示了一种“纯逻辑的或形式的特征”，该语句的 真是 “独立于事实的”，而这是（ ）所缺乏的。这 一、前卡尔纳普模态逻辑语义学 种分析多能被人所接受。但在如何说明（ ）和（ ） 现代模态逻辑的研究始于美国逻辑学家刘易 的不同方面分歧就出现了。一种观点认为，尽管 斯。 年刘易斯在 《心灵》杂志上载文批评经 （）和（ ）具有相同的形式，然而只有 （）满足 典逻辑未能为蕴涵提供一个“普通有效推理的普通 进一步的条件： ‘蕴含’的令人满意的分析。” 这一事件标志 （） ├ ∨ ， 着现代模态逻辑的诞生，同时也构成了卡尔纳普语 其中十字转门符号代表系统中的可断定性或可证 义学产生的直接背景。刘易斯认为实质蕴含导致一 明性。刘易斯认为（ ）和（ ）之间的不同是一种 收稿日期 作者简介 朱建平 （ －），男，山东济南人，苏州大学政治与公共管理学院哲学系教授，硕士生导师，哲学博士。 期 朱建平 卡尔纳普的量化模态逻辑形式语义学 意义上的不同，因而 （）的 “或者”和（ ）的 所有的表达都含蓄地体现在公理系统之中，以及散 “或者”是不同类型的 接词。刘易斯提议将前者