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 syllogisme de cette première figure sont Barbara, Darii et Ferio.
Exemples de syllogismes en Celarent[modifier | modifier le code]
- 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.
- « Nul voleur impénitent ne doit s'attendre d'être sauvé ;
- Tous ceux qui meurent après s'être enrichis du bien de l'Église, sans vouloir le restituer, sont des voleurs impénitents ;
- Donc nul d'[entre] eux ne doit s'attendre [à] être sauvé. »[1]
Références[modifier | modifier le code]
- Antoine Arnauld, Pierre Nicole, La logique ou l'art de penser, troisième partie, chap.V.
