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.
Diagramme de Venn d'un syllogisme en Bocardo.
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. »[1]
Références
- Antoine Arnauld, Pierre Nicole, La logique ou l'art de penser, troisième partie, chap.VII.
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.