canonical

      有一個(gè)心理學(xué)實(shí)驗(yàn)，要求被試者將青草，公雞，牛三個(gè)東西分 成兩組，結(jié)果多數(shù)中國兒童將青草和牛分成一組，而多數(shù)美國兒童將公雞和牛分成一組。中國人的思想中青草和牛之間存在現(xiàn)實(shí)的關(guān)系，牛吃草，而西方人的典型邏 輯是公雞和牛都屬于動(dòng)物這一范疇。通過分類將物體類型化，這是西方人從小就接受的訓(xùn)練。據(jù)說美國嬰兒學(xué)習(xí)名詞的速度要快于動(dòng)詞，而中國的嬰兒則相反，這并不是偶然的。

       中國人的傳統(tǒng)哲學(xué)認(rèn)為世界是普遍聯(lián)系的，事物之間存在著禍福相依的辯證轉(zhuǎn)化關(guān)系。而古希臘人強(qiáng)調(diào)個(gè)體意識，以兩分法看待世界，他們將世界看成是孤立的物體組成（原子論）構(gòu)成，然后選擇一個(gè)孤立物體（脫離背景），開始研究它的各項(xiàng)屬性，接著將屬性泛化，構(gòu)成分類的基礎(chǔ)。西方語言中大量抽象概念都是從作為屬性的形容詞直接轉(zhuǎn)化而來，例如 white --> whiteness 。而中文中很少有精確的類型定義，而多半是富有表現(xiàn)力的，隱喻性的詞語，例如我們不談?wù)摮橄蟮陌祝徽f雪白，沒有抽象的 size ，而只說具體的大小。

       亞里士多德認(rèn)為鐵球在空氣中下落是因?yàn)樗哂?#8220;重性”，而木塊在水中漂浮是因?yàn)槟緣K具有“輕性”。這種將一切原因歸結(jié)為事物內(nèi)在屬性的傳統(tǒng)在一定程度上妨礙了西方人認(rèn)識到背景的存在和作用，但使得他們可以把問題簡化。

       古希臘人對于類型的熱衷源于他們對于永恒的迷戀。靜態(tài)的亙古不變的世界才是他們的思想棲息的場所。具體的物體是易逝的，多變的，只有抽象的類型才是永恒的存在，也只有抽象概念之間的關(guān)系才是永真的聯(lián)系。而具體實(shí)例之間的關(guān)聯(lián)在某種程度上被認(rèn)為是不重要的，甚至是不可靠的。

       將具有某一屬性的所有物體定義為一個(gè)集合，這一做法在上世紀(jì)初被發(fā)現(xiàn)會引起邏輯悖論，動(dòng)搖了整個(gè)數(shù)學(xué)的基礎(chǔ)，它絕不像表面上看起來那么單純。但確定無疑的是，通過類型來把握不變的事實(shí)是一種非常重要且有效的認(rèn)識策略。面向?qū)ο笳Z言強(qiáng)調(diào)名詞概 念，從引入類定義以及類之間的繼承關(guān)系開始，這符合西方一貫的作風(fēng)。而 Ruby 這種強(qiáng)調(diào)實(shí)例間關(guān)系的動(dòng)態(tài)語言首先由日本人發(fā)明，可能也不是偶然的。雖然現(xiàn)在大家都在玩高科技了，可實(shí)際販賣給你的多半仍然是包治百病的祖?zhèn)髅胤健Ｎ幕赡茉斐烧J(rèn)知上的一種偏執(zhí)，在技術(shù)領(lǐng)域這一現(xiàn)象并沒有被清楚的意識到。