亞裏斯多德是古典邏輯和哲學邏輯的重要奠基者，並建立動物分類法。
上一講中“先有雞還是先有雞蛋”問題的關鍵就是分類，在哪些演化節點上出現雞和雞蛋，次序如何？
人工智能語言處理的一個重要問題就是分類法。要理解語言模型分類法的問題，可以先看一些人類分類法有什麽缺陷以及應該如何改進。
拉瓦錫元素表包括：光、熱、鹽酸基、氟酸基、硼酸基、石灰（氧化鈣）、苦土（氧化鎂）、重晶石（硫酸鋇）、礬土（氧化鋁）、石英（二氧化矽）。
鄭作新分類法把鳥類分成：遊禽、涉禽、鳴禽、攀禽、陸禽、猛禽。
Freeman Dyson把學術研究者分為birds和frogs。他的這些概念實際上跟主流科學界的模式競爭有關。
要有效研究分類法，首先需要澄清邏輯問題。中英文學術名詞“數理邏輯”和“mathematical logic”都容易誤導，“理”在學術上包括科學，但“數理邏輯”缺乏重要科學要素。
而英文“mathematical logic”所包含的那些邏輯，也常在英文中被稱為philosophical logic，可見概念的混亂，這是重要的語言智力問題，需要澄清。
現在的“mathematical logic”實際上基於形式主義數學的理念，即任何公理和模型體係都可以自行其是判斷對錯，這不符合科學原理，也不能反映數學本質。
要研究科學邏輯，需要重新定義數學邏輯（mathemathical logic），需要追溯柏拉圖對畢達哥拉斯作了什麽改進、歐幾裏得又對柏拉圖作了什麽改進，需要找出比哥德爾語句更重要、更廣適的問題。
現在的“數理邏輯”和“mathemathical logic”所包含的那些邏輯，包括古典邏輯，準確名稱應該是哲學邏輯（philosophical logic），因為不同的公理和模型體係，都代表獨特的哲學體係。
所以，現在實際上隻有哲學邏輯，沒有能表達現代數學、現代科學本質的數學邏輯、科學邏輯。
本係列第(3)講是分析人工智能技術的結構缺陷以及科學邏輯和智力新科學的重要性，明年再寫。
等Nvidia的Blackwell產品出貨後開發的人工智能產品驗證Scale Law不是科學定律、僅僅是某些工程師一廂情願的想象後再寫。
現在黃仁勳先生是否還堅持五年內實現AGI？
