甘肃省逻辑学会举行首届年会

甘肃省逻辑学会于一九八三年十二月下旬在兰州举行首届年会。会上介绍了国内外逻辑学研究动态、毛泽东同志有关逻辑的论述、数理逻辑知识和法制逻辑的论文。有的同志还就运用逻辑指导工作和中学语文中的逻辑教学等问题作了发言。为适应加快四化建设的需要,促进学术交流,提高会员的业务水平,开创逻辑教学、科研、普及工作的新局面,学会作出了五项决定。     

陕西省逻辑学会召开第二届学术讨论会

1984年4月5日至7日,陕西省逻辑研究会在西安召开了第二届学术讨论会。有26人参加会议,收到论文10篇。省逻辑研究会负责人杜辛可作了《逻辑研究的现状和我们的任务》的发言,汝季扎介绍了国外数理逻辑研究的情况。会议交流了省内逻辑研究的成果,主要围绕数理逻辑与传统逻辑的关系问题展开了热烈的讨论。大家看到了陕西省在逻辑研究方面存在的差距,下决心花大力气尽快改变落后面貌。     

北京市逻辑学会举行形式逻辑专题讨论会

北京市逻辑学会于1984年5月16日举行了一次形式逻辑专题讨论会,参加会议的有会员30余人。现把讨论情况分题介绍于下: 一传统形式逻辑发展的方向和趋势问题在这一问题上除原来的两种意见外,又出现一种新的意见。原来的两种意见是:(1)认为传统形式逻辑到现在已不能适应新形势,其发展方向和趋势是必然为现代形式逻辑即数理逻辑所代替;(2)认为传统形式逻辑应该改革,但其方向和趋势绝不是用数理逻辑完全取代传统形式逻辑,而是传统形式逻辑本身的现代化,它是以自然语言为基础的现代化,吸收数理逻辑某些优点以充实自己,它这样现代化后还是形式逻辑,和以人工语言为基础的数理逻辑还是不同的。现在提出的一种意见则是:     

前事不忘,后事之师

本世纪20～30年代传统逻辑在中国有过一阵子兴旺,接着却产生了种种曲解,乃至全盘否定。50年代传统逻辑又热闹起来,但不久就被“修正”、“改造”到前提假推理形式必错。这离根本不讲逻辑已为时不远了。数理逻辑于20年代已传入中国。30～40年代在中国有了初步的发展。50年代初却也视为伪科学。党的十一届三中全会以来,传统逻辑在中国得到了空前的大普及,数理逻辑基础知识在逻辑工作者中间也得到了一定程度的普及。不过随之而来对传统逻辑、数理逻辑的误解,也日益增多。1989年各刊物上发表的逻辑论文,有一些对传统逻辑、数理逻辑提出了似是而非的批评:这些批评又     

近两年形式逻辑读本的新动向

