- Dictum de omni et nullo
-
In Aristotelean logic, dictum de omni et nullo (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) 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 omni (sometimes misinterpreted as universal instantiation) is the principle that whatever is universally affirmed of a kind is affirmable as well for any subkind of that kind.
Example:(1) Dogs are mammals.
(2) Mammals have livers.
Therefore (3) dogs have livers.Premise (1) states that "dog" is a subkind of the kind "mammal".
Premise (2) is a (universal affirmative) claim about the kind "mammal".
Statement (3) concludes that what is true of the kind "mammal" is true of the subkind "dog".Dictum de nullo is the related principle that whatever is denied of a kind is likewise denied of any subkind of that kind.
Example:(1) Dogs are mammals.
(4) Mammals do not have gills.
Therefore (5) dogs do not have gills.Premise (1) states that "dog" is a subkind of the kind "mammal".
Premise (4) is a (universal negative) claim about the kind "mammal".
Statement (5) concludes that what is denied of the kind "mammal" is denied of the subkind "dog".See also
- Aristotle
- Syllogism
- Term logic
- Class (philosophy)
- Class (set theory)
- Natural kind
- Type (metaphysics)
References
- Aristotle, Prior Analytics, 24b, 28-30.
- ^ John Stuart Mill (15 January 2001). System of Logic Ratiocinative and Inductive: Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation. Elibron.com. p. 114. ISBN 9781402181573. http://books.google.com/books?id=cL-0QxoZZAIC&pg=PA114. Retrieved 6 March 2011.
External links
- Logical Form (Stanford Encyclopedia of Philosophy)
Categories:- Latin logical phrases
- Arguments
- Rules of inference
Wikimedia Foundation. 2010.