“白马非马”是指中国战国时期逻辑学家公孙龙提出的一个逻辑问题，出自《公孙龙子·白马论》。
公孙龙认为，“马”是用来描述外形的，而“白”是用来描述颜色的，颜色与形状属于不同范畴，所以白马不能说是马。
公孙龙的论证如下：首先他将“马”定义为“以四足、毛、角、蹄、尾等为形状的动物”；然后，他将“白”定义为“以光洁的白色为颜色”。
根据这两个定义，他得出结论：“马”是用来描述形状的，而“白”是用来描述颜色的；形状与颜色属于不同范畴；因此，白马不能说是马。
公孙龙的论证在逻辑上是成立的，但在日常语言中却难以接受。因为在日常语言中，“马”是一个整体概念，既包括形状，也包括颜色。因此，白马仍然可以被认为是马。
白马非马的哲学意义
从语言的角度来看，白马非马的问题是语言的多义性问题。在日常语言中，“马”是一个整体概念，既包括形状，也包括颜色。因此，白马仍然可以被认为是马。但是，公孙龙将“马”和“白”进行严格的区分，认为“马”是用来描述形状的，而“白”是用来描述颜色的。因此，他认为白马不能说是马。
从逻辑的角度来看，白马非马的问题是逻辑的复杂性问题。公孙龙的论证在逻辑上是成立的，但在日常语言中却难以接受。这说明，逻辑学需要考虑语言的多义性，否则可能会得出错误的结论。
从真理的角度来看，白马非马的问题是真理的相对性问题。公孙龙的论证是基于他对“马”和“白”的严格定义，在这个定义下，白马非马的结论是成立的。但是，在日常语言中，白马仍然可以被认为是马。因此，真理可能取决于不同的定义。
以上内容参考：百度百科-白马非马
