Le syllogisme
La forme logique fondamentale d'Aristote est le syllogisme : une conclusion dérivée de deux prémisses. L'exemple classique : Tous les hommes sont mortels. Socrate est un homme. Donc, Socrate est mortel. Un syllogisme valide garantit que si les prémisses sont vraies, la conclusion doit être vraie. Aristote a identifié plus de 200 formes syllogistiques valides et les a classées en figures.
Les catégories
Dans ses Catégories, Aristote a soutenu que tout ce qui peut être dit sur la réalité tombe dans dix catégories fondamentales : substance, quantité, qualité, relation, lieu, temps, position, état, action et passion. Ce cadre ontologique — classant tout l'être — a influencé la philosophie médiévale, la théologie chrétienne et la philosophie islamique pendant des siècles.
Le principe de non-contradiction
Aristote a formulé le principe de non-contradiction : rien ne peut être et ne pas être en même temps et sous le même rapport. Ce principe fondamental — « A ne peut être à la fois A et non-A » — est la pierre angulaire du raisonnement logique et des mathématiques classiques.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →L'influence de la logique aristotélicienne
Les universités européennes médiévales enseignaient la logique aristotélicienne comme fondement de toute étude académique. Des érudits islamiques, dont Avicenne et Averroès, l'ont transmise et développée. Thomas d'Aquin l'a synthétisée avec la théologie chrétienne. Elle n'a été supplantée qu'au XIXe siècle lorsque George Boole a réduit la logique à l'algèbre et que Gottlob Frege a développé la logique des prédicats, capable de gérer des preuves mathématiques que les syllogismes ne pouvaient pas traiter.
Questions fréquemment posées
Qu'est-ce qu'un syllogisme ?
Un syllogisme est un argument logique en trois parties : deux prémisses mènent à une conclusion. Si les prémisses sont vraies et l'argument est valide, la conclusion doit être vraie. Exemple : Tous les hommes sont mortels ; Socrate est un homme ; donc Socrate est mortel.
Aristote a-t-il inventé la logique ?
Aristote a inventé la logique formelle — l'étude systématique des règles pour un raisonnement valide. Bien que les philosophes présocratiques et Platon aient utilisé des arguments logiques, Aristote a été le premier à codifier et classer les formes d'inférence valide.
Pourquoi la logique aristotélicienne a-t-elle été remplacée ?
Au XIXe siècle, George Boole a réduit la logique à des opérations algébriques et Gottlob Frege a développé la logique des prédicats — un système plus puissant capable de gérer la quantification complexe nécessaire aux preuves mathématiques. La logique syllogistique d'Aristote est un cas particulier au sein de la logique formelle moderne.