Camestres
# 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. »
