thumb|Diagramme de Venn d'un syllogisme en Camenes.
Camenes (également appelé Calemes, ou Calentes dans la Logique de Port-Royal) est un terme de la logique aristotélicienne désignant un des cinq syllogismes de la quatrième figure des 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 Camenes consiste en une proposition de ce type : tout P est M, or aucun M n'est S, donc aucun S n'est P.
Les quatre autres syllogisme de la quatrième figure sont Bamalip, Dimatis, Fesapo et Fresison.
Exemples de syllogismes en Camenes
Tout chat est un félidé (A universelle affirmative) ; Aucun félidé n'est polydactyle (E universelle négative) ; Donc aucun polydactyle n'est un chat (E universelle négative).
Antoine Arnauld, Pierre Nicole, La logique ou l'art de penser, troisième partie, chap.VIII.
Références
Catégorie:Syllogisme