逻辑学

培养目标：本专业致力于培养具备扎实逻辑学基础、良好数学修养及计算机理论与操作技能的高级人才。毕业生能在高校、科研院所、政府机关及各类企事业单位，从事逻辑学及相关领域的教学、科研与实务工作，亦可涉足计算机科学和语言学的研究与应用。
培养要求：学生需系统修读逻辑学、数学、计算机科学及哲学等学科的基本理论与知识，接受公理化、形式化及语义分析等方法的严格训练，从而奠定专业研究的基础。
毕业生应获得以下几方面的知识和能力：
1．掌握马克思主义基本原理及逻辑学核心理论与基础；
2．具备数学、计算机科学及哲学领域的综合素养；
3．精通逻辑学研究的常规方法论；
4．关注并了解现代逻辑的前沿议题与最新动态；
5．熟练掌握文献检索与资料查询的技术手段；
6．拥有初步的教学实践、科学研究及实际工作处理能力。
主干学科：哲学、数学。
核心课程：数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、四论导引（公理集合论、模型论、递归论、证明论）、应用逻辑、逻辑史、逻辑哲学、程序设计、操作系统等。
主要实践性教学环节：包括教学实习、论文写作等，通常安排约6周。
修业年限：四年。
授予学位：哲学学士。