A form of syllogism in which a new negative existential proposition is derived from a negative universal and an affirmative existential proposition.
No M is P. Some S are M. ∴ Some S are not P.
No square is a circle. Some rectangles are squares. ∴ Some rectangles are not circles.
The name “Ferio” is an artificial word describing the inference scheme: The “e” and “i” stand for a negative and positive universal quantifications, respectively, and the “o” for the negative existential quantification in the conclusion..
The following forms are the variants of Modus Ferioand can all be transformed back to it:
- Syllogism on Wikipedia