Barbara (syllogisme)

Carte Commune · n° 486457

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.

Lire sur Wikipédia · Image Watchduck You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck"., Public domain