1、白马非马是指中国逻辑学家公孙龙提出的一个逻辑问题，出自《公孙龙子·白马论》。

2、《白马论》的故事大概是这样的。

战国时一城有令马匹不得出城。

有一天，赵国平原君的食客公孙龙带着一匹白马正要出城。守门的士兵对他说：「马匹一概不得出城。」

公孙龙心生一计，企图歪曲白马是马的事实，希望说服士兵。

公孙龙说：「白马并不是马。因为白马有两个特徵，一是白色的，二是具有马的外形，但马只有一个特徵，就是具有马的外形。具有两个特徵的白马怎会是只具有一个特徵的马呢？所以白马根本就不是马。」

愚鲁的士兵因无法应对，唯有放行。

白马非马是公孙龙惚弄士兵的话，应该这样说，白马不等于马，白马是马。马包含白马。不要闹出白马不是马、苹果不是水果及你爸爸不是男人的笑话。

更加通俗的是：

春秋战国时代的名家代表人之一的公孙龙子有许多有趣的诡论，其中最为有名的要算是白马非马论了。相传的故事大概是这样的，有一天公孙龙子骑著一匹白马要进城，该城门的看守官说，依照规定马不可以进城。於是公孙龙子就开始他的论证 – 白马非马，最后它说服了守城官，於是就骑著他的 (不是马的) 白马进城去了。

他的论证大概是这样的:

马 指的是马的形态，白马指的是马的颜色，而形态不等於颜色，所以白马不是马 (白马非马)。

这个论证利用歧义来混淆事实。所谓歧义是说，一个词可以有两个或两个以上的意义，在一个讨论中，若某个字的两个不同意义同时被使用，则可能会造成这种(歧义)类型的谬误。

是这个字可以被用来表达属於的关系，例如，白兔是兔。

是这个字也可以被用来表达等於的关系，例如，孔子是至圣先师。

守门官的意思是: 马不可进城，白马是马，所以白马不可以进城。

在这里，是被用来表达属於的关系。

当公孙龙子论证白马不是马时是被用在等於的关系。

所以，简单的说，他们其实是鸡同鸭讲。 不是谈论相同的一件事。

公孙龙子的论证是有效的，而他的结论，白马不等於马 (白马非马) 也是对的。但并不能用来反驳守门官的规则: 凡是属於马的都不能进城。