logique d'Aristote et syllogismes mind map

Comprendre le sujet

La logique d'Aristote, exposée dans l'Organon, est la première systématisation du raisonnement déductif en Occident. Elle repose sur le syllogisme, structure à trois termes qui tire une conclusion de deux prémisses. Cette carte mentale présente les notions fondamentales : les catégories, les propositions, les figures et modes du syllogisme, les règles de validité, ainsi que les sophismes et les limites de ce système face à la logique moderne.

Le syllogisme : mécanisme et exemple canonique
Le syllogisme est un discours dans lequel, certaines choses étant posées, quelque chose d'autre en découle nécessairement par la seule présence des termes. L'exemple classique est : tout homme est mortel ; or Socrate est homme ; donc Socrate est mortel. Les deux prémisses partagent un terme commun, le moyen terme (homme), qui relie le sujet (Socrate) et le prédicat (mortel). La conclusion ne dépasse pas ce que contiennent les prémisses : c'est pourquoi Aristote parle de déduction et non d'induction. La validité dépend uniquement de la forme, jamais du contenu des propositions.

Figures et modes : la classification aristotélicienne
Dans les Premiers Analytiques, Aristote classe les syllogismes selon la position du moyen terme dans les prémisses : première figure (le moyen terme est sujet d'une prémisse et prédicat de l'autre), deuxième figure (prédicat des deux prémisses) et troisième figure (sujet des deux prémisses). Chaque figure admet des modes, combinaisons des quatre types de propositions. Le mode Barbara (trois universelles affirmatives) est le modèle de la validité. Les logiciens médiévaux ont mémorisé les modes valides grâce à des mots comme Celarent ou Darii, dont les voyelles indiquent le type de chaque proposition.

Validité et vérité : une distinction essentielle
Un syllogisme peut être valide sans être vrai : si les prémisses sont fausses, la conclusion suit formellement mais ne dit rien de vrai du monde. Inversement, un raisonnement invalide peut aboutir à une conclusion vraie par hasard. Aristote distingue donc la forme du raisonnement de la matière des prémisses. Cette distinction, reprise par la logique formelle moderne, est fondamentale pour l'analyse philosophique : critiquer un argument demande d'examiner à la fois sa structure et l'acceptabilité de ses prémisses, deux évaluations indépendantes l'une de l'autre.

Postérité et limites du système aristotélicien
La logique d'Aristote domine la pensée occidentale jusqu'au XIXe siècle, notamment par son intégration dans la scolastique médiévale. Elle reste toutefois limitée : elle traite des propositions à sujet-prédicat mais ne peut formaliser les relations, comme « A est plus grand que B ». La logique des prédicats, développée par Frege à la fin du XIXe siècle, dépasse ces limites. Aristote a aussi étudié les sophismes dans les Réfutations sophistiques, montrant une conscience précoce des erreurs de raisonnement, qu'il s'agisse d'ambiguïté lexicale ou de fausses inférences.