研究思维形式和规律的学科。旧称论理学、名学。