“吸收论”的两种归宿——中国高校文科逻辑教学走向何处

80年代初数理逻辑与传统逻辑的关系的争论中,大致有4种观点取代论,统一论,吸收论,永恒论(并存论)。吸收论不过是权宜之计,不可能无穷无尽地吸收下去。永恒论不应该是吸收论的终点,吸收论理应向取代论转化。大学里还是需要讲传统逻辑的,它是西方逻辑史的内容,不是普通逻辑,即逻辑概论的内容。 中国传统学术缺乏逻辑精神。本文把逻辑精神归结为两点一、只管推理形式是否有效,不管命题是真是假。二、亿万次证实不能代替证明。     

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

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

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

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

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

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

论形式逻辑和辩证逻辑的互补前提设定

论形式逻辑和辩证逻辑的互补前提设定罗翊重逻辑是分类型的。迄今为止，逻辑学最基本的类型可分为形式逻辑和辩证逻辑这两大类型。经典数理逻辑因是传统形式逻辑的现代发展，因此可将其归入形式逻辑类型。在本文中，凡我们所指的形式逻辑，也包括其现代形态的经典数理逻辑...     

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

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

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

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

关于形式逻辑教科书中的几个问题

相当长时间,我国高等院校所使用的形式逻辑教科书内容相当陈旧。1979年以来,先后出版了金岳霖主编的《形式逻辑》、北京师范大学等十一院校编写的《普通逻辑》、中国人民大学哲学系逻辑教研室编写的《形式逻辑》杭州大学等十院校编写的《逻辑学》、杜岫石编写的《形式逻辑教程》、邱觉心编写的《形式逻辑纲要》等作为高等院校文科形式逻辑教材。这些新著吸收了国内外逻辑研究的新成果,并力求有所创新,充     

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

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

亚氏三段论的古今考察——兼论逻辑表述语言的转向

一、前言被誉为“西方逻辑之父”的亚里士多德作为古典形式逻辑的创始人 ,第一个全面、系统地研究了人类的逻辑思维问题。他的著名言论被后继者汇编在一起 ,取名为《工具论》。在《工具论·分析前篇》中 ,亚氏详尽探讨的三段论问题成为传统逻辑的重要内容 ,以致于黑格尔对其颇有评价 :“亚里士多德是考察并描述三段论的各种形式和所谓格的主观意义的第一人。他做得那样严密和正确 ,以致从来没有人在本质上对他的研究成果有所增加。”1传统逻辑三段论基本上承袭了亚氏三段论的原形 ,只是稍加了变动。近百年来 ,随着现代数理逻辑的崛起和迅猛…     

对普通逻辑有关推理的四个概念的辨正

对普通逻辑有关推理的四个概念的辨正沈长月《中国大百科全书·哲学卷》．在“推理”词条下，从现代形式逻辑的视角，界定了推理的“真实性和有效性”；《哲学大辞典·逻辑学卷》（上海辞书出版社，１９８８年版），以“推理的正确性与真实性”为条目，其中涉及了‘”推理...     

排中律适用范围浅论——兼与李秀圃同志商榷

关于排中律的适用范围,现行的几种逻辑教材有着两种不尽相同的表述。一种认为排中律“只适用于两个互相矛盾的判断,而不适用于两个互相反对的判断”,以金岳霖本《形式逻辑》为代表;另一种认为排中律“适用于具有矛盾关系或下反对关系的判断”,以上海本《普通逻辑》(1986年修订本)为代表。两相比较,后者在排中律的适     

论辩逻辑的复兴与创新

逻辑学在古代社会丰富而激烈的论辩和争鸣中产生。古代三大逻辑──印度的正理论和因明、中国的名辩学、希腊的逻辑──或属论辩逻辑类型，或有浓重的论辩逻辑色彩，或部分属于论辩逻辑。但是，在历史发展的一定阶段，论辩逐渐衰落。到了近代和现代，推理的逻辑成为主流。现代逻辑主要是数理逻辑，其特点是用形式化的方法研究推理，取得了巨大的成绩。 改革开放以来，我国逻辑学界一直关注“形式逻辑现代化”、“逻辑课程的现代化”、“普通逻辑教材的改革和现代化”等问题，提出了若干改革方案，展示了不少改革成果。然而，也出现了偏向：…     

