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