thumb|Diagramme de Venn d'un syllogisme en Datisi.
Datisi 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 I et une conclusion de type I, c'est-à-dire une majeure universelle affirmative, une mineure particulière affirmative et une conclusion particulière affirmative.
Un syllogisme en Datisi consiste en une proposition de ce type : Tout M est P, or quelque M est S, donc quelque S est P.
Les cinq autres syllogisme de la troisième figure sont Darapti, Bocardo, Disamis, Felapton et Ferison.
Exemples de syllogismes en Datisi
Les chiens sont des mammifères ; Quelque chien s'appelle Médor ; Donc quelque être nommé Médor est un mammifère.
Antoine Arnauld, Pierre Nicole, La logique ou l'art de penser, troisième partie, chap.VII.
Références
Catégorie:Syllogisme