白马非马

马者，所以命形也。白者，所以命^①色也。命色者，非命形也，故曰白马非马。(《公孙龙子·白马论》)

【注释】　①命：命名。
【译文】　“马”这个名称是命名形体的，“白”这个名称是命名颜色的，而命名“颜色和形体”的名称，不能等于命名“形体”的名称，所以说“白马”这个名称不等同于“马”这个名称。
【评说】　这段颇为有名的“白马非马论”,通常被看做是公孙龙许多有趣的诡辩之一。传说中的故事大概是这样的：有一天公孙龙骑着一匹白马要进城，该城门的看守官说，依照规定马不可以进城。于是公孙龙就开始了他的以上论证即“白马非马”,最后终于使守城官无话可说，只好让公孙龙骑着他的(不是马的)白马进城去了。
对于一般人，说“白马是马”就如同说“张三是人”一样，清楚明白，准确无误。怎么可能“白马非马”呢？然而，在这段话里，公孙龙是从概念的角度来进行论证的：“马”这个概念是指事物的形体，“白”这个概念是指事物的颜色。而“形体”和“颜色”是两种不同的东西，指称形体的概念与指称颜色的概念当然是两种不同的概念。“白马”既指形体又指颜色，而“马”仅仅指“形体”。所以得出结论：“白马”不是“马”。公孙龙这个论证在逻辑上的贡献在于：从内容上把“白马”之名和“马”之名区别开来，说明了“白马”之名包含了“颜色”方面的内容，而“马”之名没有包含颜色方面的内容。用逻辑的术语说，“白马”这个概念的内涵比“马”这个概念的内涵要丰富，多出了“白色”这个内容。公孙龙发现了概念的外延和内涵的关系。就“马”的外延说，“马”这个概念包括白马在内，但就“马”的内涵说，“马”这个概念指马的本质属性，与“白马”概念的内涵是有区别的。“白马”的内涵不仅包括“马”的本质属性，而且包括“白色”的属性。这就从内涵上区别了“马”和“白马”这两个具有“属种(包含)关系”的概念。
所谓“属种关系”,是指一个概念的外延被完全包含在另一个概念的外延之中的关系，也称作“从属关系”。其中被包含的概念称作“种概念”,包含别的概念的称作“属概念”。以b代表外延较大的属概念，以a代表外延较小的种概念，则b与a两个概念之间的属种关系可以表示为(如下图):

但是公孙龙的论证也包含有错误：利用概念的“歧义”来混淆事实。所谓“歧义”,是说一个词可以有两个或两个以上的意义，在一个讨论中，若某个字的两个不同含义同时被使用，就会造成由这种歧义带来的谬误。“是”这个字可以被用来表达“属于”的关系，例如，张三是(属于)人。“是”这个字也可以被用来表达“等于”的关系，例如，北京是(等于)中华人民共和国的首都。守门官的意思是：“马不可进城，白马是马，所以白马不可以进城。”在这里，“是”被用来表达“属于”的关系。当公孙龙论证“白马不是马”时，“是”被用作表达“等于”的关系。所以，简单地说，他们两人实际上是好比“鸡在同鸭讲话”,即谈论的不是相同的一件事。公孙龙的论证是有效的，而他的结论，“白马不等于马(白马　非马)”也是对的。但并不能用来反驳守门官的规则：凡是(属于)马都不能进城。