研究思維形式和規律的學科。舊稱論理學、名學。