逻辑学课程教学大纲

《逻辑学》课程教学大纲

（2004年制订，2006年修订）

课程编号：

英文名：Logic

课程类别：通识教育课

前置课：哲学原理

后置课：

学分：2学分

课时：28课时

主讲教师：陈健

选定教材：何向东主编：《逻辑学教程》，北京：高等教育出版社，2004年7月第二版

课程概述：

本课程尝试以现代逻辑为立足点，以较大篇幅讲解经典逻辑的部分基础内容，着重系统讲解命题逻辑的自然演绎系统NP的建构及其演算。也以一定篇幅介绍词项逻辑、归纳法、科学逻辑方法、论证等传统逻辑的主要内容，此外也初步涉及模态逻辑。导论部分主要讨论逻辑的性质，逻辑的简史，现代逻辑的特点等。命题逻辑部分先引介复合命题及其推理，再重点讲解NP系统的建构和演算，最后讨论可靠性与完全性问题。传统逻辑部分以词项逻辑为主，包括词项、直言命题和三段论，还包括论证部分，主要内容为论证的结构、论证的规则以及论证的常见错误。一阶谓词逻辑以及逻辑语用学因课时关系，暂未列入大纲。

教学目的：

逻辑学是一门区别于对象科学的元科学。现代逻辑从整体上系统处理思维形式之规律，因而是传统逻辑不可比拟的。本课程的教学目的总体上是培养现代逻辑的观念，初步理解现代逻辑最基本的知识和处理方法，以便为窥现代逻辑庞大的知识体系之一斑提供必要的准备。此外，通过较为系统的逻辑演算训练，以帮助学习者提高逻辑思维能力，进而培养和提高综合素质，并为更好地理解和把握自然科学和人文社会科学打好必要的逻辑基础。

教学方法：

本课程的教学尝试以一阶逻辑为主要内容，在整体和系统的意义上讲授现代逻辑最基本的知识，以回应1978年提出“逻辑要现代化”口号以来20多年的改革取向。同时也兼顾了传统逻辑的主要

知识内容，以作为对人类知识文化遗产的某种传承。本课程在内容上和要求上作了较大的调整，课堂教学强调“思维之演算”能力的提高。在教学进程上也充分考虑了建构形式系统、逻辑推演之前的必要的铺垫性教学。

各章教学要求及教学要点

第一章导论

课时分配：4课时

教学要求：

本章要求掌握逻辑的性质、研究对象、发展简史、传统逻辑和现代逻辑的特点。

教学内容：

第一节什么是逻辑？

一、日常用语中逻辑一词的四种词义

客观规律；观点道理；思维规则；逻辑学

二、逻辑的基本涵义

“逻辑即规律”；“必然性的联系或趋势”；“思维中的某种必然联系”；“关于思维形式结构的规律”；“逻辑，即必然地得出”（王路）

第二节逻辑学的简史

一、传统逻辑

欧洲：亚里士多德斯多噶派伊壁鸠鲁派中世纪弗兰西斯.培根约翰.穆勒笛卡尔学派

印度：因明

中国：先秦的逻辑思想（惠施、公孙龙、荀况、韩非）后期墨家之百科全书式的逻辑专著《墨经》（《经上》，《经下》、《经说上》，《经说下》，《大取》和《小取》）隋唐时期印度因明传入中国明朝末年李之藻和傅汛济《名理探》清朝末年严复《穆勒名学》。

二、现代逻辑

莱布尼茨的数理逻辑的理论布尔的逻辑代数弗雷格的逻辑演算系统罗素、怀海特的《数学原理》维特根斯坦、塔尔斯基、卡尔纳普的元逻辑

三十年代以后的三大划时代成果：哥德尔不完全定理塔尔斯基逻辑语义学图灵的图灵机理论

第三节逻辑学的对象和性质

一、关于思维形式结构的科学

思维的形式结构内容不同的思维可以具有共同的形式结构

二、关于逻辑科学的性质

逻辑变项和逻辑常项；表示逻辑变项的自然语言和形式语言；经验科学和形式科学；元科学和对象科学；逻辑语法学、逻辑语义学和逻辑语用学

思考题：

1、简述逻辑的性质。

2、区分以下两组概念：经验科学和形式科学；元科学和对象科学。

3、如何看待传统逻辑和现代逻辑？

4、逻辑学和其他学科有何关系？

5、传统逻辑和现代逻辑的奠基人分别是谁？为什么他们被称为奠基人？

第二章命题逻辑

课时分配：11课时

教学要求：

理解命题逻辑的自然演绎系统的建构，熟练掌握命题逻辑NP系统的推演。

教学内容：

第一节命题概述

一、命题的基本特征

命题的两种定义命题定义的三层含义

二、语句和命题的联系和区别

学科范畴的不同；并非所有语句都能表达命题；同一语句表达不同命题；不同语句表达同一命题

第二节复合命题及其推理

一、复合命题概述

复合命题的构成；复合命题的逻辑性质；逻辑语法学和逻辑语义学

讨论：逻辑学的着眼点是什么？

二、负命题

定义、联结词、表达式、真值表、逻辑性质、语义、推导规则

三、联言命题（合取）

定义、联结词、表达式、真值表、逻辑性质、语义、推导规则、运算律

四、选言命题（析取）

（一）相容选言命题：定义、联结词、表达式、真值表、逻辑性质、语义、推导规则、运算律讨论：如何用真值表来定义各种复合命题？

德．摩根律（1）（2）及其说明：

否定合取等值式┐（p∧q）<=>┐p∨┐q 德．摩根律（1）

否定析取等值式┐（p∨q）<=>┐p∧┐q 德．摩根律（2）

（二）不相容选言命题（严格析取）：定义、联结词、表达式、真值表、逻辑性质

讨论：用析取来定义严格析取

五、假言命题

（一）充分条件假言命题:定义、联结词、表达式、真值表、逻辑性质、语义、推导规则

讨论：联结词的相互定义

关于定义式：(p→q)<=>┐(p∧┐q)

关于否定式：┐(p→q) <=>p∧┐q

关于蕴析律：(p→q) <=>┐p∨q

（二）必要条件假言命题:定义、联结词、表达式、真值表、逻辑性质、语义、推导规则

讨论：联结词的相互定义

关于定义式:

p←q<=>┐(┐p∧q)

p←q<=>p∨┐q

关于否定式:

┐（p←q）<=>┐p∧q

关于→和←的转换:

p←q<=>q→p

p←q<=>┐p→┐q

p→q <=>┐q→┐p（假言易位）

（三）充分必要条件假言命题：定义、联结词、表达式、真值表、逻辑性质、语义、推导规则讨论：联结词的相互定义

关于定义式