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