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

卡尔纳普的量化模态逻辑形式语义学朱建平(苏州大学政治与公共管理学院，江苏苏州215123)I摘 要I 鲁道夫•卡尔纳普首次为模态逻辑提供了语义学理论.他也第一个为量化理论与 模态逻辑(S4和S5类型)

Vol. 11 No. 3 113 第卷第期 燕山大学学报(行学社会科学版) Sep. 2010 Journal of Yanshan University (Philosophy and Social Science Edition) 20109 年月 卡尔纳普的量化模态逻辑形式语义学 朱建平 215123) 苏州大学政治与公共管理学院，江苏苏州 ( II S4S5 摘要鲁道夫卡尔纳普首次为模态逻辑提供了语义学理论他也第一个为量化理论与模态逻辑和 •. ( 类型相组合的逻辑类型提供了公理系统他将三个伟大哲学家的学术传统汇集于一身弗雷格使他对语茨学 ). . 产生了兴趣，并帮助他掌握了对涵与外延相区别的方法；从萊布尼茨那里他吸取了把必然分析为在所有的可 能世界为真这一重要思想；而维特根斯坦的某些思想则形成了卡尔纳普自身工作的某些部分的起点卡尔纳 . 普给出了状态描述的定法，指出状态描述代表莱布尼茨的可能世界或者维特根斯坦的事物的可能状态 “” . 为解释量词，卡尔纳普引入了个体概念的概念 “”. ［关键词］模态逻辑语义学；状态描述；量化模态逻辑形式语义学 B815.IIA1009-2692 (2010) 03-0046-06 ［中图分类号］文献标识码］|文章编号| 悖论。但是刘易斯的论证超出了一般的反对意见。 • (Robert Bull) 当代著名逻辑学家布尔和赛格贝格 事实上，他最先关注的是连接词析取的分析，让我们 (Krister Scgcrbcrg) 曾将现代模态逻辑的历史发展比 ⑴ 考虔下列两个命题： 喻为人类文明所经历的两次变革浪潮一农业革命浪潮 和工业革命浪潮，指出第一次浪潮的代表人物是刘易 I 或者凯撇已死或者月亮是绿色奶酩做成的。 • C. Z. Lewis),(Jan Lukasiewicz) 斯卢卡西维支和卡尔 ( 2. 或者玛蒂尔达不爱我，或者她爱我。 (R. Carnap),11■ 纳普第二次浪潮的代表人物推克里 SaulKripke), (Arthur Prior).(Stig 普克普里奥里坎格 ( 如果我们不考虑或者的排斥性解释经典逻辑认为 “”, kanger)(Jaakko llintikka) 欣迪卡以及塔斯基 这两个命题所貝有的形式是： (AlfredTarski)F 。的确，尔纳普在现代模态逻辑发展 (i) AVBo 屮的地位举足轻觅，特别是他的模态逻轲语义学思想 Ifu(1) 然刘易斯争辩说，这两个语人的差异。我们知道 TZ 承先启厉开启后来模态逻辑町能世界语义学理论 , 真是因为我们知道凯撇已死，但知道 先河。 (2) 2) 真则无需知道哪一个析取支是真的。因而展示 ( 了一种纯逻轿的或形式的特征，该语句的真是 “” 一、前卡尔纳普模态逻辑语义学 (1) 独立于事实的，而这是所缺乏的。这种分析多 “” 12) 能被人所接受。但在如何说明和的不同方而分 ()( 现代模态逻辑的研究始丁羌国逻辑学家刘易 • (I)2) 歧就出现了。一种观点认为，尽管和貝有相同的 ( 1912 斯年刘易斯在《心灵》杂志上载文批评经典 • (2) 形式，然而只有满足进一步的条件： 逻紺未能为蕴涵提供一个普通令效推理的普通蕴含 “'’ p,5,1 (ii) I-AVB, 的令人满意的分析。这一事件标，忐着现代模 ” R 态逻辑的诞生，同时也构成了尔纳普语义学产生的 其中十字转门符号代表系统中的可断定性或可证明性， 育接背景。刘易斯认为实质蕴倉导致一种实质鎰含 • 1Z 刘易斯认为和⑵间的不同是一种 () ［收犒日删 2010-()7-07 ［作者简介］朱建半男山东济南人苏州人学政治打公共符理学院件学系敦授硕：生导师竹学博 (.•.. 1956 -).1