Baroco
# 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. »
