首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
<正>数理逻辑从传统形式逻辑发展而来,是一门使用符号语言和数学方法来研究演绎推理和证明的科学.在近现代数学中,数理逻辑语言是数学表述的通用语言,不仅如此,它对哲学、物理学、计算机科学等领域也都产生了深远影响.数理逻辑的初步知识还越来越受到中学数学教学的重视,不仅因为对其准确规范地运用是基本数学素养的重要组成部分,而且掌握逻辑规律和逻辑方法对提高人们讲话、写作和辩论等能力和水平都具有极  相似文献   

2.
逻辑学是研究人类思维的科学。迄今为止研究思维的逻辑学,已有形式逻辑(又称普通逻辑)、数理逻辑与辩证逻辑。形式逻辑与数理逻辑的科学体系已初具规模,辩证逻辑这门科学尚处于探索和创立的阶段。  相似文献   

3.
数学的基础是逻辑学。以前 ,师范院校数学教育专业对逻辑学未开必修课 ,使一部分中学数学教师逻辑知识先天不足 ,在教学中出现一些逻辑误区 ,本文列举三例 ,论证了逻辑误区性。  相似文献   

4.
“简易逻辑”是高中新教材中新增添的内容 ,中学数学教师基本上都没有系统地学习过这部分知识 ,使得对一些问题的理解出现了歧义 ,给教学带来了很多问题 .笔者将就这部分教学谈一些粗浅看法 .1 首先要从宏观上把握简易逻辑的地位与作用简易逻辑是逻辑学的基础知识 .逻辑学是一门研究思维形式及思维规律的基础科学 .逻辑学分为辩证逻辑与形式逻辑 ,前者是以辩证法认识论的世界观为基础的逻辑学 ,而后者主要是对思维的形式结构和规律进行研究的类似于语法的工具性学科 .逻辑学研究的中心问题是推理 ,推理的基本单位是概念 .通过概念对事物是…  相似文献   

5.
前言本书是作为大学公共课的逻辑学教材而编写的。目前,逻辑学正处于大变革、大发展之中,作为公共课,逻辑学应当怎样安排,讲哪些内容恰当,这是首先要碰到的问题。看来逻辑学将来会有大的变动,但本书主要考虑的的不是这一点,而是作为公共课的逻辑学应当如何加以处理的问题。不仅哲学系的学生,对于各个系科的学生来说,学习逻辑学这门公共课,在训练他们的逻辑思维的同时,并且可以给予他们理解各门学科所需要的基础知识。现在,数理逻辑虽然正以迅猛的势头在对传统逻辑进行渗透,而传统逻辑的观点和用语仍为各门学科所使用,甚至人们日常使用的语言等,许多都还是来自传统逻辑。传统逻辑作为各门  相似文献   

6.
本文主要讨论了逻辑与数学以及数学教学之间的关系 ,并说明中学数学教师学习逻辑学的重要意义以及逻辑学对于培养中学数学教师的作用  相似文献   

7.
在江苏高中版数学新教材选修内容中增加了简易逻辑的知识,虽然增加的内容不多,但要透彻理解并正确地应用逻辑知识解决一些问题并非易事,这给未系统学过逻辑、特别是数理逻辑知识的中学数学教师带来困难,本文试从开语句、真值集入手较系统地介绍一些逻辑知识,并借此澄清某些模糊认识。  相似文献   

8.
哥德尔的一阶逻辑完全性定理(1929)是数理逻辑的基石.当代的逻辑学学生学习数理逻辑时大都直接接触Henkin(1949)的改良证法,该法简明扼要,并将原证法的"关于可数语言的限制"扩展至"任意基数的语言".本文用改进的当代逻辑学术语简要重述了哥德尔的一阶逻辑完全性定理的原始证明,这一证明在很大程度上已经为人所遗忘.作者并择要指出原证明中未声明地使用了K(o)nig引理(1926).  相似文献   

