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

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

论可能世界语义学的主要哲学问题

自从刘易斯（Ｃ．Ｉ．Ｌｅｗｉｓ）创立第一个现代模态逻辑系统以来，模态逻辑发展迅速，在逻辑学界、哲学界已经倍受青睐。但是，早期创建的现代模态逻辑系统有一个共同的特征，那就是：“逻辑学家都是根据模态概念的某种直观的理解和把握，提出一些公理、推理规则，推导...

含有量化名词词组的及物性结构的语义分析及其在自然语言处理中的实现问题

本文旨在从意义的组合性原则出发,对含有量化名词词组的及物性结构进行语义分析。重点是讨论和评价对这一结构从形式语义学角度所做的四种不同的研究方法。其中,前三种是通过类提升的方式来实现的,最后一种则是通过类重设的方式来实现的。基于计算复杂性的考虑,本文选取其中的一种方法作为解决自然语言处理中语义问题的理论依据,并且详细地介绍和说明如何以这种方法为基础编写出适用于Prolog语言环境的计算机可执行语法。

现代逻辑对文学的渗透

文学研究中的形式化方法是几乎一切追求“科学性”的文学理论的理想，但是从新批评到结构主义，形式分析各派都没有达到接近形式化的高度。当前，由于发展第五代计算机的需要，在阅读分析中引人了现代逻辑和形式语言学，极大地推动了文学研究中的符号化、计算化和公理化方法的发展，这样就使得建立一个文论的形式系统可能性和意义都大大增加了。这是当代文本理论发展的重要契机，应予以高度重视。

论形式化文本意义理论的可能性及其运用

当前第五代计算机的研制中发展起来的符号动力学、计算语言学、模糊逻辑、形式语义学等学科,以及人工智能对自然语言意义所作的处理,为传统的符号学方法和形式分析探寻文本意义结构提供了强大的技术手段;极大地推动了文本意义理论向符号化、形式化和公理化方向发展。一种建立在当代高新技术手段上的文本意义理论形式系统,将有效地补正重经验直观轻逻辑分析的传统批评的缺陷。

Kripke语义学及其一些哲学问题

Kripke语义学是关于模态逻辑形式语义等符号的意义和公式真假的一种理论。模态逻辑是逻辑学的一个古老的分支,近几十年来,它得到了蓬勃的发展。其中Kripke語义学的提出是极为重要的,模态逻辑的发展因此而进入了一个新的阶段,而且它还在哲学研究方面提出了新的工具以及新的观点和问题,表现了逻辑和哲学在现代形式下的相互依赖和促进的关系。一、模态逻辑的形式系统模态逻辑简单地说就是关于必然性与可能性的逻辑。“必然”和“可能”作为模态概念在模态逻辑里通常分别用符号□和◇表示,称为模态词,从演算的角度,也称为模态算子。有了模态概念和符号后,就会产生以下三种模态公式:

概念变更与指称

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

论“可能世界”

“可能世界”是模态逻辑语义学的一个重要概念。这一概念的提出被认为是现代逻辑的一项伟大成就。利用这一概念,逻辑学家和哲学家们终于能够合乎直觉地解释必然真的命题和可能真的命题,从而确立了模态逻辑在逻辑学和哲学中的地位。尽管如此,“可能世界”概念的一些基本问题,如究竟什么是一个可能世界,如何识别不同可能世界中的对象等问题,至今仍未解决。本文在评述关于解决这些问题的有代表性的观点的同时,也提出自己的某些看法。

近年来苏联形式逻辑研究综述

这个综述的任务就是对逻辑学中有时被(不很恰当地)称为“哲学逻辑”的这一正在急剧发展着的领域给予尽可能完整的描述。换句话说,在这个综述里将谈到的是与提出和解决哲学问题及方法论问题直接有关的研究。在所要考察的时期(1979—1983),这些研究的主要问题是什么呢?可以列出下述现在在哲学逻辑中讨论得最活跃的问题和方面。1.符号逻辑的哲学基础;2.

从卡尔纳普的逻辑真概念到奎因的两个教条批判

四十年代关于逻辑真与事实真是否有严格的区分问题,著名哲学家、逻辑学家卡尔纳普和奎因(Willard Van Orman Quine) 曾有过一场争论.这场争论涉及到模态逻辑与哲学的一些重要问题,双方都得到重要的结果.今天重新考察这一历史,有助于我们进一步认识和了解模态逻辑与哲学的关系,以及有助于有关的逻辑与哲学问题的进一步研究.

皮尔士存在图的线性记法

皮尔士存在图是现代逻辑诞生时期对量化理论和模态逻辑等领域的贡献。存在图二维记法的一个变种——线性记法——是自皮尔士以来的一个研究方向。相对于二维记法的存在图系统,线性记法的存在图所受到的关注较少,其中以E.哈默(Eric Hammer)的工作最为系统。从20世纪90年代开始,哈默分别研究了存在图系统第一部分Alpha图和第二部分Beta图的线性记法,为Alpha图建立了形式系统并证明了系统的完全性定理,而对Beta图则只研究了句法和语义方面。