thumb|Diagramme de Venn d'un syllogisme en Celarent.

Celarent est un terme de la logique aristotélicienne désignant un des quatre syllogismes de la première figure des vingt-quatre modes. Il comprend une majeure de type E, une mineure de type A et une conclusion de type E, c'est-à-dire une majeure universelle négative, une mineur universelle affirmative et une conclusion universelle négative.

Un syllogisme en Celarent consiste en une proposition de ce type : Aucun P n'est S, or tout F est P, donc aucun F n'est S.

Les trois autres syllogismes de cette première figure sont Barbara, Darii et Ferio.

Exemples de syllogismes en Celarent Aucun félidé n'est méchant ; Tous les chats sont des félidés ; Donc aucun chat n'est méchant.

Il n'y a pas de tyran qui soit libre ; Les pervers narcissiques sont des tyrans ; Donc aucun d'entre eux n'est libre.

Références

Catégorie:Syllogisme