逻辑学是普通高等学校本科专业，属于哲学类专业。本专业学生主要学习逻辑学、数学、计算机科学和哲学方面的基本理论和基础知识，接受公理化方法、形式化方法和语义分析方面的基本训练，具有专业研究的基本能力。

各高校根据自身定位和办学特色开设逻辑学专业基础主干类课程（主要有数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、四论导引（公理集合论、模型论、递归论、证明论）、应用逻辑、逻辑史、逻辑哲学、程序·语言设计、操作系统等）。