Existential import

The assumption that at least one member of the subject class of a universal proposition exists.Aristotelian, or traditional, logic assumes existential import. The modern interpretation doesnot. (See also Categorical proposition.)