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

L'étude de la logique comme discipline structurée remonte à l'Antiquité, mais c'est dans la Grèce classique qu'elle trouve ses premiers fondements écrits. Avant même l'émergence des systèmes philosophiques hellénistiques, les penseurs cherchaient déjà à formaliser les règles du raisonnement valide. Parmi les traces les plus anciennes conservées, un ensemble de traités attribués à Aristote occupe une place centrale, marquant un tournant dans l'histoire de la pensée rationnelle.

L'Organon : un système de logique avant l'heure

L'Organon, dont le titre signifie "instrument" en grec ancien, désigne un recueil de six traités logiques composés par Aristote entre 350 et 320 av. J.-C. Cette compilation représente le premier effort systématique pour codifier les mécanismes du raisonnement déductif. Parmi ses composantes, "Les Catégories" explore la classification des termes, tandis que "De l'Interprétation" analyse la structure des propositions. Ces textes posent les bases de ce que nous appelons aujourd'hui la logique propositionnelle et la logique des prédicats.

Les syllogismes : une innovation majeure

L'une des contributions les plus durables de l'Organon réside dans l'étude des syllogismes, ces enchaînements logiques où une conclusion découle nécessairement de deux prémisses. Aristote y développe notamment les trois figures du syllogisme, qui distinguent les différentes configurations possibles entre le sujet, le prédicat et le moyen terme. Cette méthode a permis pour la première fois de distinguer clairement les arguments valides des raisonnements fallacieux. Son influence s'étend bien au-delà de la philosophie, touchant des domaines aussi variés que les mathématiques ou le droit.

Une influence durable malgré les critiques

L'Organon a exercé une domination intellectuelle sans équivalent dans l'histoire de la pensée occidentale. Dès l'Antiquité, des commentateurs comme Alexandre d'Aphrodise ou Porphyre ont enrichi son interprétation, tandis que les écoles stoïciennes proposaient des alternatives. Au Moyen Âge, les scholastiques, de Thomas d'Aquin à Guillaume d'Ockham, ont intégré ses principes dans leur réflexion théologique. Pourtant, dès le XVIIe siècle, des philosophes comme Descartes ou Leibniz ont remis en cause certains aspects de sa logique, ouvrant la voie à des systèmes plus formels.

Des traces plus anciennes, mais moins systématiques

Si l'Organon constitue le premier texte explicitement logique, des échos de raisonnement structuré apparaissent plus tôt dans l'histoire. Les mathématiques babyloniennes, dès le XVIIIe siècle av. J.-C., utilisaient des procédures déductives dans leurs calculs géométriques. En Inde ancienne, les grammairiens de l'école de Panini (vers IVe siècle av. J.-C.) ont développé des règles de syntaxe remarquablement précises. Cependant, ces traditions, bien que sophistiquées, ne présentaient pas la même ambition systématique que les traités aristotéliciens.