9.
现代逻辑,也称为数理逻辑,是在传统逻辑的基础上,发端于17世纪,成熟于20世纪的一门年轻的学科.它自身是思维科学的一个分支,也是数学的一个分支.当前,数理逻辑有两个重要特征应当引起马克思主义哲学工作者的注意. 第一,由于具有强有力的形式表达和形式分析的能力,数理逻辑在哲学、语言学、经济学、法学、计算机科学、人工智能、决策学等诸多领域的现代发展中,得到了广泛的实质性的应用.  相似文献   

10.
逻辑学作为一门思维科学 ,它既有认识的作用 ,又有表达和论证思想的作用 .逻辑学可以帮助人们获得间接知识和探求新知识 .例如 ,欧几里德几何学 ,就是从少数几条公理出发 ,通过逻辑推导 ,推出了许多人们原来不知道的几何定理 .数学是锻炼思维的体操 ,与逻辑学紧密相关 ,一方面 ,数学基础需要用逻辑来阐明 :另一方面 ,信息技术的发展 ,也离不开数学逻辑 .所以在大力倡导知识创新的当今社会 ,让中学生在数学课中学一点逻辑知识十分必要 .但是 ,学生在学习简易逻辑一节内容时 ,出现了许多困惑 ,主要体现在以下几个方面 ,现在 .结合自己的教学体…  相似文献   

11.
李建华同志的《哲学逻辑》一书(湖南师范大学出版社,1997年)是一部相当有份量的学术著作,它有以下几个特点:1.选题新颖,探讨了逻辑学前沿领域的问题。哲学逻辑的产生有两个历史前提:一是数理逻辑在20世纪早期的正式诞生,二是现代西方哲学的"语言学转向"。它有广、狭两种涵义。狭义的哲学逻辑是产生于20世纪40年代,在50-70年代蓬勃发展的一个新兴逻辑学科群体,它们以数理逻辑为直接基础,以传统的哲学概念、范畴以及逻辑在各门具体学科中的应用为研究对象,创建了一大批新的逻辑分支。广义的哲学逻辑除包含上述内容外,还涉及到…  相似文献   

12.
有关数学科学特点研究较多,出现了一些与传统观点不尽一致的提法,但关于中学数学传点研究较少,以致在教学实践中一部分教师误将数学科学特点当做中学数学特点,出现教学上的失误。从数学教育理论上讲,因为中学数学特点是中学数学教育研究的逻辑基点,使得科学研究中学数学特点意义深远。本文就一些侧面做些探讨,抛砖引玉。一般来讲,中学数学从不同程度上也具有数学科学特征,但中学数学毕竟是一门学科,经教学法加工以后,体现了另外了一些特征。1、学科性勿庸置疑,中学数学应具备的首要特征是学科性,作为一门学科,既要遵循数学科…  相似文献   

