這是中國古代偉大的邏輯學家公孫龍(約公元前320-250年)提出的壹個著名的邏輯問題，出自公孫龍的《論白馬》。公孫龍可以算是壹個很有意思的哲學家。他的壹些哲學命題挑戰了人們在認識上的常識，在他的挑戰之後，壹些原本學到卻被忽視的問題引起了人們的關註。比如“白馬為馬”的判斷，這是人的常識所知，無需置疑。但公孫龍對此表示懷疑，提出了壹個哲學命題——“白馬非馬”。