Logique

étude des principes et des critères de déductions et de démonstrations valides

La logique — du grec λογική / logikḗ (adjectif dérivé de λόγος / lógos, « raison, langage, raisonnement »), sous-entendu τέχνη / tékhnē : « l'art du 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. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique.