有必要用数理逻辑取代形式逻辑吗?

在逻辑界出现这样一种看法:形式逻辑陈旧了,应该“送到历史博物馆去”了,取代形式逻辑的应该是数理逻辑。持这种主张的人数虽然不见得很多,但是却有一定的影响,因此有必要谈一点不同的看法。形式逻辑(或者叫普通逻辑)有着两千余年悠久的历史,因此它是一门堪称“占老”的科学。“古老”一词,一方面意味着它有陈旧的可能性;一方     

形式逻辑和数理逻辑是两门不同的学科

《社会科学战线》1983年第4期发表了吴牟人同志的《数理逻辑和形式逻辑是同一门学科的不同发展阶段》(简称《数》文)。《数》文从五个方面对刊登在同一刊物1982年第4期上的《有必要用数理逻辑取代形式逻辑吗?》一文提出批评。本文拟从《数》文的一些立论根据是否属实、正统数理逻辑的性质、逻辑和数学以至传统形式逻辑和正统数理逻辑的关系等方面,阐明传统形式逻辑和正统数理逻辑是两门性质殊异的不同学科。     

数理逻辑和形式逻辑是同一门学科的不同发展阶段

刊登在《社会科学战线》一九八二年第四期上的“有必要用数理逻辑取代形式逻辑吗?”一文所持的观点,据说在逻辑学界是有相当普遍性的,由此看来,对数理逻辑和形式逻辑的关系进行一番讨论澄清的工作在国内学术界还是有必要的。杜岫石同志的这篇文章(以下简称为“杜文”),提出了数理     

评《普通逻辑概论》

迟维东《普通逻辑概论》（天津人民出版社）一书的问世是逻辑学界的一大幸事,它标志着普通逻辑的教学与研究达到了一个新的水平。《概论》值得称道的精湛之处在于以下几方面：首先,从传统逻辑与现代逻辑（或称之为“数理逻辑”）相互兼容或联系角度架起了二者沟通的桥梁。这是该书的突出贡献。80年代以来,围绕形式逻辑改革问题全国逻辑学界争论了许久,涌现出“替代论”与“吸收论”两派意见：替代论者认为,形式逻辑学科发展到现在已过于陈旧、不合时宜了,有必要由迅速崛起的数理逻辑取而代之。吸收论者认为,形式逻辑与数理逻辑毕竟是…     

略论形式逻辑的改革与发展

从一九七八年全国逻辑讨论会以来,许多同志重视国外近一百年来逻辑学研究的新成果,迫切要求用数理逻辑来改革传统的形式逻辑,或创建新的“科学的逻辑”,促使形式逻辑现代化。有些同志已在这方面开始了研究工作。是必须充分加以肯定的。国外逻辑学的研究工作确是迅速发展的。其突出之处是数理逻辑的兴起,并在各个科学领域中加以应用。数理逻辑以命题演算和谓词演算为基础,进而提出集合论、递归     

关于形式逻辑的局限性问题

如何正确认识形式逻辑在认识作用方面的局限性问题,不仅与改造形式逻辑本身有关,并且也涉及到辩证逻辑研究工作的开展。目前在讨论如何改造形式逻辑中,总的说来有两种不同的看法。有些同志认为:既然是改造形式逻辑,其局限性必须克服,否则,就不是革命的改造,就不能建立无产阶级的逻辑体系。换句话说,改造过的形式逻辑,作为一种认识工具来讲,应该是足够的、无局限性可言的。另一些同志认为:改造形式逻辑某些旧的理论观点和內容体系,是完全必要的,但是其认识作用方面的根本的局限性是无法克服的。因为,这是由这门科学的特性所决定的。否则,改造后就不再成其为形式逻辑了,因为这实质上是否定了形式逻辑,而不是改造形式逻辑。上述两种看法距离是很大的。而弄清楚形式逻辑的局限性问题,对于怎样改造形式逻辑和创立辩证逻辑来讲,在理论和实践方面,都具有一定的意义。     

西方的非形式逻辑运动与我国逻辑学的走向

