公孫龍，戰(zhàn)國(guó)時(shí)期平原君的食客，一日牽著一匹白馬試圖出關(guān)，卻遭到阻攔。他由此展開了一場(chǎng)關(guān)于“白馬非馬”的哲學(xué)辯論。他認(rèn)為，白馬之所以被稱為非馬，是因?yàn)榘咨怯脕硇稳蓊伾模R是用來形容形狀的；顏色和形狀是不同的。如果只看顏色而不看形狀，那么就不能稱之為馬；如果只看形狀而不看顏色，那么也就不能稱之為白馬。因此，將顏色和形狀合并在一起稱為一個(gè)物體是不正確的。他舉例說，如果在馬廄中尋找一匹白馬，如果沒有找到，卻有一匹黑色的馬，那么就不能說有白馬存在。這種說法導(dǎo)致白馬不再是馬。公孫龍的“白馬非馬”理論，揭示了辯證法中同一性與差別性關(guān)系的重要問題。與惠施的觀點(diǎn)相反，公孫龍從命題本身出發(fā)，指出在諸如“蓮花是一種水生植物，玫瑰是紅的”這樣的命題中，主語和謂語的內(nèi)涵和外延并不完全相同。這一點(diǎn)得到了恩格斯的認(rèn)同，他認(rèn)為每個(gè)命題中總有一些東西是主語或謂語所無法完全包含的。然而，公孫龍錯(cuò)誤地將主語和謂語的差異絕對(duì)化，忽略了它們之間的必要聯(lián)系，從而得出了“白馬非馬”的錯(cuò)誤結(jié)論。這種思想方法是形而上學(xué)的，割裂了范疇的統(tǒng)一性。在邏輯命題中，主詞代表個(gè)別，謂詞代表一般。在“白馬是馬”這個(gè)命題中，白馬是特定的個(gè)別，馬是一般。實(shí)際上，任何實(shí)際存在的馬都具有顏色，不可能有無色的馬。白馬作為一般，只能通過具體的白、黃、黑等顏色的馬來存在。這就是個(gè)別與一般之間的統(tǒng)一性。公孫龍進(jìn)一步指出，對(duì)于具體的白馬來說，“白馬”是一般，而特定的馬是個(gè)別。銀色的馬是白馬的本質(zhì)，而“白”只是白馬的一個(gè)方面；“馬”這個(gè)一般只能大致包含所有馬，因?yàn)榫唧w的馬有不同顏色，而“馬”本身不表示任何顏色。因此，任何個(gè)別都不能完全歸入一般，這是個(gè)別與一般之間的矛盾。公孫龍揭示了辯證統(tǒng)一中的對(duì)立面，這在邏輯學(xué)上是有貢獻(xiàn)的。他指出了名詞的外延和內(nèi)涵的關(guān)系。就“馬”的外延而言，它包括白馬；就“馬”的內(nèi)涵而言，它指的是馬的本質(zhì)屬性，與“白馬”所代表的概念是有區(qū)別的。因此，不能將這兩個(gè)名詞混淆。