公孙龙的“白马非马”理论，揭示了辩证法中同一性与差别性关系的重要问题。与惠施的观点相反，公孙龙从命题本身出发，指出在诸如“莲花是一种水生植物，玫瑰是红的”这样的命题中，主语和谓语的内涵和外延并不完全相同。这一点得到了恩格斯的认同，他认为每个命题中总有一些东西是主语或谓语所无法完全包含的。然而，公孙龙错误地将主语和谓语的差异绝对化，忽略了它们之间的必要联系，从而且得出了“白马非马”的错误结论。这种思想方法是形而上学的，割裂了范畴的统一性。在逻辑命题中，主词代表个别，谓词代表一般。在“白马是马”这个命题中，白马是特定的个别，马是一般。实际上，任何实际存在的马都具有颜色，不可能有无色的马。白马作为一般，只能通过具体的白、黄、黑等颜色的马来存在。这就是个别与一般之间的统一性。