白马非马是一个著名的逻辑问题,出自《公孙龙子·白马论》。
《白马论》的故事大概是这样的。
战国时一城有令马匹不得出城。
有一天,赵国平原君的食客公孙龙带着一匹白马正要出城。守门的士兵对他说:「马匹一概不得出城。」
公孙龙心生一计,企图歪曲白马是马的事实,希望说服士兵。
公孙龙说:「白马并不是马。因为白马有两个特徵,一是白色的,二是具有马的外形,但马只有一个特徵,就是具有马的外形。具有两个特徵的白马怎会是只具有一个特徵的马呢?所以白马根本就不是马。」
愚鲁的士兵因无法应对,唯有放行。
白马非马是公孙龙惚弄士兵的话,应该这样说,白马不等于马,白马是马。马包含白马。不要闹出"白马不是马"、"苹果不是水果"及"你爸爸不是男人"的笑话。
更加通俗的是:
春秋战国时代的名家代表人之一的公孙龙子有许多有趣的诡论,其中最为有名的要算是白马非马论了。相传的故事大概是这样的,有一天公孙龙子骑著一匹白马要进城,该城门的看守官说,依照规定马不可以进城。於是公孙龙子就开始他的论证 – 白马非马,最后它说服了守城官,於是就骑著他的 (不是马的) 白马进城去了。
他的论证大概是这样的:
“马” 指的是马的形态,”白马”指的是马的颜色,而形态不等於颜色,所以白马不是马 (白马非马)。
这个论证利用”歧义”来混淆事实。所谓”歧义”是说,一个词可以有两个或两个以上的意义,在一个讨论中,若某个字的两个不同意义同时被使用,则可能会造成这种(歧义)类型的谬误。
“ 是”这个字可以被用来表达”属於”的关系,例如,白兔是兔。
“是”这个字也可以被用来表达”等於”的关系,例如,孔子是至圣先师。
守门官的意思是: ”马不可进城,白马是马,所以白马不可以进城”。
在这里,”是”被用来表达”属於”的关系。
当公孙龙子论证”白马不是马”时.”是”被用在”等於”的关系。
所以,简单的说,他们其实是鸡同鸭讲。 不是谈论相同的一件事。
公孙龙子的论证是有效的,而他的结论,”白马不等於马 (白马非马)” 也是对的。但并不能用来反驳守门官的规则: 凡是属於马的都不能进城。
白马非马,中国古代有名的博弈诡论,意思是白马不是马,马是一种动物,白是一种颜色,白马,是知觉和视觉的混合显示,当然不能只算知觉里的马。