首頁 > 曲藝

名家、墨家和形式邏輯——“白馬非馬”的觀點到底是對是錯?

作者:由 哲科園 發表于 曲藝日期:2023-02-03

人死後入天道是什麼意思

由於諸子百家的著作基本上都是觀點表達,多用類比,很多學者認為中國古代哲學沒有邏輯。但也有很多人認為諸子百家裡的名家繼續發展會產生邏輯。然而先秦時代其他諸子對名家的評價一般是詭辯。

名家、墨家和形式邏輯——“白馬非馬”的觀點到底是對是錯?

以名家代表人物公孫龍的“白馬非馬”的觀點來說,以現代觀點看,說它是詭辯還是有思辨意義的哲學命題。關鍵在於如何解釋“非”字。

如果把“非”字解釋為“不是”,那這個命題肯定是錯的。特別是因為“白馬非馬”的故事敘事背景看,他是在守衛不讓馬進城的語境下講的,那麼在那個語境下,非字應該當“不是”理解。

“白馬不是馬”,違背了人類一般認知常識。按照現代形式邏輯來評價,這個命題顯然是錯誤的,因為集合白馬是集合馬的子集,子集的元素必然是父集合的元素。

由於白馬非馬的故事大多是放在不讓馬進城引發的辯論背景下講的。所以以荀子為代表思想家的批評名家詭辯,是有道理的。

如果把非理解成“不等於”,那麼這個命題就成立了,從形式邏輯的角度看,白馬這個集合是馬這個集合的子集,兩者不是等價關係。所以“白馬不等於馬”這個命題是正確的。

從邏輯本身的理論而言,名家的觀點僅僅討論了名實的所謂邏輯中的概念問題,不是一個完整的推理方法。

名家、墨家和形式邏輯——“白馬非馬”的觀點到底是對是錯?

相對於名家,墨辯的論述更有系統性。有人把墨辯,印度的因明學,古希臘邏輯學並稱為世界三大邏輯。

然而,

與古希臘邏輯學不同,墨辯不是形式邏輯。

所謂形式邏輯,是指邏輯的推理規則是從具體命題描述中抽象出來的運算規則。現代的形式邏輯代表是數理邏輯,是完全符號化的形式邏輯。

所謂抽象出來的運算規則,就和數學相似,公式的運算與實體物件,比如一加一等於二,可以是具體一個蘋果加一個蘋果,也可以是一輛車加一輛車,其運算結果都是二。

古希臘的三段論是一種形式邏輯,他的運算形式符號用的是自然語言,只要符合三段論的條件形式,就可以推匯出結果。

很多人說的中國古代沒有邏輯,其本質含義是沒有產生形式邏輯,而不是說古代沒有邏輯思想。

從世界範圍來說,古代也只有希臘產生了形式邏輯。從社會歷史發現角度看,很多學者認為這並非歷史的必然,可能是特定環境下的偶然性產物。