在西方逻辑学的领域中，白马非马问题是一个经典的命题逻辑问题，它由中国古代哲学家庄子的一个寓言故事启发而来。庄子在寓言中让我们看到，对于“白马”这个看法的认知，可能并不像我们想象中那么直观。
也许有人会说，一匹白色的马，它不是白马，那它还能是什么？但牛顿以为，白马并不是一个简朴的看法，它和其他任何一个看法一样，并不是客观存在的器械，而是人类凭证种种需求和目的而抽象出的一个符号，以是可以有差异的界说，在差异情境下有差异的显示。
这个问题看似异常玄学，但现实上，它的探讨对于科学的生长有重大意义。在19世纪初，欧洲传统的科学系统开始遇到了瓶颈，科学家发现，传统的逻辑学并不能完全适用于新的科学研究。正是在这种靠山下，符号逻辑得以降生，并确立了新的科学范式。
