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.
La logique — du grec λογική / logikê, qui est un terme dérivé de λόγος / lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.