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