公孙龙约公元前320—公元前250年，战国时期著名哲学家、逻辑学家、名家代表人物之一。
●白马论
甲：说“白马不是马”，对吗?
乙：对。
甲：为什么?
乙：马，是说明形体的，白，是说明颜色的，说明颜色的不是说明形体的。所以说“白马不是马。”
甲：有白马不可以说是没有马。既然不可以说是没有马，那么白马难道不是马吗?如果有白马是有马，那么白马不是马又是什么呢?
乙：如果要找一匹马，那么无论找到黄马还是黑马都可以；如果要找一匹白马，送来黄马、黑马就不行。如果说白马就是马，那么就等于说上面两个要求是一样的。要求既是一样，白的和别的马就没有不同，要求既是没有差别，那么黄马和黑马一次可以算数，一次却不行，又是为什么呢?
可见这两次要求之间的区别是很明显的。同是黄马、黑马，可以说是有马，却不可以说是有白马，所以说白马不是马，是确实的。
甲：如果认为有颜色的马不是马，那么天下根本没有没有颜色的马。以此为根据说天下没有马，对吗?