数理逻辑取代形式逻辑说质疑

《社会科学战线》一九八二年第四期刊载杜岫石同志的《有必要用数理逻辑取代形式逻辑吗?》一文,一开头就明确地指出:“在逻辑界出现这样一种看法:形式逻辑陈旧了,应该‘送到历史博物馆去’了,取代形式逻辑的应该是数理逻辑。持这种主张的人数虽然不见得很多,但是却有一定的影响,因此有必要谈一点不同的看法。”我基本同意杜岫石同志的观点。要用数理逻辑取代形式逻辑的主张,现在还有人在坚持。事实上,要用数理逻辑取代形式逻辑是根本行不通的。本文准备对数理逻辑取代形式逻辑说提出一些质疑。     

表示A、E、I、O之间真假关系的一种新方法

<正> 各种性质判断之间的真假关系问题,是形式逻辑中必不可少的内容之一,而且它在整个形式逻辑体系中占有的地位也是十分重要的。目前国内出版的各种逻辑教科书,在论述这一问题时,都把各种性质判断之间的真假关系归结为如右这个逻辑方阵。     

论形式逻辑的科学性——兼评金岳霖主妇的《形式逻辑》

形式逻辑是一门历史悠久的科学。但是,当前我国流行的一些形式逻辑著作,在科学性方面却依然存在着大量的问题,这是不能不引起我国逻辑学界严重注意的。这里说的科学性问题,包括两大方面:第一,是阐述逻辑理论本身方面的问题。在一些逻辑著作中,有的“逻辑概念”是混乱的,有的“逻辑命题”是错误的,有的“逻     

论主项为空类的性质判断推理

性质判断的推理是形式逻辑理论体系中的一个重要组成部分,而目前我国出版的各种版本形式逻辑教材对这部分内容的论述却存在严重疏漏,即对性质判断主项和谓项不为空类或全类的情况均作了透彻分析,而对性质判断主项和谓项为空类或全类的情况则避而不谈,或虽有论述,但很不深入。本文集中论述了当主项为空类时,各性质判断间的真假关系、性质判断的直接推理以及直言三段论的有效式。由于人们的日常思维经常与空类概念打交道,因而探讨主项为空类的性质判断推理具有重要的理论意义和实践意义。     

对形式逻辑中几个传统观点的再认识

形式逻辑是一门历史悠久的科学。这门科学从亚里士多德创立之日起,至今已有2000多年了。在这漫长的历史进程中,形式逻辑经过人们不断的研究探讨而被修正、补充、完善,并逐渐形成了一个较为成熟和稳定的体系,其基本内容也已得到逻辑学界的普遍公认。然而,当我们以严谨的态度,重新审视它时,却发现在那些被逻辑学界普遍公认的、传统的观点中,竟有一些是不恰当、不科学的。对这些问题,有进一步研究的必要。这里,我们仅就其中的三个问题谈些粗浅之见,以求教于同行专家。