Les Premiers Analytiques : le syllogisme formel
Barbara, Celarent, Darii, Ferio…
Analytica Priora
La découverte du syllogisme
Les Premiers Analytiques sont le traité où Aristote expose sa découverte la plus célèbre : le syllogisme. Un syllogisme est un raisonnement composé de trois propositions : deux prémisses (la majeure et la mineure) et une conclusion qui en découle nécessairement. Le modèle classique : « Tout homme est mortel (majeure) ; or Socrate est un homme (mineure) ; donc Socrate est mortel (conclusion). »
Le terme moyen et les figures
Le terme moyen (« homme ») est le pivot : il apparaît dans les deux prémisses et les relie, mais disparaît de la conclusion. Aristote distingue trois figures selon la position du terme moyen, chacune avec des modes valides : « Barbara, Celarent, Darii, Ferio » pour la première figure.
C'est le cœur battant de toute la logique.
Testez-vous : 8 questions
1. Comment appelle-t-on le raisonnement composé de deux prémisses et d’une conclusion qui en découle nécessairement ?
- Une définition
- Une division
- Une induction
- Un syllogisme
Voir la réponse
Réponse : Un syllogisme
Un syllogisme lie deux prémisses par un terme moyen, présent dans les deux et absent de la conclusion. C’est ce terme qui fait la liaison : « tout homme est mortel, or Socrate est homme, donc Socrate est mortel » ne conclut que parce que « homme » figure des deux côtés.
2. Dans « Tout homme est mortel ; Socrate est un homme ; donc Socrate est mortel », comment nomme-t-on la 1re prémisse ?
- La conclusion
- La majeure
- La mineure
- Le terme moyen
Voir la réponse
Réponse : La majeure
La majeure est la première prémisse du syllogisme, contenant le grand terme (prédicat de la conclusion).
3. Dans le même syllogisme, quel terme apparaît dans les deux prémisses mais disparaît de la conclusion ?
- Le sujet
- Le grand terme
- Le petit terme
- Le terme moyen
Voir la réponse
Réponse : Le terme moyen
Le terme moyen apparaît dans les deux prémisses mais disparaît de la conclusion, liant les extrêmes.
4. Aristote classe les syllogismes en figures selon la position du terme moyen. Combien de figures distingue-t-il ?
- Deux
- Cinq
- Trois
- Quatre
Voir la réponse
Réponse : Trois
Aristote distingue trois figures du syllogisme selon la position du moyen terme dans les prémisses.
5. Le mode « Barbara » est le syllogisme le plus célèbre de la première figure. De quoi se compose-t-il ?
- Deux A et une E
- Trois propositions E
- Trois propositions A
- Deux A et une I
Voir la réponse
Réponse : Trois propositions A
Barbara est composé de trois propositions universelles affirmatives (A-A-A), mode parfait de la première figure.
6. Que désignent les vers mnémoniques « Barbara, Celarent, Darii, Ferio » ?
- Les modes de figure 2
- Les modes de figure 3
- Les modes de figure 1
- Les catégories
Voir la réponse
Réponse : Les modes de figure 1
Barbara, Celarent, Darii, Ferio sont les quatre modes valides de la première figure du syllogisme.
7. Dans le mode « Celarent » (E-A-E), la majeure est universelle négative, la mineure universelle affirmative. Quelle est la conclusion ?
- Universelle négative
- Particulière négative
- Universelle affirmative
- Particulière affirmative
Voir la réponse
Réponse : Universelle négative
Dans Celarent (E-A-E), la conclusion est universelle négative, suivant la majeure négative.
8. Aristote pose qu’on ne tire rien de deux prémisses particulières. Comment nomme-t-on cette règle ?
- Rien du particulier
- Rien du singulier
- Tout de l’universel
- Rien du négatif
Voir la réponse
Réponse : Rien du particulier
De deux prémisses particulières, aucune conclusion valide ne peut être tirée : c’est une règle fondamentale.
Faites cette leçon dans Apôtre : les questions en mode interactif, votre progression, des rappels pour ne rien oublier. Gratuit, sans publicité. Commencer la leçon ›
Dans ce chapitre : L'Organon d'Aristote en détail
- Les Catégories : les dix genres de l'être
- Le De Interpretatione : jugements et propositions
- Les Premiers Analytiques : le syllogisme formel
- Les Seconds Analytiques : la démonstration scientifique
- Topiques et Réfutations sophistiques