title: Bocardo
text: # 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. »
  