| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision |
| logic:inferences:modus_darii:modus_datisi [25.05.22, 21:59:19] – ↷ Links adapted because of a move operation admin | logic:inferences:modus_darii:modus_datisi [25.05.22, 22:31:27] – ↷ Links adapted because of a move operation admin |
|---|
| ====== Modus Datisi ====== | ====== Modus Datisi ====== |
| |
| Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_darii:index|Modus Darii]], in which an affirmative [[logic: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> | <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> |
| ===== Name ===== | ===== Name ===== |
| |
| The name "Datisi" 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 [[logic:glossary:existential_quantification|existential]] statements that make up this form. | The name "Datisi" 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 ===== | ===== See also ===== |
| |
| * [[logic:glossary:existential_quantification|Existential Quantification]] | * [[glossary:existential_quantification|Existential Quantification]] |
| * [[logic:inferences:modus_darii:index|Modus Darii]] | * [[logic:inferences:modus_darii:index|Modus Darii]] |
| * [[glossary:syllogism|Syllogism]] | * [[glossary:syllogism|Syllogism]] |
