description indicates a group marked by settlement in all information belonging to a type as explained or described.twelve. (Logic) logic a category of expressions or with the entities they depict which will all enter into your similar syntactic relations. The speculation of types was Sophisticated by Bertrand Russell to stay away from the liar par