邏輯不等于形式邏輯學(xué)。

要說(shuō)中國(guó)人沒邏輯，那肯定是個(gè)笑話；中國(guó)人不但有邏輯，而且還有一種不同于形式邏輯的很厲害的邏輯，這就是老子《道德經(jīng)》中說(shuō)的“正言若反”，“反者道之動(dòng)”。

但是，要說(shuō)作為一種學(xué)科的邏輯學(xué)體系，那的確不是來(lái)自本土，如所有的科學(xué)系統(tǒng)一樣，都是舶來(lái)品。從這個(gè)角度說(shuō)，愛因斯坦沒有說(shuō)錯(cuò)。

形式邏輯是科學(xué)系統(tǒng)化的基石，沒有形式邏輯學(xué)，其他科學(xué)系統(tǒng)也難建立。

我們平時(shí)說(shuō)話，一定要遵守形式邏輯的規(guī)則。

比如：我們學(xué)會(huì)的第一句話"媽媽“，那一定要遵守亞里士多德的同一律，不能又是又不是，至于用媽媽比附祖國(guó)，那是修辭。

這就有一個(gè)問題，既然大家說(shuō)話都遵循形式邏輯的規(guī)則，為什么我們沒有產(chǎn)生出學(xué)科體系？在傳統(tǒng)文化中，中國(guó)的哲人早在春秋戰(zhàn)國(guó)時(shí)代，已經(jīng)切入到形式邏輯原理性的問題了，那時(shí)的名家也觸及到了形式邏輯的基本規(guī)則。

所不同的是，先秦時(shí)的名家也罷，諸子百家也罷，談的不是純形式，而是名實(shí)關(guān)系；名實(shí)關(guān)系在背景上，又是很現(xiàn)實(shí)的政治學(xué)。一切是為了“正名”，正君君臣臣父父子子的血親政治之名。

先秦諸子無(wú)不強(qiáng)調(diào)正名，名不正則言不順，名學(xué)是為政治服務(wù)的，作為學(xué)科，形式邏輯恰好是無(wú)問東西，不關(guān)心名與實(shí)的對(duì)應(yīng)性，只關(guān)心邏輯純“形式”。這決定了中國(guó)的名學(xué)偏離了學(xué)科方向，融化于統(tǒng)治術(shù)中了。

先秦唯獨(dú)老子不談?wù)?/p>

《道德經(jīng)．第一章》：”名可名，非常名“。老子追求的是永恒之名，然而，但凡能夠命名的，都不是永恒之名，永恒之名是無(wú)名，無(wú)名天地之始，這才是永恒的。

公孫龍子算是名家的大師了，他論”白馬非馬“，講得也不是純邏輯形式，而是認(rèn)識(shí)論，落腳點(diǎn)還是為君王正名。

公孫龍是趙平原君門下的食客，平原君解邯鄲之圍有功，公孫龍卻反對(duì)封賞；因?yàn)榻夂愔畤皇悄囊粋€(gè)努力的結(jié)果，白馬不等于馬，平原君有功也不等于可以以其白而自居為馬，貪天下之功。

公孫龍辯的是邏輯學(xué)的問題，落腳的還是政治。

當(dāng)然，也有一種說(shuō)法，中國(guó)之所以沒有發(fā)展出形式邏輯學(xué)，與中國(guó)的文字有很大關(guān)系。我們的文字是象形文字，多義且有形象的印跡，很難純符號(hào)化，簡(jiǎn)單的邏輯式還行，復(fù)雜了很難推下去。

比如：如果流量是月亮，而月亮是舔狗，那么流量就是舔狗。

這個(gè)三段式推理在邏輯上沒有任何問題，如果讓公孫龍去辯流量是舔狗，估計(jì)早讓平原君趕出趙國(guó)了。另一方面，就是符號(hào)化的程度了，用中國(guó)文字那得多大的算力？

《莊子．齊物論》：“有始也者，有未始有始也者，有未始有夫未始有始也者。有有也者，有無(wú)也者，有未始有無(wú)也者，有未始有夫未始有無(wú)也者。俄而有無(wú)矣，而未知有無(wú)之果孰有孰無(wú)也。今我則已有謂矣，而未知吾所謂之其果有謂乎，其果無(wú)謂乎？＂

是不是很燒腦？

如果是一道復(fù)雜的數(shù)理邏輯命題，用中國(guó)文字多半是推不下去的。