| Both sides previous revisionPrevious revisionNext revision | Previous 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 [07.03.24, 23:03:22] (current) – [Modus Datisi] Fixed an error in the example (thanks to D.M.) sascha |
|---|
| 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>squares</var> are <var>polygons</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. |
