共查询到20条相似文献,搜索用时 15 毫秒
1.
从十七世纪末叶莱布尼兹提出数理逻辑的最初设想起,至今已有大约三百年的历史。其间,现代逻辑大致经历了三个主要的发展阶段。首先,逻辑学家通过引入数学方法研究和处理传统逻辑而建立起逻辑代数和关系逻辑,继而,又应研究数学基础问题和数学思维 相似文献
2.
1987年2月至5月,人民大学逻辑研讨班围绕传统逻辑和数理逻辑的关系以及普通逻辑教材中引进数理逻辑的可行性和适度性问题进行了多次讨论。来自全国各地的数十位逻辑教师参加了讨论。大家一致认为,逻辑课教学改革的一个关健问题,是如何认识传统逻辑和数理逻辑(或现代形式逻辑)的关系。在这个问题上,大致有以下两种不同看法: 一种意见认为,传统逻辑和数理逻辑本质上是一致的。数理逻辑是传统逻辑的发展,它们都是透过自然语言去研究思维的形式结构的。但二者手段不同:传统逻辑用自然语言去研究自然语言,这是一个封闭的系统,是不完全的;而数理逻辑把自然语言符号化, 相似文献
3.
1984年4月5日至7日,陕西省逻辑研究会在西安召开了第二届学术讨论会。有26人参加会议,收到论文10篇。省逻辑研究会负责人杜辛可作了《逻辑研究的现状和我们的任务》的发言,汝季扎介绍了国外数理逻辑研究的情况。会议交流了省内逻辑研究的成果,主要围绕数理逻辑与传统逻辑的关系问题展开了热烈的讨论。大家看到了陕西省在逻辑研究方面存在的差距,下决心花大力气尽快改变落后面貌。 相似文献
4.
5.
形式逻辑如何现代化?怎样认识传统逻辑的意义及其局限性?如何理解形式逻辑、辩正逻辑和数理逻辑的关系?怎样修正、丰富和发展形式逻辑体系?如何建立新的普通逻辑体系?围绕着这些问题,最近一个时期我国逻辑界展开了热烈的讨论,不同意见表现在以下几方面。一种意见认为传统逻辑过时了,应该将它放进逻辑史的內容里去研究,现代逻辑就是数理逻辑,应该用数理逻辑取代传统逻辑,使形式逻辑全盘符号化。 相似文献
6.
朱水林的《现代逻辑引论》一书1989年11月已由上海人民出版社出版。拜读之后,觉得该书很有些特色,就此谈谈一些想法。第一,现代逻辑发展迅猛,正象书中引言所说,现代逻辑的触须已伸向四面八方,与数学、计算机科学、自然科学、哲学、语言学、社会科学互相渗透,产生了许多综合成果,确立了不少边缘分支,形成门类纷繁的新体系;它的主流是沿着数学及其应用的方向前进的,但是在哲学逻辑、自然语言逻辑等方面,都形成了新的令人注意的发展趋势。然而由于种种原因,现代逻辑的研究在我国仍比较薄弱,出版的这一方面的专著也很少。前些年出版的王宪钧的《数理逻辑引论》,胡世华、陆钟万的《数理逻辑基础》,莫绍揆的《数理逻辑教程》,近几年出版 相似文献
7.
莫绍揆先生编著的《数理逻辑初步》,最近已经出版。此书约十二万字,通过对“数理逻辑的由来”,“数理逻辑的主要内容”、“关于数理逻辑的三大派”、“数理逻辑中一些基本概念”、“数理逻辑的应用”等各章内容的阐述,初步回答了人们所关心的关于数理逻辑的一些问题。 数理逻辑主要是研究推理、计算等逻辑问题的一门科学,既牵连逻辑又牵连数学,作者考虑到本书读者主要是哲学和逻辑工作者,所以尽量避免过多涉及高深的数学理论问题,而着重采用纵横交织的叙述方法来介绍数理逻辑。所谓“纵”,就是数理逻辑产生和发展的历史,所谓“横”,就是数理逻辑各部分的内容。作者把这两方面交织起来叙述,可以说是此书的一大特点。作者首 相似文献
8.
9.
数理逻辑的集大成者罗素说,“莱布尼茨坚信逻辑不仅在它本门范围内重要,当作形而上学的基础也是重要的。他对数理逻辑的研究,研究成绩他当初假使发表了,会重要之至;那么,他就会成为数理逻辑的始祖,而这门科学也就比实际上提早一个半世纪问世。”莱布尼茨终身都怀着希望,“想发现一种普遍化的数学,他称之为‘Chanacten- 相似文献
10.
1.什么是数理逻辑——一个需要商榷的提法在我国,人们习惯上称传统逻辑为形式逻辑,称现代逻辑为数理逻辑或符号逻辑。那么,什么是数理逻辑呢? 一种通常的提法是:数理逻辑是运用数学方法研究思维的形式结构及其规律的科学。这种提法需要商榷。首先,什么是数学方法?数学方法区别于其他方法之处,就在于它的精确性与严格性。用更本质的概念刻划,就在于它的逻辑性。因此,用“运用数学方法”来规定数理逻辑,难免有循环定义之嫌。事实上,用推 相似文献
11.
本世纪20~30年代传统逻辑在中国有过一阵子兴旺,接着却产生了种种曲解,乃至全盘否定。50年代传统逻辑又热闹起来,但不久就被“修正”、“改造”到前提假推理形式必错。这离根本不讲逻辑已为时不远了。数理逻辑于20年代已传入中国。30~40年代在中国有了初步的发展。50年代初却也视为伪科学。党的十一届三中全会以来,传统逻辑在中国得到了空前的大普及,数理逻辑基础知识在逻辑工作者中间也得到了一定程度的普及。不过随之而来对传统逻辑、数理逻辑的误解,也日益增多。1989年各刊物上发表的逻辑论文,有一些对传统逻辑、数理逻辑提出了似是而非的批评:这些批评又 相似文献
12.
近几年来,国内许多讲授普通逻辑的教科书都引进了一些数理逻辑的内容,例如在概念部分增加了一些集合论的知识,在判断和推理部分引入了真值表和命题逻辑的公式等等,对于充实和丰富普通逻辑的内容,起了一定的作用。数理逻辑是在传统逻辑的基础上发展起来的一门新兴科学,它对于思维的逻辑形式方面的研究是卓有成效的。 相似文献
13.
目前多数逻辑工作者认为,几十年来形式逻辑的讲授,基本上是一百多年前的内容,虽有点修正和改革,但都没有突破传统逻辑的老框框。1984、1985两年又出版了不少形式逻辑的教材,自学辅导读物等。在传统逻辑的基础上不同程度地吸收了数理逻辑的初步内容,探索着改革的道路。这些读本大致有两种不同的类型。一种类型是开始用现代逻辑(数理逻辑)来改造传统逻辑教材。如陈宗明、黎祖交的《干部简明逻辑》(浙江人民出版社);徐元瑛、沙青的《普通逻辑纲要》(河北大学教材科);夏兴有的《形式逻辑基础》(中国人民解放军西安 相似文献
14.
数理逻辑是古典形式逻辑的发展,它是用数学的方法研究推论有效性的判定方法和原则的科学,也被称为符号逻辑、现代逻辑。数理逻辑的创立起源于十七世纪的数学家莱布尼兹所提出的宏大构想:建立一个“普通的符号语言”,即类似数学符号的“通用语言”,利用它来进行“思维的演算”。十九世纪初,英国数学家布尔发表了《逻辑的数学分析》一书,他用代数方法处理逻辑问题,建立了逻辑代数。 相似文献
15.
16.
17.
汪奠基先生(1900~1979)原名三辅,号芟芜、山父等。湖北鄂城人。他是我国现代知名的逻辑学家。汪奠基先生是最早著书向国内传播现代逻辑的中国学者之一早在1927年,年轻的教授汪奠基先生就出版了《逻辑与数学逻辑论》一书,该书用极为简明的历史叙述方法闸明了形式逻辑的历史发展,第一部分介绍了亚里士多德逻辑的基本内容,叙说传统逻辑的发展历史;第二部分则着重介绍近代数理逻辑的基本原理,闸述数理逻辑产生的历史必然性。 相似文献
18.
布加勒斯特出版的周刊“现代人”今年5月与6月号上发表了一系列的罗马尼亚的哲学家与数学家的论文,这些论文从辩证唯物主义的立场考察了数理逻辑问题。我们所指的是下列各篇论文:科学院院士阿塔拉西·若日的“什么是逻辑”,科学院院士格里果里·莫耶西的“数学逻辑的昨日与今日”,布加勒斯特大学教授尼库里奇的“自然的思惟与否定的规律”,还有哲学研究所的研究员拉杜·斯托伊克茨的“多值逻辑”,巴弗·阿波斯托的“形式逻辑、数理逻辑与辩证逻辑”。参加讨论的人都正面地估价了数理逻辑在解释古典形式逻辑中的成就,以及数理逻辑在探讨现代数学、特别是那些与自动化、控制论、电子学的技术 相似文献
19.
数理逻辑的基本特征与科学意义 总被引:3,自引:0,他引:3
一引言数理逻辑(或称数学逻辑,符号逻辑,逻辑斯諦)在科学研究中是一个新兴的重要部门。到现在,它已经是一门内容十分丰富,与其他科学部门联系很多的学科。它有着十分宽广的发展前途。它在科学研究中的重要性已经日益显示出来,而在它的发展中将更加广泛地显示出它的重要性。数理逻辑在一定的意义上是一门数学科学,然而,它不止就只是一门数学科学而已。从数理逻辑研究的对象及对象的性质看,从它所处理的部问题及问题的性质看,它是一门边缘科学。不少门边缘科学是处于两门科学之间的,如物理化学,如生物化学等。数理逻辑是处于多门科学之间的中间性的,边缘性的科学。作为一门边缘性科学,数理 相似文献