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.

Diagramme de Venn d'un syllogisme en Disamis.
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.
- « Il y a des méchants qui font les plus grandes fortunes ;
- Tous les méchants sont misérables ;
- Il y a donc des misérables dans les plus grandes fortunes. »[1]
Références
- Antoine Arnauld, Pierre Nicole, La logique ou l'art de penser, troisième partie, chap.VII.
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.