2023中国科学院人文学院社会科学系逻辑学考研大纲发布！9月20日，中国科学院人文学院社会科学系研究生院公布2023年《逻辑学》考试大纲，其中包括考试内容、考试要求和参考教材等，为方便大家查看最新的考试大纲内容，高顿小编已整理详细内容，请参考！

一、考试科目基本要求及适用范围

本《大纲》适用于中国科学院大学逻辑学专业的硕士研究生入学考试。本科目的考试，要求考生掌握集合、关系、函数的基本概念；掌握命题逻辑和谓词逻辑的基本内容；了解逻辑学的发展简史。

二、考试形式和试卷结构

考试形式为闭卷，笔试，考试时间180分钟，总分150分，试卷包括简答（60分）、证明（60分）和论述（30分）三类题型。

三、考试内容与要求

1.数理逻辑发展简史

逻辑学尤其是数理逻辑发展进程中的主要逻辑学家及其贡献；数理逻辑的四个主要分支及其研究内容

2.素朴集合论

集合；关系；函数

3.命题逻辑

命题逻辑的形式语言；形式语义；形式系统；可靠性定理和完全性定理

4.谓词逻辑

一阶谓词逻辑的形式语言；形式语义；形式系统；可靠性定理和完全性定理

四、主要参考书

1．徐明，《符号逻辑讲义》，武汉大学出版社，2008年。（核心参考）

2．邢滔滔，《数理逻辑》，北京大学出版社，2008年。（扩展参考）

3.赵希顺，《简明数理逻辑》，科学出版社，2021年。（扩展参考）