研究思維規律的科學。已有兩千多年歷史。基本的分支是形式邏輯、數理邏輯和辯證邏輯。常用作形式邏輯的同義詞。聯合國教科文組織公布的學科分類，曾將{1}列為七大基礎科學的第二位，僅次于數學。