1 背 景
"逻辑"是离散数学中一个重要的分支,传统上讲授数理逻辑,或称符号逻辑。数理逻辑的学习有助于学生掌握正确的思维方法,培养抽象思维、逻辑思维和严谨的形式化表达能力,但由于采用符号化的研究方法,数理逻辑本身忽略了用自然语言表达的思维推理研究。与此形成对照的是,形式逻辑却将自然语言表达的推理作为主要的形态加以研究。较强的语言表达能力、能够准确地交流和表达思想,对一名未来的指挥军官而言至关重要,为此我们决定在新一代人才培养方案的通识类离散数学课程中简要介绍形式逻辑,采用基于对比教学法的教学设计,加深学生对抽象内容的理解,加快知识的内化过程,缓解学生压力。
2 形式逻辑与数理逻辑概述
形式逻辑和数理逻辑都是研究思维推理的科学。形式逻辑又叫传统逻辑、古典逻辑,特点是用自然语言研究人的思维推理,由于思维形式必须借助语言形式表达,故研究逻辑的同时必须研究语言结构。数理逻辑起源于用数学方法研究形式逻辑中的某些问题,它舍弃了形式逻辑要求的条件命题中前提与结论之间的因果关联,采用真值函数的"实质蕴涵"定义,建立了演绎推理的数学模型[1-2].数理逻辑现已成为基础数学的一个重要分支,语义层面的逻辑代数(命题演算和一阶谓词演算),语构层面的形式系统,语义和语构关系的合理性、完备性等元理论是其经典内容[3].
笔者从研究内容、研究方法、研究成果3个方面对形式逻辑和数理逻辑作一个对比与区分。
(1)形式逻辑既研究演绎推理,也研究归纳推理、类比推理、假说等,还研究与推理方法对应的语言表达结构,故而形式逻辑也被称为辩学、修辞学。数理逻辑不研究可能导致无效推理的类比、假说等推理方法,也不专门研究语言表达的结构。
(2)形式逻辑对推理的研究基于自然语言,数理逻辑则采用数学的方法,将推理全部形式化为数学演算,更在形式化的基础上构造了严密的公理化符号系统。
(3)受制于自然语言的局限性,形式逻辑研究成果局限于特定语言结构之间的逻辑关系。数理逻辑却能在更高的抽象层次上研究推理,研究成果更具一般性。
3 逻辑模块的教学设计
3.1 内容侧重面的考虑
尽管形式逻辑对语言表达结构的关注和归纳推理、类比推理等内容是数理逻辑所没有的,但毕竟其内容相比数理逻辑较为浅显,研究方法也较为初步,从训练学生的科学思维和科学方法来看,数理逻辑具有不可替代性。另外,专业基础课改革为通识课程后学时压力较大,因此必须优化教学内容。在逻辑模块的教学改革中我们制定的原则是:以数理逻辑内容为主,简要介绍形式逻辑;侧重介绍基本概念,兼顾逻辑知识的应用。
3.2 内容编排与学时分配
通识类离散数学课程中逻辑模块安排的教学时数为 14.按照前面定下的原则,我们将其中10 学时分配给数理逻辑,2 学时分配给形式逻辑,2 学时介绍逻辑知识的应用。具体讲授内容与能力、素质训练目标见表 1.
在讲授顺序上,采取了先命题演算后谓词演算、先数理逻辑后形式逻辑、先基本概念后逻辑应用的顺序。此处数理逻辑和形式逻辑的先后编排主要考虑时间的节省。如果按照自然顺序,应该先介绍形式逻辑,但 2 学时对初学逻辑者而言远远不够。学生经过了 10 学时的数理逻辑学习,在已熟悉基本概念的基础上再学习形式逻辑,就可以很快地理解、吸收有关教学内容,当然,对形式逻辑的介绍仍是较为初步的。最后 2 学时重点介绍逻辑知识的应用,顺带简要介绍推理规则及其使用方法,使学生初步建立推理形式系统的概念。
3.3 关于教学方法的思考
为使学生在最短的时间内对形式逻辑有一个基本了解,正确认识与数理逻辑的关系,形式逻辑部分我们采用了对比教学法,对照数理逻辑中的相应内容和处理方法介绍形式逻辑有关概念和结论。对比法是一种常用的教学方法,其本质特征在于"比较""对照""对比""参照",即把彼此之间具有某种联系的教学内容放在一起,加以对比分析,以确定其异同关系,认识本质差异[4].
形式逻辑与数理逻辑既有相关性、相似性,又有相异性,正好满足了对比法教学的前提条件。将它们对照起来介绍,一方面可以帮助学生将形式逻辑中的概念迅速定位到通过数理逻辑学习建立起来的逻辑知识树上;另一方面可以使学生切身体会两者对同一研究内容不同研究方法的差异,了解科学、合理的研究方法对研究结果的重要性,进一步培养形式化的观念和技能。
4 形式逻辑与数理逻辑的对比教学
形式逻辑的大部分内容在数理逻辑中都有对应,课堂教学时可加以对照介绍,如对比自然语句的形式化介绍"命题",将"性质判断命题""关系判断命题""简单命题""复合命题"等概念与数理逻辑中的公式、联接词、谓词、量词等概念联系对比,使学生快速掌握"命题"部分内容,体会形式逻辑和数理逻辑在概念上的细微差别,诸如数理逻辑中所谓的"实质蕴涵"究竟是何含义,与形式逻辑对蕴涵词(条件命题)的理解有何不同。
1概述自从1978年高考恢复以来,我国的高等教育得到了长足的发展,特别是进入21世纪,随着国家经济的高速增长,高等教育也在各个方面得以迅速发展。尽管高等教育模式已持续发展30多年,但是高教课堂上的教与学之间的关系依然极其复杂,并且模式也随着社会的...
1、引言离散数学课程中要点的离散性、知识点的分散性和探讨问题的特殊性,使相当大的一部分学生在刚刚接触该类课程时,对其中涉及到的一些概念和处理问题的方法往往感到疑惑.若仅仅采用传统的理论教学方法,会造成学生对该课程的学习兴趣不高,将会极大的影...
0引言2001年和2005年,教育部分别出台了关于本科教学中专业课要使用英语进行教学,提高双语教学课堂质量,扩大双语教学的数量等文件。双语教学的目的不仅仅是简单地增大学生的英语阅读量,而是全面培养学生的英语听说读写水平,要求用英语思考问题、解...
《离散数学》的主要内容包括数理逻辑、集合论、数论、抽象代数和图论等.计算机的发展与《离散数学》各部分均有非常密切的联系, 可以说计算机离不开《离散数学》, 《离散数学》在计算机相关专业中有着特别重要的作用....
1引言近年来,随着信息技术的快速发展,计算机技术已渗透于物理学,金融学、生物学、医学、商业、制造业以及证券业等各个领域与行业,并且与这些学科、行业之间的交叉越来越深入,已经成为它们不可分割的一部分。正如迪杰斯特拉所说[1]:人类的思维方式与思...
离散数学是计算机专业的一门重要基础课,它主要讨论计算机相关数学领域各分支所涉及的离散量的结构及其对应关系.由于客观世界中,对于涉及离散对象的问题,必须首先被正确地抽象为一个离散数据结构及其关系的模型,即建立...
本文主要阐述了在离散数学教学中, 教师如何引导学生从消极到积极式地学习, 让学生更加主动地参与到教学活动中, 并结合一些具体的教学案例进行分析。...
1概述离散数学,是计算机相关专业的核心课程之一,已经广泛地用于计算机系统的建模和分析[1].根据教育部高等学校计算机科学与技术教学指导委员会的统一部署,对离散数学课程在专业课程体系中的定位进行了思考。本文针对应用型本科院校的培养目标和学生特点...
0前言离散数学是研究离散对象和它们之间的关系的现代数学的一个重要分支,具有内容多、体系松散、高度抽象及逻辑思维性强等特征,既不同于传统的高等数学、线性代数的优美理论体系,也不同于纯计算机算法、结构的实践课程,而是一门理论和实践兼备的核心基...
0引言独立学院是我国高等教育中的一种特殊事物,它是以公办高校的优质教学资源为依托,引入社会资金,采用新的机制、新模式创办的相对独立的本科院校[1].独立学院的办学定位是培养能够适应社会进步和经济转型的应用型人才,而离散数学是计算机专业的一门...