白马非马的论断正确么为什么

白马非马是中国古代著名的逻辑问题。
它的论断要从两个方面分析，即是，数学和哲学。
哲学是追求事物的真实，因此，白马是白色的马，一种特定属性动物，马就是马这种动物，非即不是，是有多从含义，其中有属于，包含于，等意思，所以白马包含于马，不等价于马。
数学理解就简单多。
马做为一个集合，定义为A。白马属于马这个集合中的一部分，是集合B。
这里用到集合论中的两种符号，一种符号是"∈"，表示集合属于某个集合的一部分。另外一个是最出名的"=≠"，表示两集合相等或不等。所以有以下的结论:
1、B ⊂ A
2、B ≠A
翻译成语言就是:
1、B包含于A(成立) => B是A(成立) => "白马是马"(当然成立)。
2、B不等于A(成立) => B非A(成立) => "白马非马"(当然成立)。
"是"表示等于，"非"表示不等于，这当然属于合理的用法。其它人辩不过公孙龙，很明显的地方就在于没有强迫公孙龙把"是和非"的表达定义清楚(请见上科学视角)。从结论上来说公孙龙并没有说错，这也不是诡辩，是集合论中正常的表达。而公孙龙也没有使逻辑或常识产生矛盾，因为以上的1和2是同时可以成立的，只是其它人被"忽悠"了