title: Barbara (syllogisme)
text: # 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.
  