白色的马不是马，竟然是真命题

看到一个用数学逻辑进行的论证，觉得挺有意思的～

命题：白马非马

论证：马者，所以命形也；白者，所以命色也。命色者非命形也。故曰： 白马非马——《公孙龙子·白马论》

首先来琢磨“白马非马”这几个字。白“所以命色也”，马“所以命形也”。“非”是“不是的意思”，那么“不是”的“是”是什么意思？我们学习一个语言，一开始总是学到“是”。我是大学生，大学生是学生等。如果用数学的逻辑来说，"是"可以解释为“＝”（等于）；“∈”（属于）；“⊂”（包含于）。换言之，这个命题可以理解为“白马不等于马”“白马不属于马”“白马不包含于马”。而公孙龙子的意思是“白马不等于马”，那么这个命题就是成立的。但是批评他的人，理解为“白马不属于马”，“白马不包含于马”，从这个角度看，也是正确的

P.S 关键在于对于“非”的理解。阅读一本书，也是如此，首先要知道作者表达的观点，对关键词的理解。但是大部分时候，我们总是忽略了这些，而是不自觉加入了自己的主观想法