logic逻辑学

研究思维形式及其规律的学科。旧译“名学”、“辩学”。包括形式逻辑和辩证逻辑两部分。研究概念、判断和推理及其相互联系的规律，以帮助人们正确地思维和认识客观真理。古希腊哲学家亚里士多德制定了以演绎法为主的形式逻辑体系，被认为是形式逻辑的奠基人。17～19世纪英国的培根和穆勒、德国的莱布尼茨和康德都对逻辑学的发展作出了贡献。19世纪40年代马克思主义哲学产生后才形成了科学的辩证逻辑。