哲学的一个分支，研究思维的形式和规律。旧称名学、辩学、论理学。