Barbara (syllogisme)
Pour les articles homonymes, voir Barbara (homonymie).
Barbara est un terme de la logique aristotélicienne désignant le mode AAA de la première figure de syllogisme. Comme son nom en trois voyelles A l'indique, il est composé de trois universelles affirmatives (phrases de type A) : majeure universelle affirmative, mineure universelle affirmative et conclusion universelle affirmative.
Un syllogisme en Barbara consiste en une proposition de ce type : Tout M est P, or tout S est M, donc tout S est P.
Les trois autres syllogismes de cette première figure sont Celarent, Darii et Ferio.
Exemples de syllogismes en Barbara
[modifier | modifier le code]- Tous les félidés sont sympathiques ;
- Tous les chats sont des félidés ;
- Donc tous les chats sont sympathiques.
- Ceux qui taillent la pierre utilisent des outils ;
- Les sculpteurs sont ceux qui taillent la pierre ;
- Donc tous les sculpteurs utilisent des outils.
- Tous les hommes sont mortels ;
- Or Socrate est un homme ;
- Donc Socrate est mortel.
