北京大学逻辑学在职研究生教学方案如下:
一、培养目标:培养系统掌握逻辑学专业知识,具有较高哲学理论素养,能进行逻辑学教学和研究以及实际工作的专门人才。
二、学习年限:3年
三、应修学分:40分
四、课程设置:
A.必修课:(共22学分)
(1)专业基础课(7学分)
1.第一外语4学分
2.马克思主义哲学(Marxist Philosophy)3学分
(2)专业主干课(15学分)
1,一阶逻辑First-order Logic 3学分
2,高级模态逻辑Advanced Modal Logic 3学分
3,公理集合论Axiomatic Set Theory 3学分
4,逻辑前沿问题(上)Frontier Problems of Logic(I)2学分
5、逻辑前沿问题(下)Frontier Problems of Logic(II)2学分
6,数学结构Mathematical Structures 3学分
B.选修课(18学分)
(I)逻辑专业选修课
1,模型论Model Theory 3学分
2,递归论基础Fundamentals of Recursion Theory 3学分
3,邻域语义学Neighborhood Semantics 3学分
4,动态逻辑Logical Dynamics 3学分
5,内涵逻辑Intensional Logic 3学分
6,广义模态逻辑Generalized Modal Logic 3学分
7,形式语义学Formal Semantics 3学分
8,数学哲学Philosophy of Mathematics 2学分
9,直觉主义逻辑Intuitionistic logic 2学
10,数理逻辑研究Studies in Mathematical Logic 2学分
11,逻辑史The History of Logic 3学分
12,逻辑哲学研究Study on philosophy of Logic 3学分
13,逻辑哲学原著选读Selected Readings in Philosophy of Logic 3学分
14,心灵与认知哲学专题Topics in Philosophy of Mind and Cognition 3学分
(II)哲学系其他专业必修课至少选修一门
(III)下列跨院系专业课可以选修一至三门
语言学(中文系,外语学院)
计算机科学(信息科学技术学院)
信息科学(数学学院信息科学系)
五、学位论文
第二学年末开题,并提交开题报告到教务办公室。开题后方可开始撰写毕业论文,不计学分。