title: Datisi
text: # 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.
  * « Tout serviteur de Dieu est roi ;
  * Il y a des serviteurs de Dieu qui sont pauvres ;
  * Il y a donc des pauvres qui sont rois. »
  