在邏輯學(xué)中，人的思維活動大致分為：概念、判斷、推理。邏輯學(xué)重點研究“邏輯推理”，指從已知（前提）推出未知（結(jié)論）的思維活動。

推理有三種主要的方式：演繹推理（deductive reasoning）、歸納推理（inductive reasoning）和溯因推理（abductive reasoning），而通常所說的“形式邏輯推理”指演繹推理。