Both sides previous revisionPrevious revision | |
logic:inferences:modus_ferio:modus_felapton [27.05.22, 01:47:48] – ↷ Links adapted because of a move operation 154.54.249.205 | logic:inferences:modus_ferio:modus_felapton [27.03.23, 23:02:09] (current) – external edit 127.0.0.1 |
---|
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. | 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> | <aside float-right> |
| <figure> |
| <h3>Modus Felapton</h3> |
| {{modus_felapton.svg?nolink|Modus Felapton}} |
| <figcaption>Type ''EAO'', Figure ''3''<span noprint> [[app>#EA3O|Modus Felapton]]</span> \\ Parent: [[logic:inferences:modus_ferio:index|Ferio]]</figcaption> |
| </figure> |
| </aside> |
| |
> <html><table class="layout"><tbody><tr><td>No <abbr title="middle term">M</abbr> is <abbr title="major term">P</abbr>.</td></tr> | > No <abbr title="middle term">M</abbr> is <abbr title="major term">P</abbr>. |
<tr><td>All <abbr title="middle term">M</abbr> are <abbr title="minor term">S</abbr>.</td></tr> | > All <abbr title="middle term">M</abbr> are <abbr title="minor term">S</abbr>. |
<tr><td>[<i>and there exists at least one</i> <abbr title="middle term">M</abbr>]*</td></tr> | > [<i>and there exists at least one</i> <abbr title="middle term">M</abbr>]* |
<tr><td><hr /></td></tr> | > <span conclusio>Therefore, Some <abbr title="minor term">S</abbr> are not <abbr title="major term">P</abbr>.</span> |
<tr><td><span title="Therefore">∴</span> Some <abbr title="minor term">S</abbr> are not <abbr title="major term">P</abbr>.</td></tr></tbody></table></html> | |
| |
For example: | For example: |
| |
> <html><table class="layout"><tbody><tr><td>No <i>rectangle</i> is a <i>circle</i>.</td></tr> | > No <var>rectangle</var> is a <var>circle</var>. |
<tr><td>Some <i>rectangles</i> are <i>squares</i>.</td></tr> | > Some <var>rectangles</var> are <var>squares</var>. |
<tr><td>[and there exists at least one <i>rectangle</i>]*</td></tr> | > [and there exists at least one <var>rectangle</var>]* |
<tr><td><hr /></td></tr> | > <span conclusio>Therefore, Some <var>squares</var> are not <var>circles</var>.</span> |
<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) [[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> | <aside box> |
| * **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// (<abbr title="middle term">M</abbr>), as this also implies existence for <abbr title="minor term">S</abbr>, whereas, in this particular case, actual existance of <abbr title="major term">P</abbr> is not implied. |
| </aside> |
| |
//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. |