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

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

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

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

刘易斯的模态实在论评析

模态逻辑研究的模型是集合论的结构,所以人们可以把模态逻辑的模型论看作是集合论的一个分支。这样就产生了一个哲学问题：在模型论中所研究的集合论结构和任何一种客观性之间的联系是什么？我们凭什么能够解释这些结构的研究能够产生出关于模态逻辑原理和推理的真正洞见？对这类问题的回答是由刘易斯的模态实在论提供的。     

模态逻辑的哲学归宿

通过分析模态逻辑发展过程中所遭受到的来自技术及哲学方面的挑战,指出这一系列问题的产生归根结底在于:模态逻辑,特别是量化模态逻辑,在哲学上承诺了本质主义,本质主义是模态逻辑的最终哲学归宿。     

论“可能世界”

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

论“可能世界”

近年来模态逻辑及其研究工作,受到了国内许多逻辑学工作者的重视,其中广泛使用的“可能世界”(Possible world)概念也为人们熟悉和了解。木文拟就这一概念从逻辑学和哲学的角度谈几点意见。 (一) 在模态逻辑的解释中,都普遍采用了“可能世界”这一概念进行语义解释。该事实为人熟知,但很少有人深究这一概念的来源。莱布尼兹最早从哲学上提出了“可能世界”概念。在莱氏那里,这是一个本体论概念。莱布尼兹认为,人们生活于其中的现实世界,不是上帝创造的唯一的世界。事实上,     

莱布尼茨逻辑学说及其当代影响

莱布尼茨是最后一位经院逻辑学家,也是第一位现代逻辑学家。但传统的逻辑史家只注意到了他的第一个方面,而忽略甚至贬低他的第二个方面。事实上,莱布尼茨不仅创造了不同类型的亚里士多德逻辑形式系统,部分地预见了布尔的逻辑代数演算,而且还有极为丰富的命题逻辑思想,尤其是他的真性和道义模态命题逻辑在相当程度上预见了现代意义上的真性模态逻辑和道义模态逻辑,构成了现代逻辑早期发展的重要组成部分。从这种意义上讲,莱布尼茨既是亚里士多德逻辑学的集大成者,同时又是弗雷格现代逻辑的伟大先驱。     

奎因在科学观上的突破与重建

逻辑实证主义的一个典型观点是，科学是单纯的命题复合系统，是关于经验事实的静态性表述，科学的进步只是量的累积过程。来自科学哲学内部的逻辑实用主义哲学家奎因则一反这种主导性观点，提出了科学的整体性思想，且从实用主义角度对命题系统的科学性与发展性作出了根本有异于经验证实原则的说明。本文通过剖析奎因在科学观上的突破和重建，力图揭明整体性科学观的自然科学发展基础及其变革性意义和对历史主义整体动态科学观的深刻影响。     

模态逻辑与哲学

模态逻辑是关于必然性与可能性的逻辑,因此也就涉及到必然与可能相关的一些哲学问题。除语义学方面的问题外,模态逻辑自身也存在与哲学相关的问题,如本质主义问题、抽象实体的存在性问题等。模态逻辑也引发一些哲学问题,如可能世界的本体论问题,可能个体的跨界同一和识别问题等。模态逻辑的研究成果对当代哲学的发展也具有重要的意义。当代马克思主义哲学的研究也应该结合与考察现代逻辑的研究成果。     

汉语的句法语义特征和语言逻辑研究

汉语句子具有灵活的语序，主语、宾语和状语可出现在不同的位置上而使得句义大致保持不变。从范畴类型逻辑角度看，需要提供说明汉语灵活语序的工具。因此，给出关于范畴位置移动的结构公设，构成特定的范畴类型逻辑系统，即多样模态逻辑，并给该系统的可能世界语义学的可通达关系确立相应的限制条件。其次，为说明汉语语义异常句的合理性，提出一种多体的范畴类型逻辑，构建有关的结构公设，通过相关正常语义句的推导来证明异常句的成立。此外，为强调句子生成过程中各种词类的搭配限制，从而生成合符直观和认知的句子，设想用类型一逻辑语义加特征结构的并行推演来解决这个问题，为汉语句法和语义生成的计算机实现提供理论依据。