====== Modus Celarent ======
[[glossary:syllogism|Syllogism]] in which a negative conclusion is derived from a negative and an affirmative premise.
> No M is P.
> All S are M.
> Therefore, no S is P.
For example:
> No rectangle is a circle.
> All squares are rectangles.
> Therefore, no square is a circle.
===== Name =====
The name “Celarent” is a [[wp>Mnemonic|mnemonic]] term, in which the vowels (e-a-e) indicate that all three statements are [[glossary:universal_quantification|universal quantifications]]: the first premise is a negative (type “e”), the second affirmative (type “a”) and the conclusion is again a negative statement (type “e”).
For more information on this naming scheme, and on syllogisms in general, see the article on [[glossary:syllogism|syllogisms]] in the [[glossary:index|glossary]].
===== Variants =====
The following forms are the variants of Modus Celarent and can all be transformed back to it:
* [[logic:inferences:modus_celarent:modus_calemes|Modus Calemes]]
* [[logic:inferences:modus_celarent:modus_calemos|Modus Calemos]]
* [[logic:inferences:modus_celarent:modus_camestres|Modus Camestres]]
* [[logic:inferences:modus_celarent:modus_camestros|Modus Camestros]]
* [[logic:inferences:modus_celarent:modus_celaront|Modus Celaront]]
* [[logic:inferences:modus_celarent:modus_cesare|Modus Cesare]]
* [[logic:inferences:modus_celarent:modus_cesaro|Modus Cesaro]]
===== Siehe auch =====
* [[logic:inferences:modus_barbara:index|Modus Barbara]]
* [[logic:inferences:modus_darii:index|Modus Darii]]
* [[logic:inferences:modus_ferio:index|Modus Ferio]]
===== More information =====
* [[wp>Syllogism]] on //Wikipedia//
{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}