Syllogismus, bei dem aus zwei positiven Allsätzen eine neue, ebenfalls positive allgemeine Aussage abgeleitet wird.
Alle M sind O.
Alle U sind M.
∴ Alle U sind O.
Zum Beispiel:
Alle Rechtecke sind Vierecke.
Alle Quadrate sind Rechtecke.
Daraus folgt: Alle Quadrate sind Vierecke.
Der Name „Barbara“ hat nichts mit dem gleich lautenden Vornamen zu tun, sondern ist eine Eselsbrücke, in dem die Vokale (a-a-a) auf die Typisierung der Aussagen hinweisen, nämlich darauf, dass die beiden Prämissen und der Schluss allesamt affirmative (bejahende) Allsätze („a“) sind.
Für mehr Informationen zur Namensbildung von Syllogismen, siehe Syllogismen§Namensgebung.
Anstatt nur zwei positiven Allsätzen als Prämissen kann ein solcher Schluss im Prinzip beliebig viele davon, die jeweils aufeinander aufbauen, enthalten. Eine solche Folge von miteinander „verketteten“ Schlüssen wird auch als „Kettenschluss“ bezeichnet.
Umgekehrt könnte man den Modus Barbara auch als Sonderfall des Kettenschlusses mit genau drei Begriffen in zwei Prämissen bezeichnen.
Alle der folgenden Modi lassen sich zu einem gültigen Modus Barbara umformen, die beiden ersten (Baroco und Bocardo) benötigen dafür jedoch einen weitergehenden Beweis der Gültigkeit: