在逻辑学中,人的思维活动大致分为:概念、判断、推理。逻辑学重点研究“逻辑推理”,指从已知(前提)推出未知(结论)的思维活动。推理有三种主要的方式:演绎推理(deductive reasoning)、归纳推理(inductive reasoning)和溯因推理(abductive reasoning),而通常所说的“形式逻辑推理”指演绎推理。