白马非马现象是一个思维难题，源于中国古代哲学家公元前四世纪的著名思想家荀子所提出的“白马非马”例子。这个例子揭示了一种概念上的混淆，即我们如何确定一个事物的定义和分类。

在这个例子中，荀子问一个问题：“一个白马是否就是一匹马？”这个问题看似简单，但是如果我们进一步思考，会发现这个问题并不那么容易回答。因为白马是一种马，但是马并不一定是白色的。所以，在荀子的问题中，我们需要确定的是“白”和“马”这两个概念之间的关系。

在现代逻辑学中，白马非马现象被描述为一个概念的范畴划分问题。一个事物是否属于一个概念的范畴，取决于这个事物是否符合这个概念的所有特征。然而，当我们面对一些复杂的事物时，这个判断变得困难起来。例如，一个蜥蜴是否可以被归入“龙”的范畴中？这个问题并没有一个确切的答案，因为蜥蜴和龙有一些相同的特征，但是也有一些不同的特征。

因此，白马非马现象揭示了我们如何对事物进行分类和定义存在困难。这也说明了人类思维的局限性，我们需要不断地重新审视和调整我们对事物的认识，以更好地理解世界。