传统逻辑的混乱及人工智能语言模型中逻辑和分类法的问题——语言智力和科学逻辑讲座（2）

亚里斯多德是古典逻辑和哲学逻辑的重要奠基者，并建立动物分类法。

上一讲中“先有鸡还是先有鸡蛋”问题的关键就是分类，在哪些演化节点上出现鸡和鸡蛋，次序如何？

人工智能语言处理的一个重要问题就是分类法。要理解语言模型分类法的问题，可以先看一些人类分类法有什么缺陷以及应该如何改进。

拉瓦锡元素表包括：光、热、盐酸基、氟酸基、硼酸基、石灰（氧化钙）、苦土（氧化镁）、重晶石（硫酸钡）、矾土（氧化铝）、石英（二氧化硅）。

郑作新分类法把鸟类分成：游禽、涉禽、鸣禽、攀禽、陆禽、猛禽。

Freeman Dyson把学术研究者分为birds和frogs。他的这些概念实际上跟主流科学界的模式竞争有关。

要有效研究分类法，首先需要澄清逻辑问题。中英文学术名词“数理逻辑”和“mathematical logic”都容易误导，“理”在学术上包括科学，但“数理逻辑”缺乏重要科学要素。

而英文“mathematical logic”所包含的那些逻辑，也常在英文中被称为philosophical logic，可见概念的混乱，这是重要的语言智力问题，需要澄清。

现在的“mathematical logic”实际上基于形式主义数学的理念，即任何公理和模型体系都可以自行其是判断对错，这不符合科学原理，也不能反映数学本质。

要研究科学逻辑，需要重新定义数学逻辑（mathemathical logic），需要追溯柏拉图对毕达哥拉斯作了什么改进、欧几里得又对柏拉图作了什么改进，需要找出比哥德尔语句更重要、更广适的问题。

现在的“数理逻辑”和“mathemathical logic”所包含的那些逻辑，包括古典逻辑，准确名称应该是哲学逻辑（philosophical logic），因为不同的公理和模型体系，都代表独特的哲学体系。

所以，现在实际上只有哲学逻辑，没有能表达现代数学、现代科学本质的数学逻辑、科学逻辑。

本系列第(3)讲是分析人工智能技术的结构缺陷以及科学逻辑和智力新科学的重要性，明年再写。

等Nvidia的Blackwell产品出货后开发的人工智能产品验证Scale Law不是科学定律、仅仅是某些工程师一厢情愿的想象后再写。

现在黄仁勋先生是否还坚持五年内实现AGI？

更多我的博客文章>>>

• 《三国志》、《三国志通俗演义》、断代史的问题和文明周期
• “先有鸡还是先有蛋？”的答案很简单，但“先有鸡还是先有鸡蛋？”的答案很复杂——语言智力和科学逻辑讲座（1）