To say that concepts are related by entailment is just to say the following: For the concepts expressed by the predicate expressions ???is an F??? and ???is a G???, if the sentence ???For all x, if x is an F then x is a G??? is a necessary truth, then the concept of being an F entails the concept of being a G. The classical view is committed to this sort of relation holding between a concept to be