白马非马：公孙龙的逻辑之谜

白马非马是中国古代伟大的逻辑学家公孙龙提出的一个著名的逻辑问题。

故事背景是，有一次公孙龙骑着白马过城门，守门的士兵问他：“这是马吗？”公孙龙回答：“这是白马。”士兵又问：“这是白马吗？”公孙龙回答：“这是马。”士兵因此而困惑，他认为白马既然是白色的马，那么白马就应该是马。但公孙龙却认为，白马并不等于马，因为白马只是马的一种，而不是所有马的总称。

公孙龙的观点是，白马这个概念只是描述了马的颜色，而并没有描述马的本质属性。如果把白马当作马的总称，那么就会导致逻辑上的矛盾和混淆。例如，如果黄马、黑马都可以称为马，那么白马也应该可以称为马。但如果白马称为马，那么黄马、黑马就不应该再称为马，因为它们不是白马。

因此，公孙龙的结论是，白马非马，也就是说，白马不是马的总称。这个结论在当时引起了很大的争议，但也启发了人们对于逻辑思维和语义理解的深入探讨。