13.
随着信息科学的飞速发展 ,逻辑学方面的知识越来越受到人们的重视。数学教育 ,向来是对学生进行逻辑训练 ,培养和发展思维能力的主阵地 .在高中以数学课为依托 ,介绍一些初步的逻辑知识 ,对于培养学生的逻辑思维能力 ,提高对数学的理解 ,避免逻辑错误 ,都是很有意义的 .逻辑知识在中学数学课程中出现 ,应该说不是什么新鲜事 .在以前的教材 (人教社 1995版 )的平面几何中有命题、四种命题的关系 ,在平面解析几何中有充分条件、必要条件等 .只不过这些知识都是零星的渗透在相关内容中 ,没有单独作为逻辑内容提出 .在后来的一些教材 (如两省一…  相似文献   

14.
早在改革开放初期,针对当时逻辑学教学与研究陈旧落后的状况,我国逻辑学界的有识之士发出了“形式逻辑要现代化”、“普通逻辑课要现代化”的呼吁。时至今日,20年已经过去了,我国高等学校普通逻辑教学的改革与现代化走过了红火发展的历程,取得了明显的成绩和进步。突出的表现是:一批又一批普通逻辑教材相继问世并在普通逻辑教学改革中发挥了引导作用。从这些教材可以看出:逻辑学的观念改变了,逻辑学不再单纯指传统逻辑,相反,原来传统逻辑中那些陈旧落后无用的东西已被逐步删除,现代逻辑(主要指数理逻辑)的基础知识越来越多的被吸引进来;逻辑学的教学体系更新了,以现代逻辑思想为主线,以推理形式及其有效性和合理性为中心的逻辑教学体系,逐步取代了由概念、判断、推理和论证四大块构成的旧体系;逻辑学的视野进一步扩大了,无论演绎部分还是归纳部分都  相似文献   

15.
逻辑学作为一门思维科学,它既有认识的作用,又有表达和论证思想的作用.逻辑学可以帮助人们获得间接知识和探求新知识.例如,欧几里德几何学,就是从少数几条公理出发,通过逻辑推导,推出了许多人们原来不知道的几何定理.数学是思维的体操,与逻辑学紧密相关,一方面,数学基础需要用逻辑来阐明;另一方面,信息技术的发展,也离不开数学逻辑.所以在大力倡导知识创新的当今社会,让中学生在数学课中学一点逻辑知识十分必要.但是,学生在学习简易逻辑一节内容时,出现了许多困惑,主要体现在以下几个方面,现结合自己的教学体会,谈几点看法.  相似文献   

16.
“哲学逻辑”一词被不同的论者赋予了不同的涵义,这里所说的哲学逻辑是指一个在近四五十年内新兴的逻辑学科群体,它们以数理逻辑(主要指一阶逻辑)为直接基础,以传统的哲学概念、范畴以及逻辑在各门具体学科中的应用为研究对象,构造出了各种关于传统的哲学概念、范畴或者直接具有哲学意义的逻辑系统。哲学逻辑在近几十年内的兴起和繁盛并不是偶然的,而是根植于数理逻辑、当代分析哲学、现代语言学以及计算机科学等等的实际发展及其现实需要之中。第一,数理逻辑的创立为哲学逻辑的兴起提供了历史前提,而当代分析哲学则为它提供  相似文献   

17.
主要讨论了逻辑与中学数学教学的关系.数学是研究空间形式和数量关系的一门科学,逻辑是研究思维形式及其规律和方法的一门科学,数学的发展推进了逻辑的前进,逻辑的发展又反过来推进数学的进步.  相似文献   

18.
<正>一、问题的提出中学数学是一门较成熟的公理化了的学科.它的内容抽象、逻辑严谨,创造过程中的面貌往往不易察见,教材结构呈演绎特征,其突出表现在其中一系列的"规定".数学中的所有定义是规定的,数学符号是前人制定的,数学名词是约定俗成的,数学公理是规定的,不加证明的,甚至许多数学法则、书写格式等也是有相应的规定.研究表明:数学中这一系列的规定是学生感到数学抽象难懂的原因之一;再加上一些教师教学时处理不得法,认为  相似文献   

19.
在解决生产、生活中遇到的问题时 ,大多数是将问题量化 ,从而建立其数、理模型 (即将问题数学形态化 ) ;再将这个数学形态进行变形转化 (即量与量的运算转化 ;式子的简化 ;逻辑的演化等 ) ;最后作出合乎实际的解释 .而中学数学的重点则放在这个链条的第 2个环节 :即重点研究一些基本数学知识和最基本的数学形态转化中的一些常用的理论、方法、原则和技巧 .而这中间简化原则的应用就是很重要的 .也是学生必须灵活掌握并正确运用在解决问题的过程中的 .什么是简化的原则呢 ?我认为对一个式子变形中观察问题的几个方面 :通过观察分析 ,在正确地…  相似文献   

20.
数理逻辑的产生源于传统逻辑自身的不足。数理逻辑建立以后,其理论及方法对哲学、语言学、计算机科学等学科的发展产生了极大的影响,并逐渐融入到现代科学各学科之中。20世纪中后期,计算机科学的发展进入到知识处理和智能模拟领域,逻辑学发生认知转向的目的,就是想把数理逻辑与心理学、神经学等学科结合起来,帮助解决人工智能等前沿科学出现的复杂的知识推理等问题。  相似文献   

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

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