Dimatis (également appelé Dibatis dans la Logique de Port-Royal) est un terme de la logique aristotélicienne désignant un des cinq syllogismes de la quatriè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.
![Thumb](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0a/Modus_Dimatis.svg/640px-Modus_Dimatis.svg.png)
Un syllogisme en Dimatis consiste en une proposition de ce type : quelque P est M, or tout M est S, donc quelque S est P.
Les quatre autres syllogisme de la quatrième figure sont Bamalip, Camenes, Fesapo et Fresison.
Exemples de syllogismes en Dimatis
- Quelques chats ont le museau retroussé ;
- Tout ce qui a le museau retroussé appartient au règne animal ;
- Quelques chats font donc partie du règne animal.
- Il y a des gens qui font de la peinture ;
- Tous ceux qui font de la peinture sont artistes ;
- Il y a donc des gens qui sont artistes.
- « Quelque fou dit vrai ;
- Quiconque dit vrai mérite d'être suivi ;
- Donc il y en a qui méritent d'être suivis, qui ne laissent pas d'être fous. »[1]