Barbara (syllogisme)
# Barbara (syllogisme)

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

* 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.
