不懂白马非马的人，不懂形式逻辑。
形式逻辑最近被很多人推崇备至 ， 以懂形式逻辑使用形式逻辑为荣 ， 可是我发现这些人中大多数其实是不懂形式逻辑 。 他们不过是以为自己凭空意淫的形式逻辑就是形式逻辑 ， 自以为是罢了 。这里很多自以为懂形式逻辑的人却认为白马非马违法形式逻辑就是典型的例子 。 白马非马是形式逻辑里面一个经典的例子 ， 是完全符合形式逻辑的 。 他说明形式逻辑中同一性的重要性 ， 没有同一性就不存在形式逻辑 。白马非马其实就是一个简单的语义歧义 ， 和“干妹妹”有歧义一样 。 白马非马中“白马”的语义是有歧义的 ， 我们一般人通常认为白马的意思就是“白色的马” ， 白色的马当然是马也属于马 ， 这毫无疑问 。 可是公孙龙却不这么认为 ， 他认为白马的语义是“白色和马” ， 白色和马当然不是马 ， 也不属于马 。 从形式逻辑来看 ， 白色和马的确不属于马也不是马 ， 他没有违背形式逻辑 。 这里主要的原因就是白马这两个字并没有规定具体的意思 ， 不同人可以有不同的解释 ， 而通常大家习惯把白马理解为白色的马 ， 不习惯把白马理解为白色和马 ， 所以也就本能的不接受白马非马的观点 。 白马非马就把不懂形式逻辑的逻辑盲检验出来了 。
推荐阅读
- 荒谬：文学作品不可完全译！
- 你看不懂，才显得博大精深！
- 形式逻辑的数学原理(6): 证明
- 形式逻辑的数学原理：证明
- 逻辑学分档次：形式逻辑与数理逻辑
- 数理逻辑与形式逻辑之区别
- 幽默段子|做好语文阅读积累，也要遵循孩子的学习能力，读不懂就难以有效果
- 形式逻辑的数学原理(5): 推理
- 数理逻辑和形式逻辑有区别吗？
- BM、Bearbrick、密逃、百景图：你根本不懂年轻人