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

鲁道夫.卡尔纳普首次为模态逻辑提供了语义学理论。他也第一个为量化理论与模态逻辑(S4和S5类型)相组合的逻辑类型提供了公理系统。他将三个伟大哲学家的学术传统汇集于一身。弗雷格使他对语义学产生了兴趣,并帮助他掌握了对涵与外延相区别的方法;从莱布尼茨那里他吸取了把必然分析为在所有的可能世界为真这一重要思想;而维特根斯坦的某些思想则形成了卡尔纳普自身工作的某些部分的起点。卡尔纳普给出了"状态描述"的定义,指出状态描述代表莱布尼茨的可能世界或者维特根斯坦的事物的可能状态。为解释量词,卡尔纳普引入了"个体概念"的概念。

结合逻辑和决策论方法的Agent模型研究

分析了目前Agent模型与实现相分离的原因,将逻辑与决策论方法相结合,以自主为前提,面对个体自主性和群体交互的社会性要求,研究如何建立理性Agent以及理性Agent构成的多Agent社会。对Agent的信念、愿望、效用、约定和意图等心智状态之间的关系进行了直观的描述,阐明了理性行为的决策过程,并采用量化多模态逻辑对该模型进行了形式化描述。完善了Cohen和Levesque的BDI模型理论,使其能更准确地反映理性A-gent的行为,为多Agent系统设计与实现提供了理论基础。

概念变更与指称

模态逻辑的量化从其诞生之日起就饱受争议,支持者有卡尔纳普、丘奇等人,而蒯因是最著名的反对者之一,后者从同一性替换原则出发,论证了量化模态逻辑会导致模态区别的消解。然而,卡尔纳普等人的进路在蒯因的论证面前基本是站不住脚的,主要原因在于他们的语义学及相关的强本质主义立场;如引入弱本质主义和一种"双层语义学",则可以避免模态区别被消解的下场,并让量化模态逻辑变得可行。这种双层语义学把单称词项与普遍词项分开来,并赋予它们两种不同的语义学。在普遍词项那里,涵义是首要的,而在单称词项那里,重要的是指称。由此可以解决对象的识别问题,并使得量化模态逻辑成为可能。

专名的严格性与个体的跨界同一性问题

专名问题在语言哲学和逻辑哲学研究中一直处在重要地位。专名理论通常分为摹状词理论和严格指示词理论,二者的最主要分歧在于确定专名的指称对象的方式不同。名称的描述理论认为专名在确定指称时需要通过借助摹状词,传统描述理论哲学家也意识到确定名称所借助的摹状词因人而异,这样可能会造成指称失败。而以克里普克为代表的直接指称理论认为专名是严格的指示词,描述性的反事实状况不能造成专名指称的不同。专名具有严格性。与此相伴而来的另一个问题是个体的跨界同一性问题。这两个问题的探讨都离不开对可能世界理论的理解。本文从可能世界这一概念出发,深入探讨专名的严格性问题,并从逻辑角度阐述专名严格性的必要性,最后阐述专名的严格性与个体跨界同一性问题密切相关,对专名作严格性的理解可以直接解释个体跨界同一性问题。