现代逻辑考研科目通常包括以下几门:
思想政治理论(101)
英语(201)
哲学综合(673或611)
形式逻辑基础(914)
此外,有些学校可能会加试其他相关课程,例如:
辩证逻辑与创新思维
科学逻辑与科学方法论
中外逻辑思想史
语言逻辑
现代逻辑在计算机科学与人工智能中的应用
命题逻辑
谓词逻辑
数理逻辑和非经典逻辑
模态逻辑
形式语言与自动机
公司理论
集合论
控制论
知识表示与推理
认知心理学与计算机模型
计算机辅助证明
规划与动态逻辑
人工智能方法与应用
信息科学与认知科学
具体考试科目可能会因学校和招生方向的不同而有所调整。建议您查看目标院校的招生专业目录以获取最准确的科目信息。