论“可此可彼”！──再答复马佩教授

论“可此可彼”！──再答复马佩教授（香港）黄展骥１．前言我曾发表《“逻辑矛盾”与“辩证矛盾”并行不悖吗？》（《人文杂志》１９９４，６。下注的期刊年代期数均指本刊），很高兴获得马佩教授的“回应”：《也论“逻辑矛盾”与“辩证矛盾”》（１９９５，３）。及后...     

论荀况的“谈说之术”

论荀况的“谈说之术”崔清田荀况是重视“辩”的思想家。他甚至认为“辩”是做君子与诚士的一个基本条件，因而响亮地提出了“君子必辩”，同时也研究了“辩”的种种问题。在中国逻辑史研究中，荀况论“辩”的思想一直被视为挖掘与整理逻辑（传统形式逻辑）在中国古代存在...     

略论墨家关于“立辞”的谬误

本文认为墨家“立辞”的谬误论体现出对论证评估的批判性、辩证性、语用性、交际性或社会性 ,它包含着极为丰富的非形式逻辑思想 ,作为原创性的论证逻辑 ,对它的创造性诠释 ,可以作为现代论证逻辑或“非形式逻辑”的重要组成部分     

现代逻辑研究成果的结晶──评《现代逻辑辞典》

杨百顺、李志坚两同志组织国内数十位有关专家、学者编撰的《现代逻辑辞典》（湖北教育出版社1995年2月出版，责任编辑陆才坚），是国内具有开创性的现代逻辑的百科全书式的工具书。这部长达百万字的著作，内容十分丰富。初读起来，我们发现它有以下四个显著特点值得注意：一是新。这是一部名符其实的《现代逻辑辞典》，具有鲜明的现代性、新颖性。现代逻辑是20世纪的一门新兴学科，其中数理逻辑是主流。数理逻辑在20世纪初兴起后，到30年代获得了迅速的发展。一方面集合论、证明论、递归论和模型论应运而生，另一方面出现了不同于经典逻辑…     

“亦人亦猿”悖论──评杨熙龄的“矛盾与悖论”

本文提出了"亦人亦猿"停论，并摘引杨熙龄《奇异的循环--逻辑停论探析》（辽宁人民出版社，1986年12月初版）有关矛盾和悻论的几个片段，来点评析，借此消解"亦人亦猿"悻论。本文有些地方过于简略。读者如感兴趣，参看文末的几篇拙著及几位论者对我文的批评，可有较详尽的解释。杨说（摘要）：区别逻辑矛盾和辩证矛盾（包括逻辑修论）是个重大而困难的问题，大家还在讨论。波普尔喜欢用"白天鹅"例子来说明"矛盾必然假"：所有天鹅是白的（甲）。有些天鹅不是白的（非甲）。甲、非甲是逻辑矛盾。波认为两者既不能同真，也不能同假，而是必有一…     

评马特的《矛盾律》──“不能同真”与“敌视斗争”

“形式”、““辩证”两种逻辑最突出、最根本的就是逻辑思维的基本规律问题。苏联《哲学问题》杂志1951年第6期的《逻辑问题讨论总结》，根据马列经典和斯大林同志的《马克思主义和语言学问题》，给这个在马列经典中被认为早已有明确的规定，但却被一些哲学、逻辑学家长期地模糊了的问题，作了一些被认为正确的解决的引线。亚历山大罗夫在他主编的《辩证唯物主义》一书中，对这个问题又作了一些必要的补充：“绝不能把辩证法和形式逻辑看作互相排斥、互相敌视的对立物。”①马特在他的《论逻辑规律》一书中说：现在，我们试图遵循、参考上…     

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

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