白馬是不是馬？​有很多人乍一看，這不是廢話嗎，當然是馬啊。但古時候就有一個人，他叫公孫龍，他就說白馬不是馬，而且人們還辯不過他。

古代文言文原文(略)，譯文大緻是：

公孫龍說白馬不是馬，别人問他為什麼白馬不是馬？

他說：​馬指的是形體，白指的是顔色，白馬這種說法說的是顔色，說的不是形體，顔色當然不是形體，所以說白馬不是馬。

人們問他：​有白馬，不可以說是沒有馬，既然不可以說是沒有馬，那麼白馬不就是馬了？既然有白馬稱為有馬，那麼為什麼白色的馬就不是馬呢？

​公孫龍說：如果要求得到“馬”，黃馬、黑馬都可以滿足要求；如果要求得到“白馬”，黃馬、黑馬就不能滿足要求了。假使白馬就是馬，那麼要求得到馬與要求得到白馬便完全一樣了，但是，如果要求得到馬與要求得到白馬沒有區别，那麼，為什麼黃馬、黑馬可以稱為馬而不可以稱為白馬呢，既然可以稱為馬而不可以稱為白馬，這就明顯地說明要求得到“馬”與要求得到“白馬”是完全不同的，所以，同樣一匹黃馬或黑馬可以答應有馬，而不可以答應有白馬，這就說明原來“白馬是馬”的假設是不能成立的，所以，“白馬不是馬”，這是再清楚不過的事理。

​人們問他：照您的意思看來，馬有了顔色就不同于馬了。可是世界上沒有無顔色的馬，那麼，能說世界上有顔色的馬都不算是馬了嗎？

公孫龍說：馬本來有顔色，所以有白馬。假使馬沒有顔色，就隻有“馬”而已，怎能稱它為白馬？但是，規定馬是白色的馬就與“馬”有區别了。所謂白馬，是馬限定于白色的，限定于白色的馬自然與馬是有區别的，所以說白馬不是馬。

别人又說：馬，是不受“白”限定的馬；白，是不受“馬”限定的白。把白與馬兩個概念結合起來而相與限定，變成一個新的概念來稱呼不受限定的概念，這當然是不可以的。所以，認為白馬不是馬，是不對的。

公孫龍說：照您看來，有白馬就是有馬，但是，能夠說“有白馬就是有黃馬”了嗎？

人們回答：當然不可以那樣說。

公孫龍說：既然承認了“有馬區别于有黃馬”，就是把黃馬與馬區别開來了，這就是說黃馬非馬了；既然把黃馬與馬區别開來，反而要把白馬與馬等同起來，這不就是叫飛鳥沉到水裡飛翔而讓棺與椁各在西東那樣好笑嗎？這是十足的邏輯混亂。

公孫龍：認為有白馬不能說是沒有馬，這是不去考慮“白馬”而就馬形來說的。但是，“白馬”卻是與馬相結合而不能分開的概念，因此，作為白馬的概念不能稱為馬。所以，稱為“馬”的，僅僅是以馬形而稱為馬，而不能以白馬稱為馬。因此，稱為馬的概念，是不能作為任何一匹具體有色之馬的概念的。

白色并不限定于哪一種事物的白，具體事物對“白”來說并不妨礙作為“白”的本質，因而可以忽略不計。白馬，則是限定于白色的馬。限定于具體事物的白（如白馬）是與抽象的、一般的“白”有區别的。同樣的理由，“馬”，是不限定于哪一種顔色的，所以，黃馬、黑馬都可以算數；白馬，隻限定于白色的馬，黃馬、黑馬都因具有與“白馬”不同的顔色而不能算數。所以僅僅隻有白馬才能算數換言之，隻有白馬才能答應“白馬”的概念，黃馬、黑馬都不能答應“白馬”的概念。不加限定的概念與加以限定的概念是有區别的。所以說白馬不是馬。

最後總結：

公孫龍說的對不對？其實公孫龍說的是對的，那麼人們說的對不對？人們說的也是對的。為什麼會發生這樣的情況呢？因為他們兩個說的東西看起來好像是一樣的，實際上是不一樣的。這個用數學概念來解釋就非常清楚，一目了然。

這裡用到數學集合論中的五種符号(也可以說是十個)，一種符号是”∈“(屬于)和“∉ ”(不屬于)，一種符号是“⊇”(包含)和“⊆”(包含于)，一種符号是“∩”(交)和“∪”(并)，另外一個是“=”(等于)和“ ≠ ”(不等于)，最後一個是“⇒”(推出)符号。

設白為一個集合，定義為A，馬為一個集合，定義為B，白馬為一個集合，定義為C。一匹具體的白馬為一個元素，定義為c。

白馬既是集合A，也是集合B，也就是C是A與B的交集。一匹具體的白馬是所有白馬中的一匹，也就是c屬于C。

用式子表示就是：

1、C= A∩B

2、C⊆A

3、C⊆B

4、c∈C

5、c∈C，C⊆A ⇒c∈A

6、c∈C，C⊆B ⇒c∈B

7、c≠A ≠B

翻譯成語言就是：

1、c屬于A(成立) => c是A(成立) => “白馬是馬”(當然成立)。

2、c不等于A(成立) => c非A(成立) => “白馬非馬”(也成立)。

這裡就涉及到語言和邏輯兩個概念了，很多時候語言是很難準确的表達意思的，比如“是”可以表示屬于，也可以表示等于，”非“可以表示不等于，也可以表示不屬于。其它人辯不過公孫龍，很明顯的地方就在于沒有強迫公孫龍把”是和非“的表達定義清楚。從結論上來說公孫龍并沒有說錯，這也不是詭辯，是集合論中正常的表達。而公孫龍也沒有使邏輯或常識産生矛盾，因為以上的1和2是同時可以成立的，隻是其它人被”忽悠“了。

​其它人想表達的是屬于的概念和範疇，而公孫龍悄悄的把别人想表達的屬于的這個概念變成等于的概念和範疇了。别人想表達的是白馬屬于馬，而公孫龍表達的是白馬不等于馬，把屬于偷偷換成等于了，而屬于和等于完全是兩個概念，但這兩個概念又都可以用是來表達。而不屬于和不等于又同樣可以用“不是”(非)來表達，其他人被他繞進去了。别人想表達的一個意思被他用一個合乎邏輯的東西給扭曲了，邏輯對了，但意思不是别人想表達的意思，比如一道題是有兩個解的，别人想要的是一個解，他給别人的是另一個解。解題思路和邏輯完全正确，但他給别人是别人不想要的那個答案，而别人又不知道裡面的原因，所以别人被忽悠了。

更多精彩资讯请关注tft每日頭條，我们将持续为您更新最新资讯!