逻辑学是一门普通高等学校本科专业，属哲学类专业，基本修业年限为四年，授予哲学学士学位，是研究思维形式及思维规律的专业。该专业学生主要学习逻辑学、数学、计算机科学和哲学方面的基本理论和基础知识，受到公理化方法、形式化方法和语义分析方面的基本训练，具有专业研究的基本能力。