| 课程号 |
02330030 |
学分 |
3 |
| 英文名称 |
Introduction to Logic |
| 先修课程 |
没有必须的先修课程，有一定的数学证明训练更好，希望选课同学准备好跨越学科的开放心态。 |
| 中文简介 |
本课程是逻辑学的导论课，介绍逻辑学作为一门学科的发展历史及现状，基本思想和技术，以及它与哲学、数学、计算机和语言学的密切关系。
本课程属于北大通选课系列。
|
| 英文简介 |
This introductory course aims to provide the students with a whole picture of Logic as a discipline, including its history, the basic ideas & techniques, and its close relationship with other disciplines such as philosophy, mathematics, computer science, and linguistics. |
| 开课院系 |
哲学系 |
| 通选课领域 |
c |
| 是否属于艺术与美育 |
否 |
| 平台课性质 |
|
| 平台课类型 |
|
| 授课语言 |
中文 |
| 教材 |
陈波：《逻辑学导论》（第三版），中国人民大学出版社，2006年。,陈波,中国人民大学出版社,3,7300196926, 9787300196923；
《逻辑与哲学：现代逻辑导论》,（美）罗·蒂德曼、霍华德·卡哈尼著，张建军等译,中国人民大学出版社,《逻辑学导论》,（美）欧文·M·柯匹，（美）科恩 ，张建军等译,中国人民大学出版社,《简明逻辑导论》,（美）帕特里克·赫尔利著，陈波等译,世界图书出版公司, |
| 参考书 |
1,978-7-300-24616-1；
1,9787300079301；
1,9787510023538；
|
| 教学大纲 |
一、课程概述
此课程试图给学生传授关于逻辑学的一般观念，逻辑学发展到目前为止的大致的整体形象，一些最基本的逻辑技术和技巧，以及隐藏在逻辑技术背后的思想和精神。具体内容包括：第一讲：逻辑学是关于推理和论证的科学；第二讲：命题逻辑，研究由联结词决定的复合命题的逻辑性质以及复合命题之间的推理关系；第三讲：词项逻辑，研究直言命题（性质命题）的逻辑性质及其相互之间的推理关系；第四讲：谓词逻辑，研究量化命题的逻辑性质及其相互之间的推理关系。这三种逻辑是此课程的重点。除此之外，本课程还要讲授归纳逻辑的基本内容。
二、课程目标
（1）观念层面：讲清楚逻辑学研究什么、怎么研究，逻辑学的来龙去脉、目前状况和主要分支，使同学们对逻辑学有一个整体的轮廓性了解。目标：给有兴趣进一步学习逻辑学的同学指明路径。
（2）知识层面：传授一些具体的逻辑知识，主要是命题逻辑、词项逻辑、谓词逻辑的知识，也讲一点归纳逻辑和论证理论，并通过练习、作业、考试等环节，促使学生把知识转化成习惯和能力，以改善其日常思维。
（3）素质层面：培养学生的理性精神。在遇到一个复杂、困难的问题时，先精确地确定问题之所在；把该复杂问题分解为多个相对简单的问题；逐个找出解决这些简单问题的可以操作的程序、模式、方法和准则；给出这些问题的解决方法；检验它们的真假对错，等等。简单地说，按程序操作，按规则办事，一步一步来。
三、内容提要及学时分配
本课程由以下6讲组成：
第一讲，逻辑是关于推理和论证的科学。讲授时间6学时
“逻辑”的词源和词义；逻辑学的历史和现状；逻辑学的对象：推理和论证。
命题分析和逻辑类型：语句、命题、陈述、判断与真值；复合命题和命题逻辑；直言命题和词项逻辑；个体词、谓词和量化逻辑；变异逻辑、应用逻辑和元逻辑。
推理形式及其有效性：推理的形式结构；推理形式的有效性；日常思维中的推理和论证。
逻辑学和理性精神：同一律、矛盾律、排中律、充足理由律。
阅读材料：
陈波，《逻辑学导论》（第三版），第一章。
亚里士多德：《矛盾律和排中律》，见陈波主编：《逻辑学读本》，1-13页；
墨家：《小取》，见陈波主编：《逻辑学读本》，51-58页；
荀子：《正名》，见陈波主编：《逻辑学读本》，59-70页。
第二讲，命题逻辑。讲授时间16学时
简单命题和复合命题：联言命题；选言命题；假言命题；负命题。
从日常联结词到真值联结词；真值形式、指派和赋值；否定；合取；析取；蕴涵；等值；日常语言中复合命题的符号化。
重言式及其判定方法：重言式、矛盾式和偶真式；真值表方法；归谬赋值法；树形图方法。
重言蕴涵式，推理的形式结构；重言等值式，置换规则。
命题逻辑的自然推理：PN推演规则；PN有前提推演；PN定理及其证明。
阅读材料：
陈波，《逻辑学导论》（第三版），第二章。
斯多亚学派：《斯多亚残篇》，见陈波主编：《逻辑学读本》，26-47页；
波爱修：《假言三段论》，见陈波主编：《逻辑学读本》，85-101页；
奥卡姆：《论推理运算》，见陈波主编：《逻辑学读本》，119-124页；
莱布尼茨：《通向一种普遍文字及其他》，见陈波主编：《逻辑学读本》，184-192页。
第三讲，词项逻辑。讲授时间12学时
直言命题的结构和类型；直言命题的主谓项关系（欧拉图）；直言命题间的对当关系；直言命题中词项的周延性。
直接推理：换质法；换位法；换质位法；对当关系推理；
三段论的定义、格与式；三段论的一般规则和特殊规则；三段论的还原与公理化；三段论的非标准形式。
直言命题的存在含义问题。
文恩图解法与三段论有效性的判定。
阅读材料：
陈波，《逻辑学导论》（第三版），第三章。
亚里士多德：《斯多亚残篇》，见陈波主编：《逻辑学读本》，14-25页；
康德：《论分析判断和综合判断》，见陈波主编：《逻辑学读本》，206-216页；
布尔：《论三段论、逻辑演算》，见陈波主编：《逻辑学读本》，217-235页。
第四讲，谓词逻辑。讲授时间12学时
个体词；一元谓词和性质、原子公式；量词和量化公式；自然语言中性质命题的符号化。
关系谓词、量词的重叠、重叠量化式；自然语言中关系命题的符号化；二元关系的逻辑性质和排序问题。
模型和赋值；普遍有效式，不可满足式和偶真式。
普遍有效式的判定问题：树形图方法；证明非普遍有效性的方法。
谓词逻辑的自然推理：QN推演规则；QN有前提推演；QN定理及其证明。
阅读材料：
陈波，《逻辑学导论》（第三版），第四章。
弗雷格：《函数和概念》，见陈波主编：《逻辑学读本》，249-265页；
罗素：《摹状词》，见陈波主编：《逻辑学读本》，284-293页；
塔斯基：《逻辑后承的概念》，见陈波主编：《逻辑学读本》，351-358页。
第五讲，归纳逻辑。讲授时间2学时
简单枚举法：什么是简单枚举法？变化形式：科学归纳法；极限形式：完全归纳法。
排除归纳法：因果关系的特点；求同法；求异法；求同求异并用法；共变法；剩余法。类比推理；模拟方法；比较方法。
假说演绎法：起点：问题和困境；形成假说：溯因推理；从假说推出观察结论；验证假说：证实和证伪；科学假说的评价标准。
归纳方法是合理的吗？休谟问题及其解决；三个归纳悖论。
阅读材料：
陈波，《逻辑学导论》（第三版），第五章。
密尔：《论归纳法的根据》，见陈波主编：《逻辑学读本》，236-248页；
休谟：《归纳问题》，见陈波主编：《逻辑学读本》，193-205页；
金岳霖：《归纳原则和先验性》，见陈波主编：《逻辑学读本》，411-419页。
第六讲，非形式逻辑。学生自学
定义理论：词项的内涵和外延；定义的结构；定义的种类；定义的规则；定义的作用。
论证理论：论证的识别；论证的评价；论证的建构。
谬误理论：形式谬误；非形式谬误。
阅读材料：
陈波，《逻辑学导论》（第三版），第六章。
公孙龙：《白马论》，见陈波主编：《逻辑学读本》，48-50页；
布里丹：《诡辩命题11—20》，见陈波主编：《逻辑学读本》，125-143页；
李之藻：《？名理探？序》，见陈波主编：《逻辑学读本》，181-183页。
以教师讲授为主，利用事先准备好的一些多媒体课件，辅之为课堂提问、讨论，课后作业，以及课下个别辅导、答疑；并且在BBS课程讨论区建立一课程网站，发布信息，回答问题等。课堂上没时间讲授的内容，安排学生课下自学。
学生成绩评定方法
期中闭卷考试，占总成绩30分；
期中看一部与推理和论辩有关的电影，撰写一篇3千字左右的小论文，占总成绩10分；
期末闭卷考试，占总成绩60分
期中闭卷考试，占总成绩的40%；
期末闭卷考试，占总成绩的60%。
|
| 教学评估 |
陈波：
学年度学期：16-17-1，课程班：逻辑导论1，课程推荐得分：4.17，教师推荐得分：4.14，课程得分分数段：85-90；
学年度学期：16-17-2，课程班：逻辑导论1，课程推荐得分：4.22，教师推荐得分：4.33，课程得分分数段：85-90；
学年度学期：17-18-1，课程班：逻辑导论1，课程推荐得分：4.39，教师推荐得分：4.4，课程得分分数段：90-95；
学年度学期：17-18-2，课程班：逻辑导论1，课程推荐得分：4.47，教师推荐得分：4.48，课程得分分数段：90-95；
学年度学期：18-19-1，课程班：逻辑导论1，课程推荐得分：0.0，教师推荐得分：9.21，课程得分分数段：90-95；
学年度学期：18-19-2，课程班：逻辑导论1，课程推荐得分：0.0，教师推荐得分：8.87，课程得分分数段：90-95；
学年度学期：19-20-1，课程班：逻辑导论1，课程推荐得分：0.0，教师推荐得分：8.57，课程得分分数段：85-90；
学年度学期：19-20-2，课程班：逻辑导论1，课程推荐得分：0.0，教师推荐得分：7.37，课程得分分数段：80-85；
学年度学期：20-21-1，课程班：逻辑导论1，课程推荐得分：0.0，教师推荐得分：8.41，课程得分分数段：85-90；
学年度学期：20-21-2，课程班：逻辑导论1，课程推荐得分：0.0，教师推荐得分：8.09，课程得分分数段：85-90；
|
|