一、考试科目

04 逻辑学

方向04

（1）101 思想政治理论

（2）201 英语一

（3）621 逻辑哲学与逻辑史基础知识、622 一元微积分（4）813 逻辑学概论

复试专业课：S1135004 逻辑学综合

二、考试范围和参考书目

621逻辑哲学与逻辑史基础知识如主要逻辑学家及其思想、逻辑学的基本常识问题、逻辑学发展的简要历史等。

813逻辑学概论本课程主要考查：（1）传统逻辑基本理论，如定义理论、直言命题推理、复合命题推理、归纳推理、类比推理、论证理论等；（2）现代逻辑基本知识，如命题演算和谓词演算的一些基础知识。

S1135004 逻辑学综合（1）掌握数理逻辑的基本概念，命题演算系统L及谓词演算系统K的形式推演并理解相关完全性及可靠性定理的证明，基本的模型论、可计算性理论的 概念。（2） 逻辑的性质和范围；形式和非形式的有效性概念；分析性概念；单称词项理论；真理理论；模态概念（必然性）和可能世界；量化和存在。2017中山大学考研群 291654205三、推荐参考教材

《数理逻辑》作者：汉密尔顿著 出版社：华东师范大学出版《逻辑哲学导论》 作者：陈波 出版社：中国人民大学出版社