Dictum de omni et nullo


In Aristotelian logic, dictum de omni et nullo is the principle that whatever is affirmed or denied of a whole kind K may be affirmed or denied of any subkind of K. This principle is fundamental to syllogistic logic in the sense that all valid syllogistic argument forms are reducible to applications of the two constituent principles dictum de omni and dictum de nullo.

''Dictum de omni''

Dictum de omni is the principle that whatever is universally affirmed of a kind is affirmable as well for any subkind of that kind.
Example:

Dogs are mammals.
Mammals have livers.
Therefore
dogs have livers.

Premise states that "dog" is a subkind of the kind "mammal".
Premise is a claim about the kind "mammal".
Statement concludes that what is true of the kind "mammal" is true of the subkind "dog".

''Dictum de nullo''

Dictum de nullo is the related principle that whatever is denied of a kind is likewise denied of any subkind of that kind.
Example:

Dogs are mammals.
Mammals do not have gills.
Therefore
dogs do not have gills.

Premise states that "dog" is a subkind of the kind "mammal".
Premise is a claim about the kind "mammal".
Statement concludes that what is denied of the kind "mammal" is denied of the subkind "dog".
Each of these two principles is an instance of a valid argument form known as universal hypothetical syllogism in first-order predicate logic.
In Aristotelean syllogistic, they correspond respectively to the two argument forms, Barbara and Celarent.