公孙龙是战国时期平原君的食客。一天，他牵一匹白马出关被阻，公孙龙便以白马非马的命题与之辩论。公孙龙说，白马为非马者，言白所以名色，言马所以名形也；色非形，形非色也。夫言色则形不当与，言形则色不宜从，今合以为物，非也。如求白马于厩中，无有，而有骊色之马，然不可以应有白马也。不可以应有白马，则所求之马亡矣；亡则白马竟非马公孙龙的“白马非马”这个命题，以及他的关于这个命题的辩论，也反映辩证法中的一个重要问题——同一性与差别性的关系的问题。他从另一个出发点讨论了上面说的“同一性在自身中包含着差别性”这个问题，得出了与惠施正相反的结论。惠施是从具体的事物出发来看这个问题。公孙龙是从命题出发，他看出了，在每个命题中，如“莲花是一种植物，玫瑰是红的”等，其主语和述语的内涵和外延都不完全相同。正是如恩格斯所说的：“不论是在主语或者在述语中，总有点甚么东西是述语或主语所包括不了的。”但是恩格斯指出，“述语是必需和主语不同的”；这正是“同一性在自身中包含着差别性”这个客观辩证法的反映。一般人都说：“白马是马。”公孙龙对于这个命题作了相当详细的分析，明确地指出主语和谓语之间的不同。但是他不知道这样的不同是必需的，是客观规律的反映，反而把二者割裂开来，加以抽象化、绝对化，由此达到客观唯心主义的结论，得出“白马非马”的结论。这就是把范畴固定化。其思想方法是形而上学的。在一个逻辑命题中，主词表示个别，谓词表示一般。在一个肯定的命题中，个别与一般是对立面的统一(同一)。在“白马是马”这个命题中，白马是个别，马是一般。严格地说，这个具体的马是个别。白马也是一般，白马只会与一般相联而存在，马也只能在白、黄、黑等马中存在，只能通过白、黄、黑等马而存在。这就是说：凡实际存在的马总是有白、黄、黑等颜色的，不可能有没有颜色的马。这是个别与一般这两个对立面的统一性。就“白马是马”这个命题说，“白马”是个别，“马”是一般；但是对于这个具体的白马，那个具体的白马说，“白马”又是一般，这个马、那个马是个别。“马”这个一般是白马的本质；“白”是白马的一方面；“马”这个一般只能大概地包括一切马，因为个别的马有白、黄、黑等的颜色不同，而“马”则不表示任何颜色。因为同一理由，所以任何个别都不能完全归进一般。这是个别与一般这两个对立面的矛盾性。个别与一般这两个对立面有矛盾又有统一，所以“白马是马”这个命题不是表示简单的等号而是表示一种辩证的统一。公孙龙一派发现了这个辩证统一中的对立面。他用“白马非马”这个命题表示个别与一般这两个对立面的矛盾。这是他对于客观辩证法的某一方面的认识。就逻辑学的意义说，公孙龙发现了名词的外延和内涵的关系。就“马”的外延说，“马”这个名词包括白马在内，但就“马”的内涵说，“马”这个名词指马的本质属性，和“白马”这个名词所代表的概念是有区别的。不能把这两个名词混同起来。这也是公孙龙的一个贡献。