Darapti
# Darapti

Darapti est un terme de la logique aristotélicienne désignant un des six syllogismes de la troisième figure des vingt-quatre modes. Il comprend une majeure de type A, une mineure de type A et une conclusion de type I, c'est-à-dire une majeure universelle affirmative, une mineure universelle affirmative et une conclusion particulière affirmative.

Un syllogisme en Darapti consiste en une proposition de ce type : Tout P est S, or tout P est F, donc quelque F est S.

Ce syllogisme obéit à une règle qui lui est propre : il ne doit pas porter sur des ensembles vides (il ne peut porter que sur des ensembles non nuls) pour être logiquement valide.

Les cinq autres syllogisme de la troisième figure sont Bocardo, Datisi, Disamis, Felapton et Ferison.

## Exemples de syllogismes en Darapti

* Les ornithorynques sont des mammifères ;
* Les ornithorynques pondent des œufs ;
* Donc il y a des mammifères qui pondent des œufs.
* Le vin est une boisson appréciable ;
* On fabrique le vin à partir de raisins ;
* Certaines boissons fabriquées à partir de raisins sont donc appréciables.
* « La divisibilité de la matière à l'infini est incompréhensible ;
* La divisibilité de la matière à l'infini est très certaine ;
* Il y a donc des choses très certaines qui sont incompréhensibles. »
