| 课程号 |
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 |
| 是否属于艺术与美育 |
否 |
| 平台课性质 |
|
| 平台课类型 |
|
| 授课语言 |
中文 |
| 教材 |
陈波：《逻辑学导论》（第三版），中国人民大学出版社，2014年。；
陈波等编著：《〈逻辑学导论〉（第二版）教学辅导书》，中国人民大学出版社，2006年。；
陈波主编：《逻辑学读本》，中国人民大学出版社，2009年。；
陈 波：《逻辑哲学》，北京大学出版社，2005年。,罗·蒂德曼、霍华德·卡哈尼著：《逻辑与哲学：现代逻辑导论》，张建军等译，中国人民大学出版社，2017。,周礼全主编：《逻辑——正确思维和成功交际的理论》，人民出版社，1994年。,赫尔利著：《简明逻辑导论》，陈波等译，世界图书出版公司，2010年。,柯比著：《逻辑学导论》，张建军等译，中国人民大学出版社，2008年。,尼尔·布郎、斯图尔特·基利：《走出思维的误区》，中央编译出版社，1994年。,金岳霖主编：《形式逻辑》，人民出版社，1979年。,陈 波：《思维魔方，让哲学家和数学家纠结的悖论》，北京大学出版社，2014。,吴家国主编：《普通逻辑》（第四版），上海人民出版社，1993年。,陈 波：《逻辑学是什么》，第二版，北京大学出版社，2015年。,陈 波：《逻辑学十五讲》，北京大学出版社，2008年。, |
| 参考书 |
|
| 教学大纲 |
（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分。
|
| 教学评估 |
陈波：
学年度学期：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；
|
|