逻辑学
关于思维形式及其规律的学科，由亚里士多德创立。

古希腊对辩证思维的认识，主要表现在论辩术中，一些哲学家通过揭露辩论中的矛盾以探求真理，从而提出了关于概念之中存在矛盾的思想。古希腊哲学家，从考察外部世界的辩证运动转向考察人类思维自身的概念运动，是从爱利亚学派开始的。
古希腊对辩证思维的认识，在亚里士多德那里达到了高峰。他在创立传统逻辑的同时，还为后人研究辩证逻辑范畴体系留下了许多有价值的材料，如关于范畴的相互联系和流动的思想等等。
辩证逻辑研究概念、判断、推理等思维形式在推演、变化中的规律性、特点及其体现在思维方法上的辩证关系，它通过自身特有的逻辑范畴建立逻辑体系。辩证逻辑的基本内容包括基本规律、形式、方法以及逻辑范畴等。

推理
推理定义：由一个或几个已知的判断（前提），推导出一个未知的结论的思维过程
推理主要有演绎推理和归纳推理。演绎推理是从一般规律出发，运用逻辑证明或数学运算，得出特殊事实应遵循的规律，即从一般到特殊。归纳推理就是从许多个别的事物中概括出一般性概念、原则或结论，即从特殊到一般。

形式逻辑的基本规律之一，要求在同一思维过程中，对同一对象不能同时作出两个矛盾的判断，即不能既肯定它，又否定它。如不能说“水是物质”，同时又说“水不是物质”，这两个判断中必有一个是假的。矛盾律要求思想前后一贯，不能自相矛盾。公式是：“甲不是非甲”或“甲不能既是乙又不是乙”。

推理方法
三段演绎法
由一个共同概念联系着的两个性质判断作前提，推出另一个性质判断作结论的推理方法。
联言分解法
由联言判断的真值，推出一个支判断真值的联言推理形式的一种思维推理方法。
连锁推导法
在一个证明过程中，或一个比较复杂的推理过程中，将前一个推理的结论作为后一个推理的前提，一步接一步地推导，直到把需要的结论推出来。
综合归纳法
以大量个别知识为前提概括出一个一般性结论的推理方法。
归谬反驳法
从一个命题的荒谬结论，论证其不能成立的思维方法。分为：硬汉派、社会派、悬疑派、本格派、变革派。

科学归纳法
它是一种由个别到一般、从特殊到普遍、从经验事实到事物内在规律性的认识手段和模式。按照它自身的特点，大体可分为枚举归纳、消去归纳、渐近归纳、综合归纳4种类型。

完全归纳推理
完全归纳推理，又称“完全归纳法”，它是以某类中每一对象（或子类）都具有或不具有某一属性为前提，推出以该类对象全部具有或不具有该属性为结论的归纳推理。

演绎
从前提必然地得出结论的推理；从一些假设的命题出发，运用逻辑的规则，导出另一命题的过程。
就是从普遍性的理论知识出发，去认识个别的、特殊的现象的一种逻辑推理方法。演绎的基本形式是三段论式。