En logique, on s'accorde à considérer trois « moyens » de construction du raisonnement : la déduction ou raisonnement par déduction ; l'induction ou raisonnement par induction ; l'abduction ou raisonnement par abduction.
L'ensemble des variables propositionnelles est noté v(L).
Elles sont écrites en minuscules (p, q); Un ensemble (fini) de connecteurs logiques : ∧, ∨, ¬, →, ≡ ; Formules : Nous dénoterons les formules par des lettres majuscules de l'alphabet latin ou grec (A, B, . . . ou φ).
arithmétique, proportionnel, algébrique, géométrique, probabiliste et statistique.
Le raisonnement inductif consiste à généraliser à partir de l'observation de cas particuliers.
Trois types de logique sont repérables dans la recherche en sciences humaines : logique intellectuelle, logique empirique et logique scientifique.