Why does “No cats are birds; all birds are animals” not entail “No cats are animals”?
The First Figure: Conditions of Validity and Four Productive Moods
- The major is not universal
- The negative minor does not exclude cats from animals
- The middle occurs in the conclusion
- Both premises are particular