thumb|Diagramme de Venn d'un syllogisme en Darii.
Darii 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 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 Darii consiste en une proposition de ce type : Tout P est S, or quelque F est P, donc ce F est un S.
Les trois autres syllogismes de cette première figure sont Barbara, Celarent et Ferio.
Exemples de syllogismes en Darii Les soldats de la Grande Armée d'avant 1812 étaient victorieux ; Jean Dupont a été soldat dans la Grande Armée jusqu'en 1808 ; Donc Jean Dupont a été victorieux.
dont la classe Socrate ne contient qu'un seul élément. La particularité d'une prémisse ne tient pas à son nombre mais à sa totalité. Ici, ce n'est pas quelque Socrate mais tous les Socrate, même s'il n'y en a qu'un.
Références
Catégorie:Syllogisme