首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
自20世纪20年代起,数理逻辑传入了中国,并沿着自己的道路在中国发展。在中国,最先介绍数理逻辑的是汪奠基,而后影响较大的是金岳霖。新中国成立后,我们自己培养的数理逻辑研究队伍在不断地发展壮大。数理逻辑分别有逻辑演算、递归论、模型论、公理集合论、证明论。我国数理逻辑工作者近年来在这几方面都取得了相当大的进展。  相似文献   

2.
"王文"以数理逻辑否定普通逻辑、批判性思维逻辑、非形式逻辑是以小逻辑观否定大逻辑观;"王文"混淆传统逻辑与普通逻辑,混淆数理逻辑与现代逻辑,其"以数理逻辑完全取代普通逻辑"的错误主张偷换为冠冕堂皇的"以现代逻辑取代传统逻辑"的口号;绝对不能以数理逻辑取代普通逻辑,"王文"所提出的以数理逻辑取代普通逻辑的种种理由都是不能成立的.  相似文献   

3.
亚里士多德逻辑思想是研究各类科学知识的工具 ,它是适应古希腊演讲、论辩之需要而产生的。亚里士多德逻辑思想是大逻辑思想 ,除了证明推理外 ,还有辩证推理、归纳、定义、辨谬等内容 ,并涉及了预设理论、问题逻辑、语境与逻辑等现代逻辑关注的问题。逻辑研究应提倡兼容 ,数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。  相似文献   

4.
略论现代逻辑在当代高等教育中的地位和作用   总被引:1,自引:0,他引:1  
19世纪末 2 0世纪初产生的数理逻辑引发了逻辑学领域内的伟大革命 ,并且代替传统形式逻辑成为现代科学的基础科学。在基础的广泛性、应用的普遍性以及提高当代大学生的逻辑思维素质和能力等方面 ,传统形式逻辑跟数理逻辑不可同日而语。因此 ,在当代高等教育中现代逻辑应当成为素质教育的核心课程、基础课程  相似文献   

5.
也谈我国的逻辑教学——与王路先生商榷   总被引:6,自引:0,他引:6  
数理逻辑是在普通逻辑发展过程中相对于传统逻辑的高级阶段,而不是真正的现代逻辑,因此,不能借逻辑现代化的口号用数理逻辑内容取代大学文科逻辑教材中的传统逻辑内容。大学文科逻辑教材的任务,是要让学员通过逻辑学的学习,掌握运用各种思维形式的一般知识,以利于他们以后的学习和工作,而不是培养杰出的逻辑学家  相似文献   

6.
海德格尔从哲学探究的角度出发 ,对哲学和逻辑进行了深入的思考。他认为 ,逻辑是关于一个语句的意义和判断的内容的。数理逻辑的发展使逻辑丧失其重要性并且远离了本体论的讨论。哲学逻辑并不是一门新科学 ,而只是实现了从一开始就在进行的对于传统逻辑的刻画。研究海德格尔的哲学和逻辑思想可以得到的基本启示是 :我们在进行哲学逻辑以及逻辑哲学研究的时候 ,一定要有一个理念 ,即逻辑是需要哲学来为其辩护的 ,逻辑的研究要有一个哲学的基础。哲学逻辑是逻辑在哲学中的应用 ,在应用的过程中哲学理念已经深深地灌输进去 ,哲学与逻辑已水乳交融 ,两者的联盟使得各自的学科都得到了长足的发展。  相似文献   

7.
海德格尔从哲学探究的角度出发,对哲学和逻辑进行了深入的思考.他认为,逻辑是关于一个语句的意义和判断的内容的.数理逻辑的发展使逻辑丧失其重要性并且远离了本体论的讨论.哲学逻辑并不是一门新科学,而只是实现了从一开始就在进行的对于传统逻辑的刻画.研究海德格尔的哲学和逻辑思想可以得到的基本启示是:我们在进行哲学逻辑以及逻辑哲学研究的时候,一定要有一个理念,即逻辑是需要哲学来为其辩护的,逻辑的研究要有一个哲学的基础.哲学逻辑是逻辑在哲学中的应用,在应用的过程中哲学理念已经深深地灌输进去,哲学与逻辑已水乳交融,两者的联盟使得各自的学科都得到了长足的发展.  相似文献   

8.
沈有鼎先生是中国著名的现代逻辑学家及逻辑史家,他在数理逻辑和中国逻辑史领域均取得了突出的研究成果,分析、梳理沈有鼎的经典著作及其体现的逻辑思想,可以展现对经典大师及经典著作进行研究的方法论价值与意义.  相似文献   

9.
数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理,是人工智能产生和发展的最重要的基础。从逻辑推理、自然语言形式化、数学命题形式化及动态系统行为描述四个方面入手,提出了基于数理逻辑的知识表示方法与实例,并提出谓词逻辑的局限与应当进一步研究的问题。  相似文献   

10.
从传统逻辑的现代化谈起   总被引:1,自引:0,他引:1  
本文对 2 0多年来我国高校文科① 进行的逻辑教学改革进行了系统的反思。指出 ,传统逻辑比较全面地研究了人类最基本的思维形式 ;比较系统地、全面地研究了论证 ;它是一切逻辑科学的基础 ;它最系统、全面地研究了普通思维的逻辑基本规律 ;它虽然具有种种局限性 ,但至今仍具有广泛的使用价值 (特别是对于高校文科学生来说 )。由于人们对“逻辑现代化”和“逻辑教学现代化”口号的误解 ,我国高校文科的逻辑教学改革走偏了方向 ,致使我国的逻辑教学在近些年来陷入了低谷。我国高校文科逻辑教学要走出低谷 ,必须走出对传统逻辑现代化和逻辑教学现代化认识的误区。传统逻辑现代化的前提是保留传统逻辑而不是以数理逻辑去取代传统逻辑 ;逻辑教学现代化是整个高校的逻辑教学系统要现代化 ,而不是以数理逻辑教学去取代传统逻辑教学。“取代论”者的论据是站不住脚的 ,我国高校文科的逻辑教学仍应以传统逻辑为主 ,数理逻辑为辅。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号