====== Modus Barbari ======

Als „Modus Barbari“ bezeichnet man eine schwächere Form des [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]], bei dem nur auf einen [[begriffe:existenzsatz|Existenzsatz]] geschlossen wird. Hierfür ist als Nebenbedingung ein Existenzbeweis notwendig.

<aside float-right>
<figure box>
<h3>Modus Barbari</h3>
{{modus_barbari.svg?nolink|Modus Barbari}}
<figcaption centered>Typ ''AAI'', Form ''1''<span noprint> [[app>#AA1I|In Syllogism-Finder App anzeigen]]</span> \\ Hauptform: [[hauptseite|Barbara]]</figcaption>
</figure>
</aside>

> Alle <abbr "Mittelbegriff">M</abbr> sind <abbr "Oberbegriff">O</abbr>.
> Alle <abbr "Unterbegriff">U</abbr> sind <abbr "Mittelbegriff">M</abbr>.
> [//und es existiert wenigstens ein// <abbr "Unterbegriff">U</abbr>]*
> <span conclusio><span "daraus folgt">∴</span> Einige <abbr "Unterbegriff">U</abbr> sind <abbr "Oberbegriff">O</abbr>.</span>

Zum Beispiel:

> Alle //Rechtecke// sind //Vierecke//.
> Alle //Quadrate// sind //Rechtecke//.
> [und es existiert wenigstens ein //Quadrat// ]*
> <span conclusio>Daraus folgt: Einige //Quadrate// sind //Vierecke//.</span>

<aside box>
<small>**Anmerkung:** * Wenn von //Allsätzen// auf einen //Existenzsatz// geschlossen wird, wird dadurch [[begriffe:existenzeinfuehrung|Existenz eingeführt]]. Um mögliche mögliche Fehler der [[logik:fehlannahmen:leere_begriffsmenge|leeren Begriffs­menge]] zu ver­meiden, muss die Existenz hier explizit nach­ge­wiesen werden. Beim //Modus Bar­bari// reicht es aus, die Exis­tenz für den Unter­begriff (<abbr "Unterbegriff">U</abbr>) zu be­weisen, da sich daraus auch zwingend die Existenz von <abbr "Mittelbegriff">M</abbr> und <abbr "Oberbegriff">O</abbr> ergibt.</small>
</aside>

Der //Modus Barbari// ist eine schwächere Form des [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]], bei dem im Schluss­satz ein Existenz-, anstelle eines All­satzes steht. Da jeder All­satz, der sich nicht auf eine //leere Begriffs­menge// bezieht, prinzipiell auch immer einen Exis­tenz­satz impli­ziert, ist dies problem­los möglich, aller­dings hat ein solcher auch weniger Aussage­kraft.

Außerdem ähnelt dieser Schluss dem [[logik:schlussformen:modus_barbara:modus_bamalip|Modus Bamalip]], außer dass in den Prä­missen der Mittel­begriff an den jeweils anderen Stellen erscheint.

===== Namensherkunft =====

Der Name „Barbari“ ist eine [[wpde>Eselsbrücke]], die hilft, die wichtigsten Eigenschaften dieses Modus in Erinner­ung zu behalten: Dabei steht das „B“ am Wortanfang für die Verwandtschaft zum [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]], die beiden „a“ jeweils für die [[begriffe:allsatz|Allsätze]] als Prämissen und das „i“ für einen [[begriffe:existenzsatz|Existenzsatz]] im Schluss­satz. 

===== Beispiel =====

Das folgende Beispiel für einen (ungültigen) //Modus Barbari// illustriert die Notwendigkeit für einen Existenzbeweis besser als das obige Beispiel mit den geometrischen Figuren:

> Alle //Fabelwesen// sind //magische Wesen//.   –   //wahr//
> Alle //Einhörner// sind //Fabelwesen//.   –   //wahr//
> [<s invalid "Nebenbedingung wird nicht erfüllt.">und es existiert wenigstens ein //Einhorn//</s>]   –   //falsch//
> <span conclusio>Daraus folgt: <s invalid "Ungültiger Schluss">Es existieren //Einhörner//, die //magische Wesen// sind.</s></span>   –   //ungültiger Schluss//

Da sich der Begriff „Einhörner“ in diesem Kontext ausdrücklich auf //Fabel-// bzw. //magische Wesen// bezieht, wird die Nebenbedingung, dass solche Wesen auch existieren müssen, nicht erfüllt und in der Folge ist der Schluss nicht gültig.

<aside info>
**Hinweis:** Je nach Kontext und [[begriffe:extension|Extension]] des Begriffes „Einhorn“ kann es durchaus gültige Existenzbeweise geben: z.B. könnte man real existierende Tiere, die aufgrund von Gendefekten, Unfälle oder durch menschliches Eingreifen nur ein Horn haben, als „Einhörner“ bezeichnen; oder im Kontext von z.B. [[wpde>Fantasy-Literatur]] könnten die „reale“ Existenz von Einhörnern als gegeben angenommen werden. Solche Rahmenbedingungen sollten natürlich vorher klargestellt werden, um Mehrdeutigkeiten zu vermeiden.
</aside>

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

  * [[begriffe:allsatz|Allsatz]]
  * [[begriffe:existenzeinfuehrung|Existenzeinführung]]
  * [[begriffe:existenzsatz|Existenzsatz]]
  * [[logik:fehlannahmen:leere_begriffsmenge|Fehler der leeren Begriffs­menge]]
  * [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]]
  * [[logik:schlussformen:modus_barbara:modus_bamalip|Modus Bamalip]]
  * [[begriffe:syllogismus|Syllogismus]]

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