职称:教授
单位:哲学与社会发展学院
部门:哲学系
主讲教师:魏燕侠
教师团队:共1位
第2期
| 学校: | 华侨大学 |
| 开课院系: | 哲学与社会发展学院 |
| 专业大类: | 哲学 |
| 开课专业: | 哲学 |
| 课程英文名称: | Fundamentals of logic |
| 学分: | 2 |
| 课时: | 32 |
《逻辑学基础》课程教学大纲 课程编号: 1001020225 课程名称: 逻辑学基础 英文名称: Foundamentals of Logic 课程类型: 专业基础课 总 学 时: 32 讲课学时: 32 实验学时:0 学 分:2 适用对象: 2024级哲学本科生 一、课程性质、目的和任务 《逻辑学基础》课程为华侨大学哲学本科专业基础必修课程之一,旨在通过系统的逻辑训练,培养学生的推理和论证能力,为其进一步的哲学学习打下良好的基础;同时本课程也能培养学生的逻辑思维习惯,提升学生的逻辑素养,这些将在他们今后的生活和工作中潜移默化地起作用。 二、教学基本要求 本课程注重培养逻辑观念和训练逻辑应用能力,需要学生积极参与教学的各个环节:包括课前观看教学视频,完成配套测试题目,思考进阶题目;课堂讨论、互动与练习;课后认真完成作业、按时提交作业。 三、教学内容及学时分配 第1-2周:(军训)自主学习 第3周(2节) :绪论:逻辑学科的性质与发展简史 第4周 (2节) :词项逻辑I:直言命题及其直接推理 第5周(2节) :词项逻辑II:直言命题的间接推理——直言三段论 第6周 (2节):词项逻辑III:词项逻辑小结 第7周(2节) :命题逻辑I:命题逻辑的符号与翻译 第8周(2节) :命题逻辑II:推理有效性的判断之真值表法 第9周(2节) :命题逻辑III:推理有效性的判断之简化真值表法 第10周(2节) :命题逻辑IV:命题逻辑自然演绎的规则 第11周(2节) :命题逻辑V:命题逻辑自然演绎的条件证明与间接证明 第12周(2节) :命题逻辑VI:命题逻辑小结 第13周(2节) :谓词逻辑I:谓词逻辑的符号与翻译 第14周(2节) :谓词逻辑II:谓词逻辑的量词规则 第15周(2节) :谓词逻辑III:推理的无效性证明 第16周(2节) :谓词逻辑小结 & 期末复习与答疑 第17周 :期末考试 四、实践环节及学时分配 (黑体,小4号字) 线上学习、完成配套测试题目 30分钟 课堂讨论,做题 30分钟 五、教学方法与手段 线上线下混合教学 六、考核方式 课程考核包括如下三个部分: 线上学习(20%) 线下学习(30%,综合考量出勤、课堂互动、课后作业等情况) 期末考试(50%) 七、 推荐教材和教学参考书 教材:《逻辑学》,马克思主义理论研究和建设工程重点教材,高等教育出版社,第二版,2018年。 参考书: 1. 《逻辑基础》(修订版),王路,高等教育出版社,2019年。 2. Logic: The Essentials, Patrick Hurley, Cengage Learning, 2014. 3. 《逻辑的观念》,王路,商务印书馆,2008年。 八、说明 [课程思政设计] 1.【绪论:逻辑学科的性质与发展简史】启发学生关于逻辑学科的诞生与人类理智关系的思考,激发学生学习热情,培养科学探索精神。 2.中国是世界逻辑思想三大发源地之一,中国古代也有丰富的逻辑思想,通过布置【期中作业1:挖掘中国古代逻辑思想】的形式,训练学生的科研能力与团队合作能力,加强对中华优秀传统文化的挖掘。 3.精心挑选课堂案例,训练学生从逻辑的角度进行分析和解答,培养学生的逻辑思维习惯,提升逻辑素养。 4.逻辑大师探索逻辑科学的精神令人尊敬和学习。 通过布置【期中作业2:详述一位逻辑学家的生平事迹与逻辑贡献】,锻炼学生搜集资料、整理资料、语言表达、协调等多项能力以及团队合作精神。 大纲制订人:魏燕侠 大纲审定人:薛子燕 制订日期:2024年8月
| 课程章节 | | 文件类型 | | 修改时间 | | 大小 | | 备注 | |
| 1.1 “逻辑”相关话题讨论 |
视频
.mp4
|
2025-06-20 | 326.54MB | ||
| 1.2 逻辑学发展简史 |
视频
.mp4
|
2025-06-20 | 345.40MB | ||
| 1.3.1 逻辑学研究有效推理 |
视频
.mp4
|
2025-06-20 | 300.55MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 1.3.2 推理的有效性源于推理形式的有效性 |
视频
.mp4
|
2025-06-20 | 238.62MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 1.4 进阶思考题目 |
图片
.png
|
2025-06-20 | -- | ||
| 1.5 知识拓展——著名逻辑学家之亚里士多德 |
图片
.jpg
|
2025-06-20 | -- | ||
| 2.1 直言命题及其基本类型 |
视频
.mp4
|
2025-06-20 | 384.45MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 2.2 质、量与周延性 |
视频
.mp4
|
2025-06-20 | 393.34MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 2.3 传统逻辑对当关系推理 |
视频
.mp4
|
2025-06-20 | 307.23MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 2.4 换质法与换位法 |
视频
.mp4
|
2025-06-20 | 338.84MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
|
附件
.${file.extension}
|
2025-06-20 | -- | |||
|
作业
.work
|
2025-06-20 | -- | |||
| 2.5 知识拓展——著名逻辑学家之奥卡姆的威廉 |
图片
.png
|
2025-06-20 | -- | ||
| 2.6 知识拓展——著名逻辑学家之克吕希波 |
图片
.jpg
|
2025-06-20 | -- | ||
| 3.1 直言三段论的标准形式、格与式 |
视频
.mp4
|
2025-06-20 | 666.98MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 3.2 直言三段论的形式证明 |
视频
.mp4
|
2025-06-20 | 498.83MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 3.3 文恩图法 |
视频
.mp4
|
2025-06-20 | 400.32MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 3.4 有效三段论的规则法 |
视频
.mp4
|
2025-06-20 | 600.68MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 3.5 省略三段论与连锁三段论 |
视频
.mp4
|
2025-06-20 | 603.79MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 3.6 进阶思考题目 |
图片
.png
|
2025-06-20 | -- | ||
| 3.7 词项逻辑小结 |
文档
.pptx
|
2025-06-20 | 97.05KB | ||
| 3.9 知识拓展——著名逻辑学家之约翰·文恩 |
图片
.png
|
2025-06-20 | -- | ||
| 4.1 符号与翻译 |
视频
.mp4
|
2025-06-20 | 419.98MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 4.2 真值函项 |
视频
.mp4
|
2025-06-20 | 593.75MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 4.3 复合命题的真值表 |
视频
.mp4
|
2025-06-20 | 605.27MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 4.4 知识拓展——著名逻辑学家之德·摩根 |
图片
.jpg
|
2025-06-20 | -- | ||
| 4.5 知识拓展——著名逻辑学家之乔治·布尔 |
图片
.png
|
2025-06-20 | -- | ||
| 5.1 有效推理判断之真值表法 |
视频
.mp4
|
2025-06-20 | 335.20MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 5.2 知识拓展——著名逻辑学家之莱布尼茨 |
图片
.jpg
|
2025-06-20 | -- | ||
| 6.1 有效推理判断之简化真值表法 |
视频
.mp4
|
2025-06-20 | 617.71MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 6.2 知识拓展——著名逻辑学家之查尔斯 • 皮尔士 |
图片
.png
|
2025-06-20 | -- | ||
| 7.1 蕴涵规则 |
视频
.mp4
|
2025-06-20 | 722.27MB | ||
|
视频
.mp4
|
2025-06-20 | 429.38MB | |||
|
作业
.work
|
2025-06-20 | -- | |||
| 7.2 置换规则 |
视频
.mp4
|
2025-06-20 | 524.60MB | ||
|
视频
.mp4
|
2025-06-20 | 483.59MB | |||
|
作业
.work
|
2025-06-20 | -- | |||
| 7.3 知识拓展——著名逻辑学家之弗雷格 |
图片
.jpg
|
2025-06-20 | -- | ||
| 8.1 条件证明 |
视频
.mp4
|
2025-06-20 | 522.82MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 8.2 间接证明 |
视频
.mp4
|
2025-06-20 | 628.49MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 8.3 知识拓展——著名逻辑学家之怀特海与罗素 |
图片
.jpg
|
2025-06-20 | -- | ||
| 9.1 命题逻辑小结 |
文档
.pptx
|
2025-06-20 | 5.88MB | ||
| 9.3 进阶思考题目 |
文档
.pptx
|
2025-06-20 | 5.36MB | ||
| 10.1 谓词逻辑的符号与翻译 |
视频
.mp4
|
2025-06-20 | 423.65MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 10.2 知识拓展——著名逻辑学家之哥德尔 |
图片
.jpg
|
2025-06-20 | -- | ||
| 11.1 全称量词规则 |
视频
.mp4
|
2025-06-20 | 263.09MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 11.2 存在量词规则 |
视频
.mp4
|
2025-06-20 | 210.28MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 11.3 量词否定规则 |
视频
.mp4
|
2025-06-20 | 363.84MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 11.4 条件证明与间接证明 |
视频
.mp4
|
2025-06-20 | 319.22MB | ||
|
作业
.work
|
2025-06-20 | -- | |||
| 11.5 知识拓展——著名逻辑学家之奎因 |
图片
.jpg
|
2025-06-20 | -- | ||
| 12.1 推理无效性的证明 |
视频
.mp4
|
2025-06-20 | 212.11MB | ||
| 12.2 包含摹状词的命题的分析 |
文档
.pptx
|
2025-06-20 | 2.02MB | ||
| 12.3 “存在”问题 |
文档
.pptx
|
2025-06-20 | 1.54MB | ||
| 12.4 谓词逻辑命题的判定 |
文档
.pptx
|
2025-06-20 | 1.46MB | ||
| 12.5 知识拓展——著名逻辑学家之克里普克 |
图片
.png
|
2025-06-20 | -- | ||
| 13.1 演绎推理与归纳推理 |
视频
.mp4
|
2025-06-20 | 503.94MB | ||
| 13.2 归纳推理的类型 |
视频
.mp4
|
2025-06-20 | 696.51MB | ||
|
视频
.mp4
|
2025-06-20 | 589.22MB | |||
| 13.3 答疑 |
文档
.pptx
|
2025-06-20 | 1.12MB |