西方的非形式逻辑运动与我国逻辑学的走向阮松数理逻辑在我国获得较广泛的传播，大约是在８０年代中后期。①作为一种形式系统，数理逻辑所特有的那种严密和精致，确实让国内的逻辑学者大开眼界。一时间，用数理逻辑“取代”普通逻辑似乎成了大势所趋。然而事实并不象设想...     

评“经济科学要把生产力的研究放在首位”的主张

熊映梧同志最近在一篇文章里提出了“经济科学要把生产力的研究放在首位”的主张。这是一个关系重大的问题,有展开讨论的必要。这里且把我的一些看法写出来,不当之处,请熊映梧同志和其它同志批评指正。一、应该如何评价马克思主义政治经济学的历史和现状     

略论形式逻辑与马克思主义哲学的关系

关于形式逻辑与马克思主义哲学的关系问题,有许多方面,或者说可以分析为一系列的问题,我们现在只讨论其中的一个问题,这就是:形式逻辑是在马克思主义哲学之外的专门科学,抑或是马克思主义哲学的一部分?这个问题是具有理论上和实践上的意义的.目前大家对于这个问题,还没有一致的意见.大体说来,有两种不同的看法.有些同志认为:形式逻辑是马克思主义哲学的一个组成部分.这是一种看法.另外有些同志认为,形式逻辑尽管和哲学有极其密切的关系,却不能看做是马克思主义哲学的组成部分.这是另一种看法.代表后一种看法的认为:辩证逻辑是高等逻辑,它并不排斥初等     

再论形式逻辑的基本规律——兼与徐庆凯同志商榷

同一律、矛盾律、排中律(关于充足理由律的争议较多,本文暂不涉及)是形式逻辑的基本规律,这是逻辑学界一个流行的基本观点。对此,徐庆凯同志在《“形式逻辑基本规律”质疑》一文中提出了不同的看法。他认为这三条规律根本不是形式逻辑的规律,更不是形式逻辑的基本规律,而只是形式逻辑的规则。这就向逻辑学界提出了两个带根本性的问题:1.为什么说同一律等是形式逻辑的规律?2.为什么说同一律等是形式逻辑的基本规律?而在一般逻辑论著中,对这两个问题的具体论述尚不多见。因此,本文拟就此作一点探讨,顺便谈一点对徐文的不同看法,以就教于同志们。     

普遍集合概念辨析——与王明祥同志商榷

关于普遍集合概念,在我国逻辑学界是有争议的。一些同志认为:在形式逻辑研究的概念总体中,存在着一类既是集合概念又是普遍概念的概念,可以称之为普遍集合概念。另一些同志则持有异议。今年第二期《哲学研究》刊载的王明祥同志《注意逻辑理论的准确性》一文(以下简称《注意》),就提出“没有普遍集合概念”的论点。笔者认为:前一种意见是正确的,但需要解释和发挥;后一种意见是错误的,有加以讨论的必要。     

试论归纳的两重性及其处置

目前,逻辑界对归纳推理的性质存在着种种看法。有的同志认为,归纳推理属于认识方法,应该把它从形式逻辑体系中独立出来,归入科学的方法论中去加以研究,有的同志认为,归纳推理属于思维形式,应放在形式逻辑中加以研究,把它从形式逻辑体系中独立出去,反而会破坏形式逻辑科学体系的完整性,有的同志认为,归纳推理本身有两重性,“一身兼有二任”,在一定条件下,它是认识现实的方法,在另外的条件下,它又是思维反映现实的形式。对上述见解,笔者同意第三种看法,而不同意第一、二种看法。     

怎样理解充足理由律是形式逻辑的一个基本规律

在目前关于形式逻辑的对象和作用问题的讨论中,有些人不同意“形式逻辑是研究思维形式的结构及其规律的科学”这一说法。他们的理由是:“如果形式逻辑的研究对象是思维形式的结构及其规律的话,就势必要把归纳逻辑、充足理由律等排除于形式逻辑之外。”几年来,在有关形式逻辑的问题讨论中,那些主张“內容决定形式”、“形式逻辑要管具体思维內容真假”的同志,一直是以充足理由律作为他们进行论证的主要根据之一的。他们认为,既然充足理由律是形式逻辑的一个基本规律,而充足理由律要求用作理     

