逻辑与思维

“逻辑与思维”是通识课，旨在培养学生严谨的逻辑思维能力与理论创新的意识，提升学生跨学科的素养，
引导学生了解逻辑学学科特点和研究方法。本课程以逻辑史为线索，以寻求思维规律为主题，展示著名逻辑学家们的伟大思想，
兼顾其各自技术贡献和他们相互之间的历史承继关系。通过讲述逻辑史上关键人物的思想和逻辑学形式系统的贡献，串联起
逻辑学发展的各个阶段，从而展现逻辑学从古代到现代发展的大图景。

实用信息

时间: 2023 春季学期周三上午 9:50-12:15
地点: 清华大学四教 4203
教师: 刘奋荣 (fenrongATtsinghua.edu.cn); 石辰威 (scwATtsinghua.edu.cn）
助教: 何清瑜 (hqy21ATmails.tsinghua.edu.cn) ; 成凤祥(chengfx21ATmails.tsinghua.edu.cn)

考核方式

课程作业三次 (30%); 至少参加 2 次 GEB 研讨课 (共 4 次）(20%)，每次 2 章，由 3-4 学生领读 ; 期末小论文，不少于 3000 字。(50%)
研讨课阅读材料：Douglas Hofstadter，Gödel, Escher, Bach: an Eternal Golden Braid, Basic Books, 1979; 1999.

课程计划

第一周: 引论
了解逻辑学对思维和推理的研究视角，了解逻辑与语言之间的关系，了解逻辑学作为交叉学科的特点。

第二周: 亚里士多德与三段论理论 (I)
了解古希腊的社会与思想背景、亚里士多德的理论动机。理解四种句子结构、对当方阵，掌握四种句子之间的真假推理关系。

第三周: 亚里士多德与三段论理论 (II)
理解三段论理论，理解亚里士多德证明推理类型有效性的方法。了解三段论的集合论语义。掌握判断一个推理类型是否有效的方法，
完成相应的作业和训练。

第四周: 莱布尼茨与通用语言
了解中世纪和文艺复兴时期逻辑学的发展，了解莱布尼茨关于通用语言和演算系统的思想纲领，理解他对概念进行算术计算的几个尝试。

第五周: 布尔与逻辑代数化
了解布尔如何采用代数的视角对概念、三段论和命题进行演算。

计划持续更新中......

期末课题建议

根据自己的兴趣和专业背景，结合课程所学内容，6 周结束前选定期末课题，把题目和简要计划发给老师。若选题有困难的，
也可以选取老师指定的课题。学生可以自愿在最后一次课上做展示 (5-10分钟)，之后完成不少于 3000 字的小论文。