“白馬非馬”出自古代邏輯學家公孫龍。公孫龍是戰國時期名家離堅白派的代表人物，其主要著作爲《公孫龍子》。公孫龍第一個提出了“唯乎其彼此”的正名理論，其主要代表思想有“白馬非馬”和“離堅白”等。
白馬非馬的意思
在公孫龍的論述“白馬非馬”中，馬、白馬、白這三種概念被看作可以獨立存在的概念。白馬指的是白色的馬，其內涵是一種動物加上顏色，而馬的內涵只是一種動物，兩者的內涵不同，因此不能夠將兩者等同，所以白馬非馬。
這樣的論述利用內涵之間的不相等來替換實義上的不相等，從而借語義上謬誤來實現其論述。如果要得到“馬”，那麼黃馬和黑馬都是馬，如果要得到白馬，那麼黑馬和白馬都不能滿足要求。如果一定要說白馬是馬，那麼要得到“馬”，就只能是白馬，那麼爲什麼和之前完全一樣的要求，卻得到不同的答案呢?公孫龍就此繼續論述，這就說明要得到馬的要求和得到白馬的要求是完全不同的，因此就如前面所說，白馬與馬不同，因此白馬不等同於馬。
