====== Modus Disamis ======

Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_darii:index|Modus Darii]], in which an affirmative [[glossary:existential_quantification|existential]] proposition is inferred from affirmative [[glossary:universal_quantification|universal]] and //existential// premisses.

<aside float-right>
<figure>
<h3>Modus Disamis</h3>
{{modus_disamis.svg?nolink|Modus Disamis}}
<figcaption>Type ''IAI'', Figure ''3''<span noprint> [[app>#IA3I|Modus Disamis]]</span> \\ Parent: [[logic:inferences:modus_darii:index|Darii]]</figcaption>
</figure>
</aside>

> Some <abbr title="middle term">M</abbr> are <abbr title="major term">P</abbr>.
> All <abbr title="middle term">M</abbr> are <abbr title="minor term">S</abbr>.
> <span conclusio>Therefore, Some <abbr title="minor term">S</abbr> are <abbr title="major term">P</abbr>.</span>

For example:

> Some <var>rectangles</var> are <var>squares</var>.
> All <var>rectangles</var> are <var>polygons</var>.
> <span conclusio>Therefore, Some <var>polygons</var> are <var>squares</var>.</span>

//Modus Disamis// is very similar to [[logic:inferences:modus_darii:index|Modus Darii]], except that the term in the minor statement are reversed.

===== Name =====

The name "Disamis" is a [[wp>Mnemonic|mnemonic]] term that helps to remember the most important characteristics of this mode: The "D" at the beginning indicates that it is related to the [[logic:inferences:modus_darii:index|Modus Darii]], the "a" and the two "i" indicate the affirmative [[glossary:universal_quantification|universal]] and [[glossary:existential_quantification|existential]]  statements that make up this form.

===== See also =====

  * [[glossary:existential_quantification|Existential Quantification]]
  * [[logic:inferences:modus_darii:index|Modus Darii]]
  * [[glossary:syllogism|Syllogism]]
  * [[glossary:universal_quantification|Universal Quantification]]

{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}