关于扩大再生产平衡条件的基本公式

《经济研究》1979年第10期发表了张薰华同志的《论扩大再生产平衡条件的基本公式》一文,读了以后有些看法,现写出来供张薰华同志参考并请读者指正。(一)张薰华同志在文中提出,应该用以等式表现的扩大再生产实现条件的公式I(V ΔV m/x)=Ⅱ(C ΔC)取代以不等式表     

普及逻辑科学 为四化建设服务——记省逻辑学会成立以来的普及工作

江苏省逻辑学会自一九八○年四月成立后,根据邓小平同志当时在《目前的形势和任务》的讲话中提出的“科学技术主要是为经济建设服务的”这一指导思想,以广泛普及形式逻辑(包括普通逻辑和数理逻辑)科学作为自己活动的重点。五年来,学会的科学普及工作是从下面五个方面逐步展开的:一、开办讲习班,培训和壮大中等学校逻辑教师队伍。从一九八一年到一九八三年,省逻辑学会在南京地区共举办了三十七次普通逻辑和     

形式逻辑必须根本改造吗

郑毅男同志在他的所谓形式逻辑的根本改造问题上,先后发表过两篇文章。在第一篇文章中,他主张对“现行形式逻辑体系”进行“根本改造”,改造的方法是把形式逻辑加以革命化、辩证化、实践化,要把辩证、实践观点“引入”形式逻辑之中。在第二篇文章中,他则改为:主张“修正”“旧形式逻辑”,修正的方法是要用辩证唯物主义的观点研究形式逻辑,清除唯心主义和形而上学的歪曲,清除形式逻辑的僵化、碎片化、空洞化的局限性(他称为“形而上学特点”)。但由于郑毅男同志在文章中所说的“改造”直接牵涉到     

数理逻辑在科学发展中的作用

本文介绍了数理逻辑在科学发展中的作用,着重分析了它和传统形式逻辑的联系和区别,并指出应当运用数理逻辑的优秀成果来改造古老的传统形式逻辑。     

正确理解同一律的基本内容和作用——简评《同一律作用探讨》的基本观点

<正> 正确理解同一律的基本内容和作用,是关系到如何正确理解形式逻辑的科学性质及其作用的重要问题。宋祖良同志的《同一律作用探讨》(见《青海社会科学》1984年第2期,以下简称宋文)一文对此提出了自己的看法。这些看法有一定的代表性,但其基本观点是不能成立的。本文就如何正确理解同一律的基本内容和作用的问题谈一些不成熟的看法,请大家批评指正！     

关于“逻辑眼界”——与李匡武同志商榷

一关于形式逻辑与辩证邏辑的关系问题,恩格斯在《反杜林論》一书中已經做了十分深刻的阐明。他认为,辩证法是“处在更高的阶段上”的逻辑方法,它“突破形式逻辑的狭隘的眼界,在自身中包含着更广大的世界观的萌芽”。章沛同志根据恩格斯这些論断认为:眼界的区别是形式逻辑和辩证逻辑之间具有“钥匙意义”的区别。我是同意章沛同志这一见解的;李匡武同志对章沛同志的批评意     

关于形式逻辑的修正问题

在修正旧的形式逻辑、建立为社会主义服务的形式逻辑科学体系这个问题上,目前公开发表的意见(或方案)已经有了好几种。我们觉得这些意见中的某些意见,有商榷的必要。有一种意见,如刘丹岩同志认为:修正形式逻辑,就是创立辩证逻辑,也就是创立统一的逻辑。他说:“修改形式逻辑和创造辩证逻辑是一回事,而不是两回事,修改了形式逻辑同时就是建立了辩证逻辑”。在修改形式逻加之外,“另外创立一个辩证逻辑”就是“把统一的逻辑割裂了”,“让辩证法和形而上学同时存在、和平共居”。为什么刘丹岩同志这样认为呢?原来是他认为