Trois types de logique sont repérables dans la recherche en sciences humaines : logique intellectuelle, logique empirique et logique scientifique.
Les connecteurs logiques usuels sont : non, et, ou, ⇒ et ⇔.
Ils permettent de créer, à partir d'une (ou deux) proposition(s), un nouvelle proposition dont la valeur de vérité dépend des valeurs de vérité de la (ou des) propostion(s) la constituant.