====== Modus Calemes ======
Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_celarent:index|Modus Celarent]], in which a negative [[glossary:universal_quantification|universal]] proposition is inferred from an affirmative and a negative //universal// proposition.
> All P are M.
> No M is S.
> Therefore, no S is P.
For example:
> All squares are rectangles.
> No rectangle is a circle.
> Therefore, no square is a circle.
//Modus Calemes// is identical to the [[logic:inferences:modus_celarent:index|Modus Celarent]], except that the premisses have been swapped.
===== Name =====
The name "Calemes" is a [[wp>Mnemonic|mnemonic]] term that helps to remember the most important characteristics of this mode: The "C" at the beginning indicates that it is related to the [[logic:inferences:modus_celarent:index|Modus Celarent]], the "a" indicates an affirmative, the two "e" negative [[glossary:universal_quantification|universal]] statements.
==== Alternative Names ====
* Modus Camenes
===== See also =====
* [[logic:inferences:modus_celarent:index|Modus Celarent]]
* [[glossary:syllogism|Syllogism]]
* [[glossary:universal_quantification|Universal Quantification]]
{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}