逻辑学之白马非马论

公孙龙的白马非马论：

因为：“马”是指马的形状，“白马”是指马的颜色；
因为：形状不是颜色；
所以：白马不是马。

公孙龙的思维体系中没有建立起种（马）与属（白马）的分类概念，更谈不上第一实体与第二实体的精细划分，以及对种属性质的分层原则。

马的大类包含了白马的小类，种的性质也包含了属的性质，即马的性质之一的颜色为缺省项，涵盖了所有的可能颜色。

设想亚里士多德的回答：

“马”不仅是指马的形态，也包括了所有颜色，“白马”是马的形状，白色具体化了马的颜色缺省项；所以，白马是马。

from 《鸿学院》