====== Modus Camestres ======

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.

<aside float-right>
<figure>
<h3>Modus Camestres</h3>
{{modus_camestres.svg?nolink|Modus Camestres}}
<figcaption>Type ''AEE'', Figure ''2''<span noprint> [[app>#AE2E|]]</span> \\ Parent: [[logic:inferences:modus_celarent:index|Celarent]]</figcaption>
</figure>
</aside>

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

For example:

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

//Modus Camestros// is similar to [[logic:inferences:modus_celarent:modus_camestros|Modus Camestros]], but is the stronger of the two forms, as it infers a //universal// statement rather than an //existential// one.

===== Name =====

The name "Camestres" 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 the affirmative, the two "e" the negative [[glossary:universal_quantification|universal]] statements that make up the form.

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