====== Modus Barbara ======

[[begriffe:syllogismus|Syllogismus]], bei dem aus zwei //positiven// [[begriffe:allsatz|Allsätzen]] eine neue, ebenfalls positive allgemeine Aussage abgeleitet wird.

<aside float-right>
<figure box>
<h3>Modus Barbara</h3>
{{modus_barbara.svg?nolink|Modus Barbara}}
<figcaption centered>Typ ''AAA'', Form ''1''<span noprint> [[app>#AA1A|In Syllogism-Finder App anzeigen]]</span></figcaption>
</figure>
</aside>

> Alle <abbr "Mittelbegriff">M</abbr> sind <abbr "Oberbegriff">O</abbr>.
> Alle <abbr "Unterbegriff">U</abbr> sind <abbr "Mittelbegriff">M</abbr>.
> <span conclusio><span "daraus folgt">∴</span> Alle <abbr "Unterbegriff">U</abbr> sind <abbr "Oberbegriff">O</abbr>.</span>

Zum Beispiel:

> Alle //Rechtecke// sind //Vierecke//.
> Alle //Quadrate// sind //Rechtecke//.
> <span conclusio>Daraus folgt: Alle //Quadrate// sind //Vierecke//.</span>

===== Herkunft des Namens =====

Der Name „Barbara“ hat nichts mit dem gleich lautenden Vornamen zu tun, sondern ist eine [[wpde>Eselsbrücke|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) [[begriffe:allsatz|Allsätze]] („a“) sind.

Für mehr Informationen zur Namensbildung von Syllogismen, siehe <span maniculus "gehe zu:">⁠[[begriffe:syllogismus#namensgebung|Syllogismen§Namensgebung]]</span>.

===== Kettenschluss =====

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 „[[logik:schlussformen:kettenschluss|Kettenschluss]]“ bezeichnet.

Umgekehrt könnte man den //Modus Barbara// auch als Sonderfall des //Kettenschlusses// mit genau drei Begriffen in zwei Prämissen bezeichnen.

===== Varianten =====

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:

  * [[logik:schlussformen:modus_barbara:modus_baroco|Modus Baroco]]
  * [[logik:schlussformen:modus_barbara:modus_bocardo|Modus Bocardo]]
  * [[logik:schlussformen:modus_barbara:modus_barbari|Modus Barbari]]
  * [[logik:schlussformen:modus_barbara:modus_bamalip|Modus Bamalip]]

===== Siehe auch =====

  * [[logik:schlussformen:modus_celarent:hauptseite|Modus Celarent]]
  * [[logik:schlussformen:modus_darii:hauptseite|Modus Darii]]
  * [[logik:schlussformen:modus_ferio:hauptseite|Modus Ferio]]

  * [[begriffe:allsatz|Allsatz]]
  * [[logik:schlussformen:kettenschluss|Kettenschluss]]

===== Weitere Informationen =====

  * [[wpde>Modus Barbara]] auf //Wikipedia//

{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}