西南大学的逻辑学精品课以国家级精品课程为基础建设而成,由国家级教学名师何向东教授主持。以下是其详细介绍:
课程内容:以何向东教授主编的国家 “十一五” 规划教材《逻辑学教程》(第三版)为教学内容,系统介绍现代逻辑的基本理论,包括概念、命题、推理、论证等方面的知识,同时凸显逻辑在日常生活和科学探究思维活动中的重要作用。
课程性质:逻辑学作为思维科学,是哲学专业、法律专业、计算机科学、基础数学等专业的基础课,也可作为大学公共课开设,是学习现代逻辑理论的入门课程,在提高学生思维素质与思维能力方面具有不可替代的作用。
课程目标:旨在培养学生严密的逻辑思维能力和理性分析能力,开启学生的批判性思维和创造性思维,使学生全面掌握逻辑学的基本知识、基本原理和基本方法,为更好地掌握其他专业知识提供严密的推理基础和必要的思维素养。
课程目录
[1.1.1]--逻辑学的对象
[1.2.1]--逻辑学的性质及作用、逻辑学的发展
[1.3.1]--逻辑学研究与学习方法01
[2.1.1]--传统词项逻辑概述01
[2.2.1]--词项01
[2.3.1]--直言命题01
[2.4.1]--直言命题的直接推理01
[2.5.1]--三段论1
[2.5.2]--三段论2
[2.5.3]--三段论3
[3.1.1]--命题逻辑概述01
[3.2.1]--复合命题及其推理01
[3.2.2]--复合命题及其推理02
[3.3.1]--命题形式和真值表方法01
[3.3.2]--命题形式和真值表方法02
[3.4.1]--命题逻辑的自然演绎系统NP1
[3.4.2]--命题逻辑的自然演绎系统NP2
[4.1.1]--命题的谓词形式01
[4.2.1]--命题形式化的一般方法
[4.3.1]--谓词逻辑公式01
[4.4.1]--简单命题的逻辑结构01
[4.4.2]--简单命题的逻辑结构02
[4.5.1]--谓词逻辑推理的规则01
[4.5.2]--谓词逻辑推理的规则02
[4.6.1]--一阶量化演绎系统Qm01
[4.6.2]--一阶量化演绎系统Qm02
[5.1.1]--归纳逻辑概述01
[5.2.1]--传统归纳逻辑01
[5.3.1]--现代归纳逻辑01
[6.1.1]--科学逻辑概述、科学解释与科学预测01
[6.2.1]--科学假说01
[6.3.1]--论辩逻辑01
[6.3.2]--论辩逻辑02
[6.4.1]--辨谬逻辑
[7.1.1]--逻辑思维的基本规则概述及同一律
[7.2.1]--矛盾律1
[7.3.1]--排中律1
[8.1.1]--三段论的基本规则(一)
[8.2.1]--三段论的基本规则(二)
[8.3.1]--三段论的基本规则(三)
[8.4.1]--一阶逻辑中的代入
[8.5.1]--自然演绎系统中的全称量词规则
[8.6.1]--命题演算的基本置换定理
[8.7.1]--合取范式和析取范式及其应用
[8.8.1]--简单析取式与简单合取式