逻辑学研习中西逻辑史、逻辑学、数理逻辑、思维科学等方面的基本理论和知识,以人类的思维形式及思维规律为研究对象,横跨数学、物理、计算机等多个学科,进行既定命题发生过程的推理和推导等。常见的找规律就是数理逻辑的典型,而数理逻辑也是现代逻辑学的主流。 关键词:数学 推理 规律 逻辑
培养目标:本专业培养具备系统的逻辑学基础知识,一定的数学素养以及计算机理论和操作能力,能在高等院校、科研单位、国家机关及企事业管理部门从事逻辑学的教学、科研和应用方面的工作,并能从事计算机科学和语言学的科研和应用方面相关工作的逻辑学高级专门人才。
培养要求:本专业学生主要学习逻辑学、数学、计算机科学和哲学方面的基本理论和基础知识,受到公理化方法、形式化方法和语义分析方面的基本训练,具有专业研究的基本能力。
《中国逻辑史》、《西方逻辑史》、《数理逻辑》、《模态逻辑》、《非经典逻辑》、《逻辑哲学》、《归纳逻辑》、《法律逻辑》、《批判性思维》、《科学社会学》