课程大纲

课程大纲

逻辑与形而上学

课程编码:010100M01001H 英文名称:Logic and Metaphysics 课时:60 学分:3.00 课程属性:一级学科核心课 主讲教师:郝刘祥等

教学目的要求
本课程作为哲学一级学科核心课和基础课,着重讲授逻辑学和与逻辑学、科学哲学和伦理学相关的形而上学。参与课程的同学需要阅读、讨论指定的参考文献,并完成相应的论文作业。

预修课程
数理逻辑

大纲内容
第一章 导论——从形而上学到本体论 3学时
第1节 形而上学
第2节 本体论
第二章 客体 6学时
第1节 共相
第2节 实体
第3节 性质
第4节 自然类
第三章 时空 3学时
第1节 时空作为舞台
第2节 时空与物质
第3节 模态与可能世界
第4节 同一性
第四章 因果 3学时
第1节 因果与律则
第2节 因果的统计推断
第3节 或然性与决定论
第4节 自由意志
第五章 心与物 3学时
第1节 物理主义
第2节 二元论
第3节 泛灵论
第4节 意识问题
第六章 什么是逻辑 3学时
第1节 什么是逻辑
第2节 逻辑简史
第3节 逻辑学的方法和内容
第七章 传统词项逻辑及其发展 6学时
第1节 基于表层语法的分析
第2节 对当方阵与变形推理
第3节 三段论
第4节 自然逻辑
第八章 命题逻辑 9学时
第1节 真值联结词
第2节 人工语言
第3节 公理系统
第4节 可靠性与完全性
第九章 一阶谓词逻辑 9学时
第1节 基于个体域的分析
第2节 谓词逻辑的表达力
第3节 形式系统
第4节 可靠性与完全性
第十章 一阶理论与哥德尔不完全性定理 3学时
第1节 一阶理论
第2节 哥德尔不完全性定理
第十一章 模态逻辑 6学时
第1节 模态逻辑的缘起
第2节 几个正规模态逻辑系统
第3节 可能世界语义学
第4节 知识逻辑
第5节 时间逻辑
第十二章 非演绎推理 3学时
第1节 归纳
第2节 类比
第3节 回溯

教材信息
1、 Metaphysics:The Fundamentals R. C. Koons and T. Pickavance 2015年1月 Blackwell

参考书
1、 Logic for Philosophy T. Sider 2010年3月 Oxford University Press

课程教师信息
郝刘祥,中国科学院大学人文学院哲学系教授、博导、哲学系主任。数学史方向博士学位。主要研究方向为科学哲学、科学思想史和科学文化。在科学哲学领域,主要致力于探讨现代科学的形而上学基础,特别是时空哲学和量子力学哲学中的基本问题。在科学思想史领域,对广义相对论的历史、规范理论的起源,以及科学革命的编史学做过深入研究。在科学文化领域,重点关注科学文化对现代世界的塑造力量,以及科学文化在中国的本土化过程中遇到的问题。现为国科大本科生及研究生开设科学哲学、西方科学史等课程。
张立英,中国科学院哲学研究所教授。北京大学哲学博士,荷兰阿姆斯特丹大学逻辑、语言与计算研究所访问学者、美国匹兹堡大学科学哲学中心访问学者、客座学者。主要研究方向为哲学逻辑、日常推理、科学定律的形式表达等。