title: Baroco
text: # Baroco
  
  Baroco est un terme de la logique aristotélicienne désignant un des quatre (ou six, si l'on inclut les modes affaiblis) syllogismes de la deuxième figure des dix-neuf (ou vingt-quatre) modes. Il comprend une majeure de type A, une mineure de type O et une conclusion de type O, c'est-à-dire une majeure universelle affirmative, une mineure particulière négative et une conclusion particulière négative.
  
  Un syllogisme en Baroco consiste en une proposition du type : Tout P est S, or quelques F ne sont pas S, donc quelques F ne sont pas P.
  
  Les trois autres syllogismes de la deuxième figure sont Camestres, Cesare et Festino.
  
  ## Exemples de syllogismes en Baroco
  
  * Tous les dessous de verre peuvent servir de frisbee ;
  * Certains objets en métal ne peuvent pas servir de frisbee ;
  * Donc certains objets en métal ne sont pas des dessous de verre.
  * Les bons articles de Wikipédia sont rédigés sur un ton neutre ;
  * Certains articles de Wikipédia sont rédigés sur un ton non neutre ;
  * Donc certains articles de Wikipédia ne sont pas bons.
  * « Toute vertu est accompagnée de discrétion ;
  * Il y a des zèles sans discrétion ;
  * Donc il y a des zèles qui ne sont pas vertu. »
  