羊合牛非马

---

名家公孙龙的名辩命题，见《公孙龙子·通变论》。

羊与牛可以归为一类，但马却不能归入这个类。羊与牛虽然在某些地处不同，但有某些属性如“有角”则“俱有”，因而可以归为一个类。

马与牛、羊的相同之处较少，如“羊牛有角，马无角；马有尾，羊牛无尾”(谓无毛尾)，所以不能归入羊、牛一类。

此命题与“牛合羊非鸡”，反映了公孙龙对于“类”的条件性的认识。