Quel est le plus ancien texte connu qui traite explicitement de logique ?

Dans l’histoire de la pensée, L’Organon d’Aristote occupe une place fondatrice : cet ensemble de traités grecs du IVe siècle av. J.-C. est le plus ancien texte connu à traiter explicitement de logique sous la forme d’un système organisé. Aristote y étudie les conditions du raisonnement valide, la structure des propositions, les catégories de termes et les différentes manières dont une conclusion peut découler de prémisses. Son travail ne constitue pas seulement une réflexion générale sur la pensée : il cherche à décrire méthodiquement les formes du raisonnement.

Un recueil de six traités

Le nom d’Organon, qui signifie instrument en grec ancien, désigne traditionnellement un recueil de six traités attribués à Aristote. Il ne s’agit pas d’un ouvrage unique rédigé d’un seul tenant, mais d’un ensemble consacré à plusieurs aspects complémentaires de l’analyse logique. Les Catégories examine les grandes classes de ce qui peut être affirmé d’une chose ou lui appartenir. De l’interprétation étudie notamment les termes, les propositions et leur opposition. Les Premiers Analytiques exposent la théorie du syllogisme, tandis que les Seconds Analytiques s’intéressent à la démonstration et à la connaissance scientifique. Les Topiques portent sur le raisonnement dialectique, et les Réfutations sophistiques analysent les raisonnements qui paraissent corrects sans l’être réellement.

L’analyse du syllogisme

La contribution la plus célèbre de l’Organon est son étude du syllogisme. Dans ce type de raisonnement, deux prémisses sont combinées afin d’établir une conclusion selon une structure déterminée. L’exemple classique selon lequel tous les hommes sont mortels, Socrate est un homme, donc Socrate est mortel, illustre une forme de déduction dont la validité dépend des relations entre les termes, et non du seul contenu particulier de l’exemple. Aristote analyse différentes configurations de ces raisonnements et montre dans quelles conditions elles permettent d’obtenir nécessairement une conclusion. Cette démarche fournit un vocabulaire et des règles pour distinguer une inférence valide d’un enchaînement incorrect.

Une logique plus large que la seule déduction

Réduire l’Organon à la théorie du syllogisme serait toutefois incomplet. Les Catégories et De l’interprétation s’intéressent aux éléments qui composent les énoncés, alors que les Topiques étudient les arguments utilisés dans la discussion et la recherche d’une conclusion plausible. Les Réfutations sophistiques recensent de leur côté des erreurs de raisonnement liées, par exemple, à l’ambiguïté des mots ou à une mauvaise construction de l’argument. L’ensemble forme ainsi une réflexion sur les termes, les propositions, la démonstration, la discussion et les paralogismes. Il ne faut pas lui attribuer directement les systèmes modernes de logique propositionnelle ou de logique des prédicats, qui ont été élaborés bien plus tard : l’Organon constitue plutôt leur lointain point de départ historique.

Une influence pendant plus de deux millénaires

La logique aristotélicienne a été commentée, transmise et discutée durant l’Antiquité, puis largement étudiée dans les traditions savantes médiévales. Elle a joué un rôle majeur dans la formation de la philosophie occidentale et dans les méthodes de la scolastique, en fournissant des instruments pour examiner les définitions, les preuves et les arguments. D’autres conceptions du raisonnement ont également existé, notamment dans la philosophie antique, mais l’Organon reste le premier ensemble connu qui présente une étude explicite et structurée de la logique. Son influence, étendue sur plus de deux millénaires, explique pourquoi Aristote est généralement considéré comme le fondateur de la logique formelle en Occident.