逻辑学课程教学大纲

《逻辑学课程教学大纲》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、《逻辑学》课程教学大纲（2004年制订，2006年修订）课程编号：310002英文名：Logic课程类别：通识教育课前置课：哲学原理后置课：学　分：2学分课时：28课时主讲教师：陈健选定教材：何向东主编：《逻辑学教程》，北京：高等教育出版社，2004年7月第二版课程概述：本课程尝试以现代逻辑为立足点，以较大篇幅讲解经典逻辑的部分基础内容，着重系统讲解命题逻辑的自然演绎系统NP的建构及其演算。也以一定篇幅介绍词项逻辑、归纳法、科学逻辑方法、论证等传统逻辑的主要内容，此外也初步涉及模态逻辑。导论部分主要

2、讨论逻辑的性质，逻辑的简史，现代逻辑的特点等。命题逻辑部分先引介复合命题及其推理，再重点讲解NP系统的建构和演算，最后讨论可靠性与完全性问题。传统逻辑部分以词项逻辑为主，包括词项、直言命题和三段论，还包括论证部分，主要内容为论证的结构、论证的规则以及论证的常见错误。一阶谓词逻辑以及逻辑语用学因课时关系，暂未列入大纲。教学目的：逻辑学是一门区别于对象科学的元科学。现代逻辑从整体上系统处理思维形式之规律，因而是传统逻辑不可比拟的。本课程的教学目的总体上是培养现代逻辑的观念，初步理解现代逻辑最基本的知识和

3、处理方法，以便为窥现代逻辑庞大的知识体系之一斑提供必要的准备。此外，通过较为系统的逻辑演算训练，以帮助学习者提高逻辑思维能力，进而培养和提高综合素质，并为更好地理解和把握自然科学和人文社会科学打好必要的逻辑基础。教学方法：本课程的教学尝试以一阶逻辑为主要内容，在整体和系统的意义上讲授现代逻辑最基本的知识，以回应1978年提出“逻辑要现代化”口号以来20多年的改革取向。同时也兼顾了传统逻辑的主要知识内容，以作为对人类知识文化遗产的某种传承。本课程在内容上和要求上作了较大的调整，课堂教学强调“思维之演算

4、”能力的提高。在教学进程上也充分考虑了建构形式系统、逻辑推演之前的必要的铺垫性教学。12各章教学要求及教学要点第一章　导论课时分配：4课时教学要求：本章要求掌握逻辑的性质、研究对象、发展简史、传统逻辑和现代逻辑的特点。教学内容：第一节　什么是逻辑？一、日常用语中逻辑一词的四种词义客观规律；观点道理；思维规则；逻辑学二、逻辑的基本涵义“逻辑即规律”；“必然性的联系或趋势”；“思维中的某种必然联系”；“关于思维形式结构的规律”；“逻辑，即必然地得出”（王路）第二节　逻辑学的简史一、传统逻辑欧洲：亚里士多

5、德　斯多噶派　伊壁鸠鲁派　中世纪　弗兰西斯.培根　约翰.穆勒　笛卡尔学派印度：因明中国：先秦的逻辑思想（惠施、公孙龙、荀况、韩非）　后期墨家之百科全书式的逻辑专著《墨经》（《经上》，《经下》、《经说上》，《经说下》，《大取》和《小取》）　隋唐时期印度因明传入中国　明朝末年李之藻和傅汛济《名理探》　清朝末年严复《穆勒名学》。二、现代逻辑莱布尼茨的数理逻辑的理论　布尔的逻辑代数　弗雷格的逻辑演算系统　罗素、怀海特的《数学原理》　维特根斯坦、塔尔斯基、卡尔纳普的元逻辑三十年代以后的三大划时代成果：哥德尔不

6、完全定理　塔尔斯基逻辑语义学　图灵的图灵机理论第三节　逻辑学的对象和性质一、关于思维形式结构的科学思维的形式结构　内容不同的思维可以具有共同的形式结构　二、关于逻辑科学的性质逻辑变项和逻辑常项；表示逻辑变项的自然语言和形式语言；经验科学和形式科学；元科学和对象科学；逻辑语法学、逻辑语义学和逻辑语用学12思考题：1、简述逻辑的性质。2、区分以下两组概念：经验科学和形式科学；元科学和对象科学。3、如何看待传统逻辑和现代逻辑？4、逻辑学和其他学科有何关系？5、传统逻辑和现代逻辑的奠基人分别是谁？为什么他们

7、被称为奠基人？第二章　命题逻辑课时分配：11课时教学要求：理解命题逻辑的自然演绎系统的建构，熟练掌握命题逻辑NP系统的推演。教学内容：第一节　命题概述一、命题的基本特征命题的两种定义　命题定义的三层含义二、语句和命题的联系和区别学科范畴的不同；并非所有语句都能表达命题；同一语句表达不同命题；不同语句表达同一命题第二节　复合命题及其推理一、复合命题概述复合命题的构成；复合命题的逻辑性质；逻辑语法学和逻辑语义学讨论：逻辑学的着眼点是什么？二、负命题定义、联结词、表达式、真值表、逻辑性质、语义、推导规则三

8、、联言命题（合取）定义、联结词、表达式、真值表、逻辑性质、语义、推导规则、运算律　四、选言命题（析取）（一）相容选言命题：定义、联结词、表达式、真值表、逻辑性质、语义、推导规则、运算律讨论：如何用真值表来定义各种复合命题？德．摩根律（1）（2）及其说明：12否定合取等值式　┐（p∧q）<=>┐p∨┐q　德．摩根律（1）否定析取等值式　┐（p∨q）<=>┐p∧┐q　德．摩根律（2）（二）不相容选言命题（严格析取）：定义、联结词、表达式、真值表、逻辑性质讨论：用析取来定义