（著名哲學命題）白馬非馬是中國古代的邏輯學家公孫龍（約公元前320--前250年）提出的一個著名的邏輯問題，出自《公孫龍子·白馬論》。

原文

“白馬非馬，可乎？”曰：“可。”

曰：“何哉？”曰：“馬者，所以命形也。白者，所以命色也。命色者，非命形也，故曰白馬非馬。”

曰：“有白馬，不可謂無馬也。不可謂無馬者，非馬也？有白馬為有馬，白之非馬，何也？”

曰：“求馬，黃、黑馬皆可致。求白馬，黃、黑馬不可致。使白馬乃馬也，是所求一也，所求一者，白者不異馬也。所求不異，如黃、黑馬有可有不可，何也？可與不可其相非明。故黃、黑馬一也，而可以應有馬，而不可以應有白馬，是白馬之非馬審矣。”

曰：“以馬之有色為非馬，天下非有無色之馬也。天下無馬，可乎？”

曰：“馬固有色，故有白馬。使馬無色，有馬如已耳，安取白馬？故白者非馬也。白馬者，馬與白也；馬與白馬也，故曰：白馬非馬也。

曰：“馬未與白為馬，白未與馬為白。合馬與白，複名白馬，是相與以不相與為名，未可。故曰：白馬非馬，未可。”

曰：“以有白馬為有馬，謂有白馬為有黃馬，可乎？”曰：“未可。”曰：“以有馬為異有黃馬，是異黃馬於馬也。異黃馬於馬，是以黃馬為非馬。以黃馬為非馬，而以白馬為有馬；此飛者入池，而棺槨異處；此天下之悖言亂辭也。”

曰：“有白馬，不可謂無馬者，離白之謂也。是離者有白馬不可謂有馬也。故所以為有馬者，獨以馬為有馬耳，非有白馬為有馬。故其為有馬也，不可以謂馬馬也。”

曰：“白者不定所白，忘之而可也。白馬者，言定所白也。定所白者，非白也。馬者無去取於色，故黃、黑皆所以應。白馬者，有去取於色，黃、黑馬皆所以色去，故唯白馬獨可以應耳。無去者非有去也。故曰：白馬非馬。”

白馬論的提出者是戰國時期名家“離堅白”派的代表人物公孫龍。公孫龍是戰國時期的趙國邯鄲人，曾經是平原君的門客。

白馬論的內容如下：“馬者，所以命形也;白者，所以命色也。命色者非命形也。故曰：白馬非馬。”這段論述出自公孫龍的《公孫龍子》。班固的《漢書·藝文志》收錄了《公孫龍子》內的十四篇作品，但只有六篇流傳下來了。

白馬論所探討的名實之辯。白馬論的提出者是公孫龍。公孫龍是戰國時期名家“離堅白”派的代表人物。公孫龍傳說字子秉，其主要著作為《公孫龍子》，公孫龍的“白馬非馬”和“離堅白”等，論述了“個別”和“一般”之間的邏輯關係。

是公孫龍

公孫龍首先建立了“白馬非馬”這個命題，主要的理由是，“馬”是用來描述外形，而“白”是用來描述顏色，顏色與形狀屬於不同範疇，所以白馬不能說是馬。白馬是由顏色（白色）與外形（馬），兩種特徵結合而成。如果不具備顏色（白色）這個特徵，單單隻有外形（馬），就不能說是白馬。

他接著強調，黃馬、黑馬皆是馬，但黃、黑馬不是白馬。如果白馬是馬，那黃馬、黑馬不是白馬，所以也不是馬，與命題矛盾，所以不成立。〈白馬論〉：“求馬，黃、黑馬皆可致；求白馬，黃、黑馬不可致。使白馬乃馬也，是所求一也。