Modus Bamalip

Eine schwächere Form des Modus Barbara, bei dem nur auf einen Existenzsatz geschlossen wird. Hierfür ist als Nebenbedingung ein Existenzbeweis notwendig.

Alle O sind M.
Alle M sind U.
[und es existiert wenigstens ein O]*
∴ Einige U sind O.

Zum Beispiel:

Alle Quadrate sind Rechtecke.
Alle Rechtecke sind Vierecke.
[und es existiert wenigstens ein Quadrat ]*
Daraus folgt: Einige Vierecke sind Quadrate.

Der Modus Bamalip ist eine schwächere Form des 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 Modus Barbari, außer dass in den Prämissen der Mittelbegriff an den jeweils anderen Stellen erscheint.

Der Name „Bamalip“ ist eine 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 Modus Barbara, die beiden „a“ jeweils für die Allsätze als Prämissen und das „i“ für einen Existenzsatz im Schlussatz.

• Modus Bramantip

• Allsatz
• Existenzeinführung
• Existenzsatz
• Fehler der leeren Begriffs­menge
• Modus Barbara
• Modus Barbari
• Syllogismus