====== Modus Bamalip ======

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 Bamalip</h3>
{{modus_bamalip.svg?nolink|Modus Bamalip}}
<figcaption centered>Typ ''AAI'', Form ''4''<span noprint> [[app>#AA4I|In Syllogism-Finder App anzeigen]]</span> \\ Hauptform: [[hauptseite|Barbara]]</figcaption>
</figure>
</aside>

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

Zum Beispiel:

> Alle //Quadrate// sind //Rechtecke//.
> Alle //Rechtecke// sind //Vierecke//.
> [und es existiert wenigstens ein //Quadrat// ]*
> <span conclusio>Daraus folgt: Einige //Vierecke// sind //Quadrate//.</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 vermeiden, muss die Existenz hier explizit nachgewiesen werden. Beim //Modus Bamalip// reicht es aus, die Existenz für den Ober­be­griff (<abbr "Oberbegriff">O</abbr>) zu beweisen, da sich daraus auch zwingend die Existenz von <abbr "Mittelbegriff">M</abbr> und <abbr "Unterbegriff">U</abbr> ergibt.</small>
</aside>

Der //Modus Bamalip// 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 Be­griffs­menge// bezieht, prinzipiell auch immer einen Existenzsatz impliziert, ist dies problemlos möglich, allerdings hat ein solcher auch weniger Aussage­kraft als die Allaussage im //Modus Barbara//.

Außerdem ähnelt dieser Schluss dem [[logik:schlussformen:modus_barbara:modus_barbari|Modus Barbari]], außer dass in den Prämissen der Mittelbegriff an den jeweils anderen Stellen erscheint.

===== Namensherkunft =====

Der Name „Bamalip“ 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 Schlussatz.

==== Alternative Namen ====

  * Modus Bramantip

===== 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_barbari|Modus Barbari]]
  * [[begriffe:syllogismus|Syllogismus]]

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