====== Modus Celarent ======

[[glossary:syllogism|Syllogism]] in which a negative conclusion is derived from a negative and an affirmative premise.

<aside float-right>
<figure>
<h3>Modus Celarent</h3>
{{modus_celarent.svg?nolink|Modus Celarent}}
<figcaption>Type ''EAE'', Figure ''1''<span noprint>[[app>#EA1E|Modus Celarent]]</span></figcaption>
</figure>
</aside>

> No <abbr "middle term">M</abbr> is <abbr "major term">P</abbr>.
> All <abbr "minor term">S</abbr> are <abbr "middle term">M</abbr>.
> <span conclusio>Therefore, no <abbr "minor term">S</abbr> is <abbr "major term">P</abbr>.</span>

For example:

> No <var>rectangle</var> is a <var>circle</var>.
> All <var>squares</var> are <var>rectangles</var>.
> <span conclusio>Therefore, no <var>square</var> is a <var>circle</var>.</span>

===== 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}}