一、培养目标：培养系统掌握逻辑学专业知识，具有较高哲学理论素养，能进行逻辑学教学和研究以及实际工作的专门人才。
二、学习年限：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）下列跨院系专业课可以选修一至三门
　　语言学（中文系，外语学院）
　　计算机科学（信息科学技术学院）
　　信息科学（数学学院信息科学系）
五、学位论文
第二学年末开题，并提交开题报告到教务办公室。开题后方可开始撰写毕业论文，不计学分。