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 Schlusssatz ein Existenz-, anstelle eines Allsatzes steht. Da jeder Allsatz, der sich nicht auf eine leere Begriffsmenge bezieht, prinzipiell auch immer einen Existenzsatz impliziert, ist dies problemlos möglich, allerdings hat ein solcher auch weniger Aussagekraft 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.
Namensherkunft
Der Name „Bamalip“ ist eine Eselsbrücke, die hilft, die wichtigsten Eigenschaften dieses Modus in Erinnerung 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.
Alternative Namen
- Modus Bramantip