逻辑可以分为形式逻辑和非形式逻辑。我们一般说的「逻辑学」，指的是形式逻辑。
逻辑学
如何推理
演绎推理
演绎推理 是从大范畴中找小范畴的推理
属于必然推理
归纳推理
归纳推理是从众多小范畴中找见大范畴的推理
类比推理
类比推理则是在相似的范畴之间进行推理
虽然这三种推理，方式不同，但都是为了把我们从已知的拽向未知的，从老的命题拽向新的命题。
归纳推理和类比推理也被称之为合情推理或者叫或然推理
形式逻辑和非形式逻辑
形式逻辑在生活中其实很不适用。因为形式逻辑要求建立一套规范的公理系统，但日常生活和语言往往是模糊的、实用主义的，因此存在着很多矛盾。