※ 引述《sky1119 (?)》之銘言：
: 國中班導(數學老師)在講白馬論
: 第一次聽到白馬非馬
: 只覺得很荒唐，那白人也非人？
: 公孫龍說：「白馬並不是馬。因為白馬有兩個特徵，一是白色的，二是具有馬的外形，但
: 馬只有一個特徵，就是具有馬的外形。具有兩個特徵的白馬怎會是只具有一個特徵的馬呢
: ？所以白馬根本就不是馬。」
: 是不是在詭辯啊？
: 白馬到底是不是馬？
: 有沒有卦
白馬論一點也不荒唐，更不是詭辯，白馬論是
人類思考「集合論」的起點，即使是西方數學
，也是到19世紀中後才開始發現集合論的重要
性。在兩千多年前，就算只是很粗糙的語言，
能夠意識到集合論問題實在殊為不易。
如果用現在集合論的語言將當年的詭辯翻成白
話，那就會是
白馬非馬→{白馬的集合}不等於{馬的集合}
白馬是馬→{白馬的集合}是{馬的集合}的子集
但，兩千多年前「集合」的概念是否已出現在
古中文中都是個未知數 (看文字的使用方式也
不像有) ，能注意到「白馬非馬」這句話是有
可能成立的，實在是非常不簡單。
不要小看這個簡單的概念，現在很多我們習以
為常，即使是小學生也懂的概念人類也是花了
很長的時間才能吸收與理解，光是零和負數這
兩個概念人類就耗去幾百年光陰，兩千多年前
的白馬論在現在看來，知道其價值的人是多麼
感嘆它不被重視這麼久！
如果兩千多年前古中國就能發展出集合論，數
學史將完全被改寫，可能連帶著科技史也被改
寫，歷史會完全不一樣。
但是同樣地，白馬論不受重視也很正常，人類
發展了微積分、拉普拉斯轉換、傅利葉級數…
…，最後終於才在十九世紀後半到二十世紀初
發現了集合論的重要，重要到如果有些問題不
解決，數學的根基會出現嚴重的問題，其中最
著名的就是「羅素悖論」。
羅素悖論用數學語言請參考：
https://en.wikipedia.org/wiki/Russell's_paradox#Formal_presentation
如果羅素悖論用白馬非馬的語言重新寫過，大
概會長這樣：
凡物必所有其屬，同屬必有同質
今令質為此物非其屬
若屬為屬，則屬非屬
若屬不為屬，則屬為屬
這是在共三小！大概是所有人的第一感想吧
可能我翻得不好…若有文言文強者看到這篇
請教我更好的翻法
我想說的是，用兩千多年前的文言文非常有可
能無法有效地討論集合論。白馬非馬被嘲諷千
餘年是可以理解的。但是這不代表白馬論應該
繼續被嘲諷，當成詭辯。雖然生澀，但白馬論
確實是上古時代人類在基礎數理的領域的第一
步。正如我們不會嘲笑剛學走路的孩子走不好
一樣，白馬論的歷史價值應該被正視，而不是
在高中國文補充教材中被國文老師當成九流十
家之一草草交代過去，這樣做是一種對先人智
慧與歷史的無知。