Définition

La logique, un terme signifiant à la fois « raison », « langage » et « raisonnement », est dans une première approche, l'étude des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate.

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).

Au Moyen Âge, elle ne figure pas explicitement parmi les sept arts libéraux (trivium : grammaire, dialectique et rhétorique ; quadrivium : arithmétique, géométrie, astronomie et musique).

En outre, on a assisté depuis le xix^e siècle (George Boole, Jevons) au 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. La logique antique se décompose en dialectique, rhétorique.

Histoire

Antiquité

La logique est à l'origine la recherche de règles générales et formelles permettant de distinguer un raisonnement concluant de celui qui ne l'est pas. Elle trouve ses premiers tâtonnements dans les mathématiques et surtout dans la géométrie mais c'est principalement sous l'impulsion des Mégariques et ensuite d'Aristote qu'elle prit son envol.

La logique a très tôt été utilisée contre elle-même, c'est-à-dire contre les conditions mêmes du discours : le sophiste Gorgias l'utilise dans son Traité du non-être afin de prouver qu'il n'y a pas d'ontologie possible : « ce n'est pas l'être qui est l'objet de nos pensées » : la vérité matérielle de la logique est ainsi ruinée. Le langage acquiert ainsi sa propre loi, celle de la logique, indépendante de la réalité. Mais les sophistes ont été écartés de l'histoire de la philosophie (sophiste a pris un sens péjoratif), si bien que la logique, dans la compréhension qu'on en a eu par exemple au Moyen Âge, est restée soumise à la pensée de l'être.

Ère contemporaine

Au xvii^e siècle, le philosophe Gottfried Wilhelm Leibniz réalise des recherches fondamentales en logique qui révolutionnent profondément la logique aristotélicienne. Il se réclame constamment de la tradition des syllogismes d'Aristote et tente de l'intégrer à son propre système. Il est le premier à imaginer et à développer une logique entièrement formelle.

Emmanuel Kant, quant à lui, définit la logique comme « une science qui expose dans le détail et démontre avec rigueur les règles formelles de toute pensée ». Les six œuvres d’Aristote regroupées sous le titre d’Organon, où figurent notamment les Catégories et l'étude du syllogisme, furent longtemps considérées comme la référence sur ce sujet.

En 1847 est publié le livre de George Boole, intitulé Mathematical Analysis of Logic, puis An Investigation Into the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities. Boole y développe une nouvelle forme de logique, à la fois symbolique et mathématique. Son but est de traduire des idées et des concepts en expressions et équations, de leur appliquer certains calculs et de traduire le résultat en termes logiques, marquant ainsi le début de la logique moderne, fondée sur une approche algébrique et sémantique, que l'on a appelée plus tard algèbre de Boole en son honneur.