目前多数逻辑工作者认为,几十年来形式逻辑的讲授,基本上是一百多年前的内容,虽有点修正和改革,但都没有突破传统逻辑的老框框。1984、1985两年又出版了不少形式逻辑的教材,自学辅导读物等。在传统逻辑的基础上不同程度地吸收了数理逻辑的初步内容,探索着改革的道路。这些读本大致有两种不同的类型。一种类型是开始用现代逻辑(数理逻辑)来改造传统逻辑教材。如陈宗明、黎祖交的《干部简明逻辑》(浙江人民出版社);徐元瑛、沙青的《普通逻辑纲要》(河北大学教材科);夏兴有的《形式逻辑基础》(中国人民解放军西安     

关于传统逻辑与数理逻辑的相互关系——人民大学逻辑研讨班讨论纪要

1987年2月至5月,人民大学逻辑研讨班围绕传统逻辑和数理逻辑的关系以及普通逻辑教材中引进数理逻辑的可行性和适度性问题进行了多次讨论。来自全国各地的数十位逻辑教师参加了讨论。大家一致认为,逻辑课教学改革的一个关健问题,是如何认识传统逻辑和数理逻辑(或现代形式逻辑)的关系。在这个问题上,大致有以下两种不同看法: 一种意见认为,传统逻辑和数理逻辑本质上是一致的。数理逻辑是传统逻辑的发展,它们都是透过自然语言去研究思维的形式结构的。但二者手段不同:传统逻辑用自然语言去研究自然语言,这是一个封闭的系统,是不完全的;而数理逻辑把自然语言符号化,     

全国归纳与概率逻辑讨论会纪要

中国逻辑学会召开的全国归纳与概率逻辑讨论会于1984年8月21-26日在大连举行。与会代表有来自全国各地的逻辑、数理逻辑、数学、物理学、计算机科学、自然辩证法与科学哲学等学科的科学工作者共30多     

《数理逻辑初步》一书评介

莫绍揆先生编著的《数理逻辑初步》,最近已经出版。此书约十二万字,通过对“数理逻辑的由来”,“数理逻辑的主要内容”、“关于数理逻辑的三大派”、“数理逻辑中一些基本概念”、“数理逻辑的应用”等各章内容的阐述,初步回答了人们所关心的关于数理逻辑的一些问题。 数理逻辑主要是研究推理、计算等逻辑问题的一门科学,既牵连逻辑又牵连数学,作者考虑到本书读者主要是哲学和逻辑工作者,所以尽量避免过多涉及高深的数学理论问题,而着重采用纵横交织的叙述方法来介绍数理逻辑。所谓“纵”,就是数理逻辑产生和发展的历史,所谓“横”,就是数理逻辑各部分的内容。作者把这两方面交织起来叙述,可以说是此书的一大特点。作者首     

解放前我国传统逻辑中争论的若干问题

形式逻辑(这里主要指传统逻辑)在我国的传播已有三百多年的历史。但从明末李之藻第一次传入西方演绎逻辑的著作——《名理探》开始至“五四”运动前近三百年时间里,传统逻辑基本上还处在传入阶段。“五四”运动以后,数理逻辑开始传入,国内学者自著的逻辑著作也开始大量出版,一些大学、中学和师范开始设置了逻辑课,一批逻辑教学用书大量发行,于是传统逻辑进入了普及阶段。这时,逻辑界开始对传统逻辑中的理论和方法进行广泛的探索,并展开了不同意见的争论,其中不少问题是解放后继续争论的问题。下面我仅把与今天逻辑界的争论有关联的一些主要问题作些概略的介绍,供大家参考。     

云南省逻辑学会召开1983年年会

1983年8月17—20日,云南省逻辑学会在昆明召开了成立后的第一次年会。年会讨论了会议收到的有关形式逻辑、辩证逻辑和数理逻辑等方面的著作和论文,还对如何进一步加强云南省逻辑学普及工作以及结合云南特点开展逻辑学研究等问题进行了讨论。     

读周文英主编的《逻辑教程》有感

关于逻辑教科书内容的改革一直是逻辑界普遍关心的问题,也曾经推出过各种教材改革方案,有的将传统逻辑和辩证逻辑分为两个互相独立的部分合在同一本教材中;有的将传统逻辑和辩证逻辑综合为一个体系内容;有的在传统逻辑中加上部分数理逻辑(如两个演算章节);有的将传统逻辑和数理逻辑作为两个相对独立的部分合写在一个教科书中;更多的只是就传统逻辑本身的体系和内容作些改革或增加了实用性内容,如经济逻辑、教育逻辑、法律逻辑等各种应用逻     

形式逻辑体系改革问题研究简介

形式逻辑如何现代化?怎样认识传统逻辑的意义及其局限性?如何理解形式逻辑、辩正逻辑和数理逻辑的关系?怎样修正、丰富和发展形式逻辑体系?如何建立新的普通逻辑体系?围绕着这些问题,最近一个时期我国逻辑界展开了热烈的讨论,不同意见表现在以下几方面。一种意见认为传统逻辑过时了,应该将它放进逻辑史的內容里去研究,现代逻辑就是数理逻辑,应该用数理逻辑取代传统逻辑,使形式逻辑全盘符号化。     

逻辑、语言和思维:不同理论态度的剖析

从十七世纪末叶莱布尼兹提出数理逻辑的最初设想起,至今已有大约三百年的历史。其间,现代逻辑大致经历了三个主要的发展阶段。首先,逻辑学家通过引入数学方法研究和处理传统逻辑而建立起逻辑代数和关系逻辑,继而,又应研究数学基础问题和数学思维     

罗马尼亚科学家论数学逻辑

布加勒斯特出版的周刊“现代人”今年5月与6月号上发表了一系列的罗马尼亚的哲学家与数学家的论文,这些论文从辩证唯物主义的立场考察了数理逻辑问题。我们所指的是下列各篇论文:科学院院士阿塔拉西·若日的“什么是逻辑”,科学院院士格里果里·莫耶西的“数学逻辑的昨日与今日”,布加勒斯特大学教授尼库里奇的“自然的思惟与否定的规律”,还有哲学研究所的研究员拉杜·斯托伊克茨的“多值逻辑”,巴弗·阿波斯托的“形式逻辑、数理逻辑与辩证逻辑”。参加讨论的人都正面地估价了数理逻辑在解释古典形式逻辑中的成就,以及数理逻辑在探讨现代数学、特别是那些与自动化、控制论、电子学的技术     

关于语言逻辑的对象和方法的讨论

中国逻辑与语言研究会1984年年会于8月11日至17日在旅顺举行。这次年会,是我国第一次专门讨论语言逻辑(国际上一般称为自然逻辑)的对象和方法的学术会议。关于什么是语言逻辑,在会上大致发表了十种不同     

北京市逻辑学会召开二届三次理事会

北京市逻辑学会于1984年1月25日召开了第二届第三次理事会,会议由会长方华主持。会议作出了三项决议:一、同意1983年学会工作总结;二,同意1984年学会学术活动计划;三、通过新会员名单。1983年召开了首届年会,以归纳问题为中心开展了讨论;编辑了首届年会论文集和全国第二次形式逻辑讨论会论文集。1984年计划:一、学术报告会有①国外关于归纳问题讨论的情况(报告人王雨田),②美国逻辑研究的情况(报告人周礼     

二十世纪逻辑学的发展

逻辑学是一门古老的科学,在很长的历史时期内,发展缓慢;但近一百年来得到了迅速的发展。人们通常把近一百年来迅速发展起来的逻辑学叫做现代逻辑,它的主要部分是数理逻辑。数理逻辑,按其性质,既是逻辑学又是数学。数理逻辑的建立是逻辑学     

逻辑教学的形象化

认真研究逻辑教学的规律,探索行之有效的教学方法,是普及逻辑知识的一个重要问题。笔者在教学中体会到,逻辑教学必须把科学系统性和具体生动性结合起来,做到逻辑教学形象化。逻辑教学形象化,可采取以下几种方式。一、把逻辑知识的教学和学生日常生活中的思维活动结合起来。初学逻辑者往往认为逻辑学很神秘。教师要抓住学生日常生活中的思维现象进行逻辑分析,让学生体会到逻辑是具体的。例如,有的学生说:“我又不当逻辑     

论“必然地得出”

联合国教科文组织明确规定逻辑是与数学、物理、化学、天文、地理、生命科学等学科并列的基础学科。这里的逻辑指的是现代逻辑。可见现代逻辑在教学中所处的地位是十分重要的，应该得到足够的重视。然而在我国，对现代逻辑的教学和研究却重视得非常不够，至今也没有几所高校把现代逻辑列为本科生的必修课。我认为，造成这种状况的原因有许多，其中一个比较主要的原因存在于我们从事逻辑教学和研究的人本身，这就是许多人对逻辑的性质认识不清。如今我们在“逻辑”的名义下进行的教学和研究的内容主要包括普通逻辑、数理逻辑、归纳逻辑、辩证…     

引进数理逻辑的符号表达式应合逻辑

逻辑是一种规范,逻辑自身必须合逻辑。逻辑学有着悠久的历史,发展到今天已成为一个多层次、多学科的庞大系统。数理逻辑的符号表达式,大大简化了逻辑繁杂的语言表达。但有些符号的引入,违反了逻辑的自身要求,不合逻辑。由十一所高等院校编写的《普通逻辑》(修订本),扩大了对数理逻辑有关成果的引进面,把传统的逻辑知识同现代逻辑的知识联系起来,这是逻辑教材发展的方向。但此书在负判断一节中引进“P∨q(?)(P∧q)∨(p∧q)”和“p(?)q(?)(p∧q)∨(p∧q)”,这两个表达式存在逻辑错误。