原始命题的逻辑学研究──兼论多因-果的逻辑推理

本文对公理系统中的原始命题进行了初步的探讨。原始命题之间的蕴涵是一种纯形式蕴涵，它与一般实质蕴涵的区别是，纯形式蕴涵具有非传递性，一般实质蕴涵则满足蕴涵传递律。公理系统中有限个原始命题推导出结论命题的过程，可以理解为多因一果的推理。这种推理需要对究竟依靠多少个原因命题作为前提，进行主观的选择。本文将多因-果同一因一果两种推理方法作了比较，并简单解释了以往认为欧氏第五公设不能被证明的原因。

对欧几里德几何体系之可能世界的考察——以纯粹演绎的观点为基础

莱布尼兹的可能世界与现实或存在的关系 ,是在限定的“必然的实体中”讨论的。而演绎逻辑是从真前提到真结论之间具有必然性的 ,欧几里德几何原本所追求的正是这种必然性 ,他试图从有限的公理逻辑地推出所有定理 ;但是其前提并不充分 ,因而其所谓定理构成的可能世界具有虚幻性或非逻辑性。后来 ,希尔伯特在公理系统的不矛盾性和独立性中提出一种给已知系统找到其可能的实现的方法 ,不过它只有相对的意义 ,而哥德尔的否定性结果表明 。

《虚化论》评介

本文向读者介绍1991年美国芝加哥大学出版社出版的一本书《虚化论》(Grammaticaliza-tion—A Conceptual Framework)。作者是三位德国语言学家Bernd Heine,Ulrike Claudi和Friederike Hünnemeyet。该书系统地介绍和总结了西方语言学家近年来对虚化这一语言现象的理解和观点,并提出了一个以认知论为基础的理论框架。语言虚化横跨历时和共时两个语言学上传统的领域,涉及词类转换、结构分化、重新组合等等重要的语言变化。《虚化论》的作者们对语言学上共时和历时这一传统划分提出了挑战,指出虚化的研究不能脱离人类大脑认知上的适应性变化,不能单纯地在语言结构里寻找答案。

驳罗素的几个观点

1989年是我国著名哲学家、逻辑学家金岳霖先生逝世五周年,本文是他的《罗素哲学》一书第三章《歪曲了的形式逻辑导致形而上学》中的几节,特予以发表,以资纪念。本文题目是编者加的,各节标题是原有的。关于本书写作历史条件,冯契和周礼全同志在《哲学研究》第七期上有说明。本书将由上海人民出版社出版。

“公设”与“假设”概念小议

会计和审计中的公设(Postulate,又译为基本假设)和假设(Assumption)系借用于自然科学。长期以来,在这两个概念使用上比较混乱,有必要加以澄清。所谓公设,是指若干理所当然的原始命题,是进行演绎推理或科学论证的先决条件。公设作为科学工作的基础或前提,目的并非要直接证明自身的正确,而在于推演其他命题,其正确与否要由其推演结论的正确与否来证实。具体说来,公设具备以下四个特点:①连贯性,即各公设相互贯通,融为一体。②促进性,即有助于推出若干有效命题。③一致性,即各公设不得相互矛盾。④独立性,即各公设不得相互包含。所谓假设,是对某一问题或状态所作的临时性解释,是用来说明某种现象但未经实践证实的命题。假设以有限的事实和观察为基础,因而很不确实,具有推演的性质。