看到网友贴文中有这样一段话，照录如下：
“大家记得公孙龙子的白马非马的典故吧？很多教授专家大批特批，还弄上了什么辩证法，其实，那只是个笑话。从形式逻辑上讲，这个典故非常严谨。概念1、白马。概念2：马。演绎：所有与马的概念不相符的概念就不是马。白马与马的概念不相符；结论：白马非马。”
这段话说得对吗？不对。所谓"所有与马的概念不相符的概念就不是马"，这并不是形式逻辑的规则。
白马非马可以说是一个判断，是对白马是马的反驳。但白马是马错了吗？当然没错，是白马非马错了。
白马是马，潜意识中有一个三段论，用通俗的话表达就是：我知道什么是马，白马和马一样，所以白马是马。
用形式逻辑的话表达就是：
（先说一下马的定义，“马：哺乳动物，头小，面部长，耳壳直立，颈部有鬣，四肢强健，每肢各有一蹄，善跑，尾生有长毛。是重要的力畜之一，可供拉车、耕地、乘骑等用。皮可制革。”照抄自《现代汉语词典》第852页，以下简述为“哺乳动物……乘骑……”。）
马是“哺乳动物……乘骑……”，
白马是“哺乳动物……乘骑……”，
所以白马是马。
这是正确且完美的一个三段论，简单且合乎逻辑地证明了白马是马。
白马的概念与马的概念不需要相符，只要白马的概念包含所有马的概念，我们说白马是马就是正确的，而不需要马的概念也包含所有白马的概念，比如，马的概念里就没有白马的毛白，但丝毫不影响白马是马的正确性。
本文用形式逻辑证明了白马是马为正确，白马非马为错误，但实际上还涉及一些其它问题，本文不述。
2020.9.11
