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.
Trois types de logique sont repérables dans la recherche en sciences humaines : logique intellectuelle, logique empirique et logique scientifique.
On appelle une loi logique toute proposition constitué par des propositions liées entre elles par des connexions logiques est qui est toujours vraie quel que soit la valeur de vérité des propositions qui la constituent.
Une loi logique s'appelle aussi une tautologie.