====== Modus Bamalip ======
A weaker form of the [[logic:inferences:modus_barbara:index|Modus Barbara]], in which only an existential conclusion is inferred. This form has an additional existential requirement.
> All P are M.
> All M are S.
>[and there exists at least one P]*
> Therefore, some S are P.
For example:
> All squares are rectangles.
> All rectangles are polygons.
> [and there exists at least one square]*
> Therefore, some squares are polygons.
The //Modus Bamalip// is a weaker form of the [[logic:inferences:modus_barbara:index|Modus Barbara]], in which the conclusion is an [[glossary:existential_quantification|existential]] rather than a universal statement. Since every universal quantification that does not refer to an //empty extension set// always implies an //existential quantification//, this variation is possible, but this is of course also a weaker statement than the universal conclusion of the //Modus Barbara//.
Moreover, this form resembles the [[logic:inferences:modus_barbara:modus_barbari|Modus Barbari]], except that //middle term// (M) appears in the other positions in the premises.
===== Name =====
The name "Bamalip" is a [[wp>Mnemonic|mnemonic]] term that helps to remember the most important characteristics of this mode: The "B" at the beginning indicates that it is related to the [[logic:inferences:modus_barbara:index|Modus Barbara]], the two "a" for the affirmative [[glossary:universal_quantification|universal]] statements in the premisses and the "i" for the affirmative [[glossary:existential_quantification|existential]] conclusion.
===== See also =====
* [[glossary:existential_import|Existential import]]
* [[glossary:existential_quantification|Existential quantification]]
* [[logic:inferences:modus_barbara:index|Modus Barbara]]
* [[logic:inferences:modus_barbara:modus_barbari|Modus Barbari]]
* [[glossary:syllogism|Syllogism]]
{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}