title: Camestres
text: # Camestres
  
  Camestres 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 E et une conclusion de type E, c'est-à-dire une majeure universelle affirmative, une mineure universelle négative et une conclusion universelle négative.
  
  Un syllogisme en Camestres consiste en une proposition du type : Tout P est S, or aucun F n'est S, donc aucun F n'est P.
  
  Les trois autres syllogismes de la deuxième figure sont Baroco, Cesare et Festino.
  
  ## Exemples de syllogismes en Camestres
  
  * Les félidés sont des quadrupèdes ;
  * Aucun être humain n'est un quadrupède ;
  * Donc aucun être humain n'est un félidé.
  * Ceux qui boivent de la bière boivent de l'alcool ;
  * Les Alcooliques anonymes ne boivent pas d'alcool ;
  * Donc il n'y a pas d'alcoolique anonyme qui boive de la bière.
  * « Tous ceux qui sont à Jésus-Christ crucifient leur chair ;
  * Tous ceux qui mènent une vie molle et voluptueuse ne crucifient point leur chair ;
  * Donc nul d'eux n'est à Jésus-Christ. »
  