thumb|Diagramme de Venn d'un syllogisme en Disamis.
Disamis 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 I, une mineure de type A et une conclusion de type I, c'est-à-dire une majeure particulière affirmative, une mineure universelle affirmative et une conclusion particulière affirmative.
Un syllogisme en Disamis consiste en une proposition de ce type : Quelque M est P, or tout M est S, donc quelque S est P.
Les cinq autres syllogisme de la troisième figure sont Darapti, Bocardo, Datisi, Felapton et Ferison.
Exemples de syllogismes en Disamis
Quelque chien s'appelle Médor ; Or tout chien est un mammifère ; Donc quelque mammifère se nomme Médor.
Certaines lampes éclairent mal ; Les lampes sont plus évoluées que les torches ; Donc on trouve des moyens de s'éclairer plus évolués que les torches mais qui sont mauvais.
Antoine Arnauld, Pierre Nicole, La logique ou l'art de penser, troisième partie, chap.VII.
Références
Catégorie:Syllogisme