原创：山东颐衡律师事务所宋琳律师
战国时期秦国为严防瘟疫传入，在函谷关口贴出告示：“凡赵国的马不能入关。”一天公孙龙骑着白马来到函谷关前，遭到官吏阻拦。
三、哲学问题：“白马非马”
公孙龙辩解说“白马非马”怎么不可以过关呢?公孙龙主张“白马”可以进城，理由是“马”只不过是“马的形态，”“白马”是指“马皮的颜色，”但是“形态”并不是等于“颜色。”“马和白马”概念的内涵和外延均不同，最后公孙龙确实骑“白马”过关了。
四、数学问题：AI对集合理解错误。
1、AI检索豆包，结论白马是马的子集，检索DeepSeek，
结论也是白马是马的真子集。
2、AI逻辑暴君。DeepSeek对马与白马的普遍性比较：
暴君1）：“马”定义为：形态为马的所有动物，在数学集合中是1个元素即“形态”，“白马”定义为：形状为马且颜色为白的动物，在数学集合中是2个元素即“形态”和“白色”，AI认为具有2个元素的“白马”是具有1个元素的“马”子集，明显逻辑错误。
暴君2）：AI将“马”定义为形态为“马”的所有动物，如果存在该定义，就不存在“白马非马”的哲学问题。
暴君3）“马”的外延是所有马种，与内涵的所有动物矛盾，所有动物包含所有马种。
3、按AI观点，如果将“马”定义为形态为“马”的所有动物，那么“马”的集合将是“形态、白色、黑色、胖、瘦等，”此时才存在“白马”是“马”的子集。
结语：之所以存在“白马非马”哲学问题，是因为没有给“马”下定义。AI承认“马”更具有普遍性，那么“马”的外延不可能是所有的马种。笔者“马”是“白马”的子集符合普遍性寓于特殊性之中的哲学逻辑，特殊性“白马”具有普遍性“马”的基本要素，“白马”属于“马”，但在数学集合上不相等，公孙龙不可以过函谷关。第三次数学危机可以解决困扰哲学家的哲学问题，哲学、数学与法学结合更有利于解决复杂的法律问题，而AI算法错误不纠正，对未来的社会知识体系将会产生严重的负面影响。
备注：该文作者原创，“马是白马子集”观点笔者为防止抄袭，笔者在自己跨界论法公众号有发表，本文与发表文章不重复，目前AI检索未发现有该观点陈述。
