====== Modus Baroco ======
Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_barbara:index|Modus Barbara]], in which a negative [[glossary:existential_quantification|existential]] proposition is inferred from an affirmative [[glossary:universal_quantification|universal]] and a negative //existential// proposition.
> All P are M.
> Some S are not M.
> Therefore, some S are not P.
For example:
> All squares are rectangles.
> Some polygons are not rectangles.
> Therefore, some polygons are not squares.
The //Modus Baroco// and the [[logic:inferences:modus_barbara:modus_bocardo|Modus Bocardo]] are the only two modes that require an indirect proof of validity in order to be reducible to their general form (the [[logic:inferences:modus_barbara:index|Modus Barbara]]). In fact, these two modes are practically identical, the only difference is that the premises are in reverse order.
===== Name =====
The name "Baroco" 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 "a" for an affirmative [[glossary:universal_quantification|universal]] and the two "o" for negative [[glossary:existential_quantification|existential]] statements. The "c" in the name indicates that the transformation to the basic form can only happen with a further proof of validity.
===== See also =====
* [[logic:inferences:modus_barbara:index|Modus Barbara]]
* [[glossary:syllogism|Syllogism]]
{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}