在逻辑学中，人的思维活动大致分为：概念、判断、推理。逻辑学重点研究“逻辑推理”，指从已知（前提）推出未知（结论）的思维活动。

推理有三种主要的方式：演绎推理（deductive reasoning）、归纳推理（inductive reasoning）和溯因推理（abductive reasoning），而通常所说的“形式逻辑推理”指演绎推理。