数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、应用逻辑、逻辑史、逻辑哲学、程序语言设计、操作系统等
专业介绍
逻辑学研习中西逻辑史、逻辑学、数理逻辑、思维科学等方面的基本理论和知识,以人类的思维形式及思维规律为研究对象,横跨数学、物理、计算机等多个学科,进行既定命题发生过程的推理和推导等。常见的找规律就是数理逻辑的典型,而数理逻辑也是现代逻辑学的主流。
专业学习
《中国逻辑史》、《西方逻辑史》、《数理逻辑》、《模态逻辑》、《非经典逻辑》、《逻辑哲学》、《归纳逻辑》、《法律逻辑》、《批判性思维》、《科学社会学》
专业内容
培养目标:本专业培养具备系统的逻辑学基础知识、一定的数学素养以及计算机理论和操作能力,能在高等院校、科研单位、国家机关及企事业管理部门从事逻辑学的教学、科研和应用方面的工作,并能从事计算机科学和语言学的科研和应用方面相关工作的逻辑学的高级专门人才。
培养要求:本专业学生主要学习逻辑学、数学、计算机科学和哲学方面的基本理论和基础知识,接受公理化方法、形式化方法和语义分析方面的基本训练,具有专业研究的基本能力。
毕业生应获得以下几方面的知识和能力:
1.掌握马克思主义的基本原理和逻辑学的基本理论、基础知识;
2.具有数学、计算机科学和哲学的基本素养;
3.掌握逻辑学研究的基本方法;
4.了解现代逻辑的前沿问题与发展动态;
5.掌握文献检索、资料查询的基本方法和手段;
6.具有初步的教学、科研和实际工作能力。
主干学科:哲学、数学。
核心课程:数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、四论导引(公理集合论、模型论、递归论、证明论)、应用逻辑、逻辑史、逻辑哲学、程序语言设计、操作系统等。
主要实践性教学环节:教学实习、论文写作等,一般安排6周左右。
修业年限:四年。
授予学位:哲学学士。
选考学科建议
3+3省份:不限3+1+2省份:首选不限,再选政治/化学/地理/生物
就业前景
就业方向:毕业生可在高等院校、科研单位、国家机关及企事业管理部门从事逻辑学的教学、科研和应用方面的工作,也能从事计算机科学和语言学的科研和应用方面相关工作。