A standard form categorical syllogism with two universal premises has a particular conclusion.
The idea is that some universal properties need not be instantiated. Itmay be true that 'all trespassers will be shot' even ifthere are no trespassers. It may be true that 'all brakelesstrains are dangerous' even though there are no brakelesstrains. That is the point of this fallacy.
- All mice are animals, and all animals are dangerous, so some mice are dangerous.
- No honest people steal, and all honest people pay taxes, so some honest people pay taxes.
Assume that the premises are true, but that there are no instances of the category described. For example, in (i) above, assume there are no mice, and in (ii) above, assume there are no honest people. This shows that the conclusion is false.