白马非马

名家系列條目
名家論題
離堅白、合同異、白馬非馬
名家人物
公孫龍、惠施、鄧析、宋鈃
名家典籍
《公孫龍子》、《鄧析子》 《尹文子》
相關條目
諸子百家、稷下學宮

白馬非馬 是一個著名的邏輯問題，出自《公孫龍子·白馬論》。它接近於古希臘哲學中的共相問題。

譯文

维基文库中相关的原始文献：

白馬論

http://zh.wikisource.org/wiki/白馬論

白馬是不是馬呢？

《白馬論》的故事大概是這樣的。

戰國時一城有令馬匹不得出城。

有一天，赵国平原君的食客公孫龍帶着一匹白馬正要出城。守門的士兵對他說：「馬匹一概不得出城。」

公孫龍心生一計，企圖歪曲白馬非馬的事實，希望說服士兵。

公孫龍說：「白馬並不是馬。因為白馬有兩個特徵，一是白色的，二是具有馬的外形，但馬只有一個特徵，就是具有馬的外形。具有兩個特徵的白馬怎會是只具有一個特徵的馬呢？所以白馬根本就不是馬。」

愚魯的士兵因無法應對，唯有放行。

原文論證

公孫龍的論證如下：

白馬有兩個特徵：

1. 有馬的特徵
2. 白色的

而馬只有一個特徵：

1. 有馬的特徵

因此擁有兩種特徵的白馬不等同馬，所以白馬非馬。

白馬非馬是詭辯

他的說法驟眼看上去很有道理，要用兩點特徵來定義的事物應該不等同于用一點特徵就能定義的事物。可是人們一向的想法是「白馬是馬」，就如同「黑貓是貓」，「女人是人」和「蘋果是水果」一樣，不可能看了這個故事之後白馬就不是馬了。如果公孫龍的理論正確，那豈不是黃狗不是狗、蘋果不是水果、甚至黑人、白人、男人、女人和小孩不是人了。究竟問題出現在那里呢？

从集合论的观点来看，马的概念可以看作所有马的集合。白马的概念可以看作所有白色的马的集合。「白马是马」这句话可以有两种解释：

1. 白马的概念等同于马的概念。即白马的集合和马的集合是相等的。

2. 白马的概念从属于马的概念。每一匹白马都是一匹马。就是说，白马的集合是马的集合的一个子集。

白马和马的概念是不同的。这个意义上说，「白马非马」。但白马的确是马的子集，亦即白馬屬於馬的一種。所以「白马是马」。公孙龙巧妙利用了「白马是马」这句话的歧义。

参见

• 离坚白
• 合同异
• 乌鸦悖论

外部链接

• 「是」和指稱闡明「是」字的一些用法，並解「白馬非馬」之爭辯。