也谈白马非马和形式逻辑
看到网友贴文中有这样一段话 ， 照录如下：“大家记得公孙龙子的白马非马的典故吧？很多教授专家大批特批 ， 还弄上了什么辩证法 ， 其实 ， 那只是个笑话 。 从形式逻辑上讲 ， 这个典故非常严谨 。 概念1、白马 。 概念2：马 。 演绎：所有与马的概念不相符的概念就不是马 。 白马与马的概念不相符；结论：白马非马 。 ”这段话说得对吗？不对 。 所谓"所有与马的概念不相符的概念就不是马" ， 这并不是形式逻辑的规则 。 白马非马可以说是一个判断 ， 是对白马是马的反驳 。 但白马是马错了吗？当然没错 ， 是白马非马错了 。 白马是马 ， 潜意识中有一个三段论 ， 用通俗的话表达就是：我知道什么是马 ， 白马和马一样 ， 所以白马是马 。 用形式逻辑的话表达就是：（先说一下马的定义 ， “马：哺乳动物 ， 头小 ， 面部长 ， 耳壳直立 ， 颈部有鬣 ， 四肢强健 ， 每肢各有一蹄 ， 善跑 ， 尾生有长毛 。 是重要的力畜之一 ， 可供拉车、耕地、乘骑等用 。 皮可制革 。 ”照抄自《现代汉语词典》第852页 ， 以下简述为“哺乳动物……乘骑……” 。 ）马是“哺乳动物……乘骑……” ， 白马是“哺乳动物……乘骑……” ， 所以白马是马 。 这是正确且完美的一个三段论 ， 简单且合乎逻辑地证明了白马是马 。 白马的概念与马的概念不需要相符 ， 只要白马的概念包含所有马的概念 ， 我们说白马是马就是正确的 ， 而不需要马的概念也包含所有白马的概念 ， 比如 ， 马的概念里就没有白马的毛白 ， 但丝毫不影响白马是马的正确性 。 本文用形式逻辑证明了白马是马为正确 ， 白马非马为错误 ， 但实际上还涉及一些其它问题 ， 本文不述 。 2020.9.11
推荐阅读
- 从广场大妈看到了中国人的幸福感是世界第一
- 青年|兄弟俩吵架，弟弟气不过搜出哥哥的“收藏”，妈妈看到脸黑了
- 女保洁员饮冲厕水，领导也能共饮一杯不？
- 冷血的不是规定
- 子非鱼|初高中生一看到就头大的四种功课，学渣表示：我抄的心情都很沉重
- 女保洁员饮冲厕水，看客们发出无耻的笑声
- 美国副总统辩论：我看到重要的信息
- 尼格强奸自己10个月大女儿致死，推上看到的
- 形式逻辑的数学原理(6): 证明
- 形式逻辑的数学原理：证明