|
Dictum de omni et nulloIn Aristotelian logic, dictum de omni et nullo (Latin: "the maxim of all and none") is the principle that whatever is affirmed or denied of a whole kind K may be affirmed or denied (respectively) 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.[1] Dictum de omniDictum de omni (sometimes misinterpreted as universal instantiation)[2] is the principle that whatever is universally affirmed of a kind is affirmable as well for any subkind of that kind.
Premise (1) states that "dog" is a subkind of the kind "mammal". Dictum de nulloDictum de nullo is the related principle that whatever is denied of a kind is likewise denied of any subkind of that kind.
Premise (1) states that "dog" is a subkind of the kind "mammal". DiscussionIn Aristotelean syllogistic, these two principles correspond respectively to the two argument forms, Barbara and Celarent. These principles correspond roughly to a valid argument form known as universal hypothetical syllogism in first-order predicate logic. Nevertheless, Aristotelean syllogistic does not employ the formal machinery of first-order quantification. This by itself accounts for why it is incorrect to identify Dictum de omni as universal instantiation. The latter mistake is more easily explained by the fact that universal instantiation is a single-premise form of deduction that is not even a syllogism. See also
References
Notes
External links
|
