“大同而与小同异；此之谓小同异。万物毕同毕异；此之谓大同异。”我们说，统统人都是植物。这时候我们就熟谙到：人都是人，以是统统人都不异；他们都是植物，以是统统人也都不异。但是，他们作为人的不异，大于他们作为植物的不异。因为是人意味着是植物，而是植物不必然意味着是人，另有其他各种植物，它们都与人相异。以是惠施所谓的“小同异”，恰是这类同和异。但是，我们若以“万有”为一个遍及的类，就由此熟谙到万物都不异，因为它们都是“万有”。但是，我们若把每物当作一个个别，我们又由此熟谙到每个个别都有其本身的本性，因此与他物相异。这类同和异，恰是惠施所谓的“大同异”。如许，因为我们既能够说万物相互不异，又能够说万物相互相异，就表白它们的同和异都是相对的。名家的这个辩论在中国当代很闻名，被称为“条约异之辩”。
“南边无穷而有穷。”“南边无穷”是当时的人常说的话。在当时，南边几近无人体味，很像两百年前美国的西部。当时的中国人感觉，南边不像东方以海为限，也不像北方、西方以荒凉流沙为限。惠施这句话，很能够仅只是表示他过人的地理知识，就是说，南边终究也是以海为限。但是更能够是意味着，有穷与无穷也都是相对的。
在惠施宣讲他的“十事”中第一事和第十事的时候，他是在讲超乎形象的天下。他说：“至大无外，谓之大一。”这是照至大本来的模样来讲它是个甚么模样。“汜爱万物，六合一体也。”这是说至大是甚么构成的。这句话含有“统统即一，一即统统”的意义。“统统”即“一”，以是“统统”无外。“统统”本身就是至大的“一”，而因为“统统”无外，以是“统统”不能够是经历的工具。这是因为，经历的工具老是站在经历者的劈面。如果说，“统统”能够是经历的工具，那就必然也要说，另有个经历者站在“统统”的劈面。换句话说，必然要说“统统”无外而同时有外，这是个较着的冲突。
除了马作为马，又另有白作为白，即白的共相。《白马论》中说：“白者不定所白，忘之而可也。白马者言白，定所白也，定所白者，非白也。”定所白，就是详细的红色，见于各种实际的红色物体。见于各种实际红色物体的红色，是这些物体所定的。但是“白”的共相，则不是任何实际的红色物体所定。它是不决的白的共性。
公孙龙以这些知识论的、形上学的辩论，建立了他的命题：坚、白分离。在中国当代这是个闻名命题，以“离坚白之辩”闻名于世。
公孙龙的共相论
第二点是：“求马，黄黑马皆可致。求白马，黄黑马不成致。……故黄黑马一也，而能够应有马，而不成以应有白马，是白马之非马审矣。”“马者，无去取于色，故黄黑皆以是应。白马者有去取于色，黄黑马皆以是色去，故唯白马独能够应耳。无去者，非有去也。故曰：白马非马。”若用西方逻辑学术语，我们能够说，这一点是夸大，“马”、“白马”内涵的分歧。“马”的内涵包含统统马，不管其色彩的辨别。“白马”的内涵只包含白马，有呼应的色彩辨别。因为“马”与“白马”内涵分歧，以是“白马非马”。