Bocardo
# Bocardo

Bocardo est un terme de la logique aristotélicienne désignant un des six syllogismes de la troisième figure des vingt-quatre modes. Il comprend une majeure de type O, une mineure de type A et une conclusion de type O, c'est-à-dire une majeure particulière négative, une mineure universelle affirmative et une conclusion particulière négative.

Un syllogisme en Bocardo consiste en une proposition de ce type : Quelque P n'est pas S, or tout P est F, donc quelque F n'est pas S.

Les cinq autres syllogismes de la troisième figure sont Darapti, Datisi, Disamis, Felapton et Ferison.

## Exemples de syllogismes en Bocardo

* Certaines volailles ne volent pas ;
* Or toute volaille est un oiseau ;
* Il y a donc des oiseaux qui ne volent pas.
* Certains chats domestiques ne sont pas calmes ;
* Tous les chats domestiques sont castrés ;
* Donc certains chats castrés ne sont pas calmes.
* « Il y a des colères qui ne sont pas blâmables ;
* Toute colère est une passion ;
* Donc il y a des passions qui ne sont pas blâmables. »
