研究思维规律的科学。已有两千多年历史。基本的分支是形式逻辑、数理逻辑和辩证逻辑。常用作形式逻辑的同义词。联合国教科文组织公布的学科分类，曾将逻辑学列为七大基础科学的第二位，仅次于数学。
研究思维的形式和规律的科学。旧称论理学、名学。 黎锦明 《社交问题》：“学了逻辑学的人，十个有九个精于麻雀！”
