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
[modifier | modifier le code]- 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[1]. »
Références
[modifier | modifier le code]- Antoine Arnauld, Pierre Nicole, La logique ou l'art de penser, troisième partie, chap.VI.
