1、白馬非馬是指中國邏輯學家公孫龍提出的壹個邏輯問題，出自《公孫龍子·白馬論》。
2、《白馬論》的故事大概是這樣的。
戰國時壹城有令馬匹不得出城。
有壹天，趙國平原君的食客公孫龍帶著壹匹白馬正要出城。守門的士兵對他說：「馬匹壹概不得出城。」
公孫龍心生壹計，企圖歪曲白馬是馬的事實，希望說服士兵。
公孫龍說：「白馬並不是馬。因為白馬有兩個特徵，壹是白色的，二是具有馬的外形，但馬只有壹個特徵，就是具有馬的外形。具有兩個特徵的白馬怎會是只具有壹個特徵的馬呢？所以白馬根本就不是馬。」
愚魯的士兵因無法應對，唯有放行。
白馬非馬是公孫龍惚弄士兵的話，應該這樣說，白馬不等於馬，白馬是馬。馬包含白馬。不要鬧出白馬不是馬、蘋果不是水果及妳爸爸不是男人的笑話。
更加通俗的是：
春秋戰國時代的名家代表人之壹的公孫龍子有許多有趣的詭論，其中最為有名的要算是白馬非馬論了。相傳的故事大概是這樣的，有壹天公孫龍子騎著壹匹白馬要進城，該城門的看守官說，依照規定馬不可以進城。於是公孫龍子就開始他的論證_白馬非馬，最後它說服了守城官，於是就騎著他的(不是馬的)白馬進城去了。
他的論證大概是這樣的:
馬指的是馬的形態，白馬指的是馬的顏色，而形態不等於顏色，所以白馬不是馬(白馬非馬)。
這個論證利用歧義來混淆事實。所謂歧義是說，壹個詞可以有兩個或兩個以上的意義，在壹個討論中，若某個字的兩個不同意義同時被使用，則可能會造成這種(歧義)類型的謬誤。
是這個字可以被用來表達屬於的關系，例如，白兔是兔。
是這個字也可以被用來表達等於的關系，例如，孔子是至聖先師。
守門官的意思是:馬不可進城，白馬是馬，所以白馬不可以進城。
在這裏，是被用來表達屬於的關系。
當公孫龍子論證白馬不是馬時是被用在等於的關系。
所以，簡單的說，他們其實是雞同鴨講。不是談論相同的壹件事。
公孫龍子的論證是有效的，而他的結論，白馬不等於馬(白馬非馬)也是對的。但並不能用來反駁守門官的規則:凡是屬於馬的都不能進城。