Both sides previous revisionPrevious revision | Last revisionBoth sides next revision |
logic:inferences:modus_darii:modus_datisi [25.05.22, 22:31:27] – ↷ Links adapted because of a move operation admin | logic:inferences:modus_darii:modus_datisi [27.03.23, 22:50:09] – external edit 127.0.0.1 |
---|
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 //existential// and [[glossary:universal_quantification|universal]] premisses. | 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 //existential// and [[glossary:universal_quantification|universal]] premisses. |
| |
<html><aside><figure><h3>Modus Datisi</h3></html>{{modus_datisi.svg?nolink|Modus Datisi}}<html><figcaption><a href="/app/syllogism-finder/index_en.html#AI3I">Type <code>AII</code>, Figure <code>3</code></a><br /></html>Parent: [[logic:inferences:modus_darii:index|Darii]]<html></figcaption></figure></aside></html> | <aside float-right> |
| <figure> |
| <h3>Modus Datisi</h3> |
| {{modus_datisi.svg?nolink|Modus Datisi}} |
| <figcaption>Type ''AII'', Figure ''3''<span noprint> [[app>#AI3I|Modus Datisi]]</span> \\ Parent: [[logic:inferences:modus_darii:index|Darii]]</figcaption> |
| </figure> |
| </aside> |
| |
> <html><table class="layout"><tbody><tr><td>All <abbr title="middle term">M</abbr> are <abbr title="major term">P</abbr>.</td></tr> | > All <abbr title="middle term">M</abbr> are <abbr title="major term">P</abbr>. |
<tr><td>Some <abbr title="middle term">M</abbr> are <abbr title="minor term">S</abbr>.</td></tr> | > Some <abbr title="middle term">M</abbr> are <abbr title="minor term">S</abbr>. |
<tr><td><hr /></td></tr> | > <span conclusio>Therefore, Some <abbr title="minor term">S</abbr> are <abbr title="major term">P</abbr>.</span> |
<tr><td><span title="Therefore">∴</span> Some <abbr title="minor term">S</abbr> are <abbr title="major term">P</abbr>.</td></tr></tbody></table></html> | |
| |
For example: | For example: |
| |
> <html><table class="layout"><tbody><tr><td>All <i>rectangles</i> are <i>polygons</i>.</td></tr> | > All <var>rectangles</var> are <var>polygons</var>. |
<tr><td>Some <i>rectangles</i> are <i>squares</i>.</td></tr> | > Some <var>rectangles</var> are <var>squares</var>. |
<tr><td><hr /></td></tr> | > <span conclusio>Therefore, Some <var>polygons</var> are <var>squares</var>.</span> |
<tr><td><span title="Therefore">∴</span> Some <i>polygons</i> are <i>squares</i>.</td></tr></tbody></table></html> | |
| |
//Modus Datisi// is very similar to [[logic:inferences:modus_darii:index|Modus Darii]], the only difference being that the terms in the //minor// statement are reversed. | //Modus Datisi// is very similar to [[logic:inferences:modus_darii:index|Modus Darii]], the only difference being that the terms in the //minor// statement are reversed. |