| Both sides previous revisionPrevious revision | Last revisionBoth sides next revision |
| logic:inferences:modus_ferio:modus_felapton [25.05.22, 21:59:19] – ↷ Links adapted because of a move operation admin | logic:inferences:modus_ferio:modus_felapton [27.05.22, 01:47:48] – ↷ Links adapted because of a move operation 154.54.249.205 |
|---|
| ====== Modus Felapton ====== | ====== Modus Felapton ====== |
| |
| Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_ferio:index|Modus Ferio]], in which a negative [[logic:glossary:existential_quantification|existential]] proposition is inferred from negative [[glossary:universal_quantification|universal]] and affirmative //existential// premisses. This form has an additional existential requirement. | Form of a [[glossary:syllogism|syllogism]] based on the [[logic:inferences:modus_ferio:index|Modus Ferio]], in which a negative [[glossary:existential_quantification|existential]] proposition is inferred from negative [[glossary:universal_quantification|universal]] and affirmative //existential// premisses. This form has an additional existential requirement. |
| |
| <html><aside><figure><h3>Modus Felapton</h3></html>{{modus_felapton.svg?nolink|Modus Felapton}}<html><figcaption><a href="/app/syllogism-finder/index_en.html#EA3O">Type <code>EAO</code>, Figure <code>3</code></a><br /></html>Parent: [[logic:inferences:modus_ferio:index|Ferio]]<html></figcaption></figure></aside></html> | <html><aside><figure><h3>Modus Felapton</h3></html>{{modus_felapton.svg?nolink|Modus Felapton}}<html><figcaption><a href="/app/syllogism-finder/index_en.html#EA3O">Type <code>EAO</code>, Figure <code>3</code></a><br /></html>Parent: [[logic:inferences:modus_ferio:index|Ferio]]<html></figcaption></figure></aside></html> |
| <tr><td><span title="Therefore">∴</span> Some <i>squares</i> are not <i>circles</i>.</td></tr></tbody></table></html> | <tr><td><span title="Therefore">∴</span> Some <i>squares</i> are not <i>circles</i>.</td></tr></tbody></table></html> |
| |
| <html><p class="info-box"></html>* **Note:** When an //existential// conclusion is inferred from //universal// premisses, this requires an (implicit or explicit) [[logic:glossary:existential_import|existential import]], i.e. it must be proven that what the term refers to actually //exists//. In case of the //Modus Felapton// it is sufficient to prove existence for the //middle term// (<html><abbr title="middle term">M</abbr></html>), as this also implies existence for <html><abbr title="minor term">S</abbr></html>, whereas, in this particular case, actual existance of <html><abbr title="major term">P</abbr></html> is not implied.<html></p></html> | <html><p class="info-box"></html>* **Note:** When an //existential// conclusion is inferred from //universal// premisses, this requires an (implicit or explicit) [[glossary:existential_import|existential import]], i.e. it must be proven that what the term refers to actually //exists//. In case of the //Modus Felapton// it is sufficient to prove existence for the //middle term// (<html><abbr title="middle term">M</abbr></html>), as this also implies existence for <html><abbr title="minor term">S</abbr></html>, whereas, in this particular case, actual existance of <html><abbr title="major term">P</abbr></html> is not implied.<html></p></html> |
| |
| //Modus Felapton// is very similar to [[logic:inferences:modus_ferio:index|Modus Ferio]], the only difference is that the terms in the minor statement are swapped. | //Modus Felapton// is very similar to [[logic:inferences:modus_ferio:index|Modus Ferio]], the only difference is that the terms in the minor statement are swapped. |
| ===== Name ===== | ===== Name ===== |
| |
| The name "Felapton" is a [[wp>Mnemonic|mnemonic]] term that helps to remember the most important characteristics of this mode: The "F" at the beginning indicates that it is related to the [[logic:inferences:modus_ferio:index|Modus Ferio]], while the vowels indicate the types of statements used in the form: "e" and "o" stand for a //negative// [[glossary:universal_quantification|universal]] and [[logic:glossary:existential_quantification|existential]], the "i" for an affirmative existential statements. | The name "Felapton" is a [[wp>Mnemonic|mnemonic]] term that helps to remember the most important characteristics of this mode: The "F" at the beginning indicates that it is related to the [[logic:inferences:modus_ferio:index|Modus Ferio]], while the vowels indicate the types of statements used in the form: "e" and "o" stand for a //negative// [[glossary:universal_quantification|universal]] and [[glossary:existential_quantification|existential]], the "i" for an affirmative existential statements. |
| |
| ===== See also ===== | ===== See also ===== |
| |
| * [[logic:glossary:existential_import|Existential import]] | * [[glossary:existential_import|Existential import]] |
| * [[logic:glossary:existential_quantification|Existential quantification]] | * [[glossary:existential_quantification|Existential quantification]] |
| * [[logic:inferences:modus_ferio:index|Modus Ferio]] | * [[logic:inferences:modus_ferio:index|Modus Ferio]] |
| * [[glossary:syllogism|Syllogism]] | * [[glossary:syllogism|Syllogism]] |
