Logique

Pour les articles homonymes, voir Logique (homonymie).

Certaines informations figurant dans cet article ou cette section devraient être mieux reliées aux sources mentionnées dans les sections « Bibliographie », « Sources » ou « Liens externes » (octobre 2019).

Vous pouvez améliorer la vérifiabilité en associant ces informations à des références à l'aide d'appels de notes.

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^[1].

La logique antique se décompose d'abord en dialectique et rhétorique.

Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).

Les travaux de George Boole, William Stanley Jevons, Gottlob Frege ont permis depuis le XIX^e siècle le développement fulgurant d'une approche mathématique de la logique. Sa convergence opérée avec l'informatique depuis la fin du XX^e siècle lui a donné un regain de vitalité.

Elle trouve depuis le XX^e siècle de nombreuses applications en ingénierie, en linguistique, en psychologie cognitive, en philosophie analytique ou en communication.