研究思维规律的科学。已有两千多年历史。基本的分支是形式逻辑、数理逻辑和辩证逻辑。常用作形式逻辑的同义词。联合国教科文组织公布的学科分类，曾将逻辑学列为七大基础科学的第二位，仅次于数学。

先秦时主张“兼爱”和“非攻”等的重要学派。创始人为墨子。在当时为儒家的反对派，影响极大。墨家有严格的纪律，其弟子都能赴汤蹈火，舍身行道。后期墨家克服了墨子学说中的宗教迷信成分，对逻辑学、光学、几何学、力学等都有研究和贡献。

1.指印度古因明学(即逻辑学)的五段推理法，后为新学三段推理法所代替。

1.逻辑学名词。即三段论。亦称定言三段论。是从两个已知的判断(前提)推出它们所制约的第三个判断(结论)来的间接演绎推理。因为两个前提和一个结论都是直言判断，所以叫直言三段论。如:凡金属都能导电，铜是金属，所以铜能导电。

①关于研究辩论的学问。 ②逻辑学的旧称。

1.即辩学。逻辑学的旧称。辨﹐通"辩"。

指这样一种三段论，其中至少有一个前提是省略三段论的结论，而且带有该结论借以得出的大前提或小前提，以证明该结论的真实性。如：“科学是有用的，逻辑学是科学，因为其内容已由实践证明是真理，所以逻辑学是有用的。”其中的小前提“逻辑学是科学”是一个省略三段论的结论，而“逻辑学的内容已由实践证明是真理”就是该结论借以得出的小前提。

几个三段论联结而成的推理。前一个三段论的结论是后一个三段论的前提之一(大前提或小前提)。如：“科学是有用的，逻辑学是科学，所以逻辑学是有用的。一切有用的东西都应该学习，因此逻辑学应该学习。”其中，“逻辑学是有用的”是前一个三段论的结论，又是后一个三段论的小前提。

既不能同真也不能同假的两个判断。如“逻辑学是有用的”和“逻辑学是无用的”就是矛盾判断。对于矛盾判断，可以由一个判断之真推出另一个判断之假，也可以由一个判断之假推出另一个判断之真。

1.立论的根据﹐作者用来证明论点的理由和事实。 2.逻辑学指用来证明论题的判断。