白馬非馬的論斷正確么為什么

白馬非馬是中國古代著名的邏輯問題。
它的論斷要從兩個方面分析，即是，數(shù)學(xué)和哲學(xué)。
哲學(xué)是追求事物的真實，因此，白馬是白色的馬，一種特定屬性動物，馬就是馬這種動物，非即不是，是有多從含義，其中有屬于，包含于，等意思，所以白馬包含于馬，不等價于馬。
數(shù)學(xué)理解就簡單多。
馬做為一個集合，定義為A。白馬屬于馬這個集合中的一部分，是集合B。
這里用到集合論中的兩種符號，一種符號是"∈"，表示集合屬于某個集合的一部分。另外一個是最出名的"=≠"，表示兩集合相等或不等。所以有以下的結(jié)論:
1、B ? A
2、B ≠A
翻譯成語言就是:
1、B包含于A(成立) => B是A(成立) => "白馬是馬"(當(dāng)然成立)。
2、B不等于A(成立) => B非A(成立) => "白馬非馬"(當(dāng)然成立)。
"是"表示等于，"非"表示不等于，這當(dāng)然屬于合理的用法。其它人辯不過公孫龍，很明顯的地方就在于沒有強(qiáng)迫公孫龍把"是和非"的表達(dá)定義清楚(請見上科學(xué)視角)。從結(jié)論上來說公孫龍并沒有說錯，這也不是詭辯，是集合論中正常的表達(dá)。而公孫龍也沒有使邏輯或常識產(chǎn)生矛盾，因為以上的1和2是同時可以成立的，只是其它人被"忽悠"了