Barbara (syllogisme)
![](https://upload.wikimedia.org/wikipedia/commons/thumb/8/86/Modus_Barbara.svg/220px-Modus_Barbara.svg.png)
Barbara est un terme de la logique aristotélicienne désignant le mode AAA de la première figure de syllogisme. Comme son nom en trois voyelles A l'indique, il est composé de trois universelles affirmatives (phrases de type A) : majeure universelle affirmative, mineure universelle affirmative et conclusion universelle affirmative.
Un syllogisme en Barbara consiste en une proposition de ce type : Tout M est P, or tout S est M, donc tout S est P.
Les trois autres syllogismes de cette première figure sont Celarent, Darii et Ferio.
Exemples de syllogismes en Barbara
[modifier | modifier le code]- Tous les félidés sont sympathiques ;
- Tous les chats sont des félidés ;
- Donc tous les chats sont sympathiques.
- Ceux qui taillent la pierre utilisent des outils ;
- Les sculpteurs sont ceux qui taillent la pierre ;
- Donc tous les sculpteurs utilisent des outils.
- Tous les hommes sont mortels ;
- Or Socrate est un homme ;
- Donc Socrate est mortel.
Références
[modifier | modifier le code]Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.