从集合论的观点来看，马的概念可以看作所有马的集合。白马的概念可以看作所有白色的马的集合。白马是马这句话可以有两种解释：
1白马的概念等同於马的概念。即白马的集合和马的集合是相等的。
2白马的概念从属於马的概念。每一匹白马都是一匹马。就是说，白马的集合是马的集合的一个子集。
白马和马的概念是不同的。这个意义上说，白马非马。但白马的确是马的子集，亦即白马属於马的一种。所以白马是马。公孙龙巧妙利用了白马是马这句话的歧义。
离坚白，又称坚白石，是中国战国时期名家的一派观点，与合同异相对，代表人物是公孙龙，离坚白即将坚与白两者相分离。
此论说一开始便设问，把坚、白、石三分可以吗？公孙龙认為分开就没什麼好讨论了，所以不可，那麼二分可以吗？公孙龙认為可以。
问為什麼？公孙龙回答：石无坚即可得白，如此一来就是二分，石无白即可得坚，如此一来也是二分。（坚、白、石三，可乎？曰：不可。曰：二，可乎？曰：可。曰：何哉？曰：无坚得白，其举也二，无白得坚，其举也二。）
接著论证道，眼看不到石之坚，只能看到石之白，因此无坚（视不得其所坚，而得其所白者，无坚也）；手摸不到石之白，只能触及石之坚，因此无白（拊不得其所白，而得其所坚，得其坚也，无白也）；看到白时、感觉不到坚，看不到白时、感觉得到坚，看与不看、结果相离，由此推论石之中坚、白不相互联繫，故相互分离。（得其白，得其坚，见於不见离，不见离，一一不相盈，故离）。
这种论点具体分析了各种感官对於事物的感受方式的特殊性，认為人们感觉接触到的事物的各个属性，都只能是绝对分离的独立体。
原理─公孙龙设有物体a，该物体有b、c两个性质。如果要讨论b、c其中之一，它们这个性质是a的性质，因此a不可以从b或c中分开。但b和c两者是可以分开的。
常见误解─后来有人认為，公孙龙将感官与感官分离，是错误的论证方法。然而感官与感官表面上相等，但视觉与触觉却是相异，反而正中离坚白的陷阱，并不能反驳公孙龙的论证法。
有人认為离坚白是刻意完全分离一切事物。这是错误的，因坚、白、石三，可乎？曰：不可。是至关重要的前提。
