« Barbara (syllogisme) » : différence entre les versions
Contenu supprimé Contenu ajouté
Hpa (discuter | contributions) |
Ajout Balise : Liens d’homonymie |
||
| (6 versions intermédiaires par un autre utilisateur non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
{{Voir homonymes|Barbara (homonymie)}} |
|||
[[Fichier:Modus Barbara.svg|thumb|[[Diagramme de Venn]] d'un syllogisme en Barbara.]] |
[[Fichier:Modus Barbara.svg|thumb|[[Diagramme de Venn]] d'un syllogisme en Barbara.]] |
||
'''Barbara''' est un terme de la [[Organon|logique aristotélicienne]] désignant |
'''Barbara''' est un terme de la [[Organon|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 [[Syllogisme#L'extension des termes|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''. |
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''. |
||
| Ligne 16 : | Ligne 17 : | ||
#Les sculpteurs sont ceux qui taillent la pierre ; |
#Les sculpteurs sont ceux qui taillent la pierre ; |
||
#Donc tous les sculpteurs utilisent des outils. |
#Donc tous les sculpteurs utilisent des outils. |
||
<br> |
|||
#Tous les hommes sont mortels ; |
|||
#Or Socrate est un homme ; |
|||
#Donc Socrate est mortel. |
|||
<br> |
<br> |
||
==Références== |
|||
{{références}} |
|||
{{Palette Syllogismes}} |
{{Palette Syllogismes}} |
||
Dernière version du 8 février 2024 à 03:10
Pour les articles homonymes, voir Barbara (homonymie).
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.
