Modus Barbara

Syllogismus, bei dem aus zwei All­sätzen eine neue, eben­falls all­gemeine Aus­sage ab­ge­leitet wird.

Alle M sind O.

Alle U sind M.

∴ Alle U sind O.

Zum Beispiel:

Alle Rechtecke sind Vierecke.

Alle Quadrate sind Rechtecke.

∴ Alle Quadrate sind Vierecke.

Der Name „Barbara“ hat nichts mit dem gleich laut­enden Vor­namen zu tun, sondern ist eine Esels­brücke, in dem die Vokale (a-a-a) auf die Typi­sier­ung der Aus­sagen hin­weisen, näm­lich darauf, dass die bei­den Prä­mis­sen und der Schluss alle­samt af­fir­ma­tive (be­jah­ende) All­sätze („a“) sind.

Für mehr Infor­mationen zur Namens­bild­ung von Syl­log­is­men, siehe ⁠Syl­log­is­men§Namens­gebung.

Anstatt nur zwei Prämissen kann ein solcher Schluss im Prinzip be­liebig viele Sub­junk­tionen ent­halten, die je­weils auf­einander auf­bauen. Eine solche Folge von mit­einander „ver­ket­teten“ Sub­junk­tionen wird auch als „Ketten­schluss“ bezeichnet.

Umgekehrt könnte man den Modus Bar­bara auch als Sonder­fall des Ketten­schlusses mit genau drei Be­griffen in zwei Prä­missen bezeichnen.

Alle der folgenden Modi lassen sich zu einem gültigen Modus Bar­bara um­formen, die beiden ersten (Ba­ro­co und Bo­car­do) be­nö­ti­gen dafür je­doch einen weiter­gehenden Be­weis der Gültig­keit:

• Modus Baroco
• Modus Bocardo
• Modus Barbari
• Modus Bamalip

• Kettenschluss
• Modus Celarent
• Modus Darii
• Modus Ferio

• Modus Barbara auf Wikipedia