The Syllogism
La forme logique fondamentale d'Aristote est le syllogisme : une conclusion déduite 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.
The Categories
Dans ses Catégories, Aristote a soutenu que tout ce qui peut être dit sur la réalité se divise en dix catégories fondamentales : substance, quantité, qualité, relation, lieu, temps, position, condition, action et passion. Ce cadre ontologique — classifier 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 pas être à la fois A et non-A » — est le fondement du raisonnement logique et des mathématiques classiques.
L'influence de la logique aristotélicienne
Les universités médiévales européennes enseignaient la logique aristotélicienne comme fondement de toute étude académique. Les savants islamiques, dont Avicenne et Averroès, l'ont transmise et enrichie. 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 quand George Boole a réduit la logique à l'algèbre, et Gottlob Frege a développé la logique des prédicats capable de traiter les preuves mathématiques que les syllogismes ne pouvaient pas.
Frequently Asked Questions
Qu'est-ce qu'un syllogisme ?
Un syllogisme est un argument logique en trois parties : deux prémisses conduisent à une conclusion. Si les prémisses sont vraies et l'argument 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 du raisonnement valide. Bien que les philosophes présocratiques et Platon aient utilisé des arguments logiques, Aristote a été le premier à codifier et classifier 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.