数理逻辑也称“符号逻辑”，指用数学或符号方法来处理演绎推理问题。

ChatGPT令研究者震惊又费解的困惑是：“数理逻辑”自然可以处理“7+2=”这类分析命题，但如何处理诸如“黑裙配什么耳环”这类依赖内容和经验的综合命题，这样的信念从何而来？

     本文将从亚里士多德的“三段论”出发展开逻辑的推理。

“三段论”是人类历史上第一个逻辑系统，具有“必然推出”和“形式化”特征。这套推理规则主要关注“逻辑”的论证方式，即对推理形式有要求，而不依赖语言所表达的事物，因此，“三段论”能够解决当时抽象概念的问题（共相问题）。

实践中，形式逻辑最大困难在于“含混的语言”，不够精准的语言会使得逻辑推理无法保证必然性，这也是分析哲学人工语言学派提出“普遍语言”思想的源头。“普遍语言”是用逻辑方法建立人工语言来更好表示知识，同时，能够从形式上计算和规定。然而，实践经验又显示：语言随着生活而变化，我们无法约定语言，离开生活的语言无法长久。就像上世纪流行但已销声匿迹的“世界语”，还有中国学术界的“术语规范化”实践，计划往往赶不上变化。

数学是一门纯粹理性的学问，数学逻辑可以使人类的表达更加简捷、清楚和严格。莱布尼茨通过《人类理解论》发明了人类第一套“普遍语言”――二进制。在科学主义盛行的19世纪末，实证主义思潮代表人物马赫提出了“思想经济原则”，他鼓励用最简单的科学方式来处理思维问题，进而消除科学中的神秘主义。20世纪初，弗雷格希望以“一阶谓词逻辑”，数学的方式，来规定人类思维；罗素和怀特海的《数学原理》确立了“数学”“逻辑”无法分开、紧密相联的信念，是数理逻辑发展史上的里程碑，同时，人工语言学派代的主将罗素，主张用数理逻辑来表达思想。

总的来说，人工语言学派共同思想根基是：通过数理方式来重构现代逻辑、改造日常语言，避免来自心理学的侵害，是他们成功传播了“用数理逻辑来处理人类思维”的知识信念。原理上来讲，ChatGPT并非用数理逻辑处理综合命题，而是将构成综合命题的自然语言文本，转换为了数学形式，还原到分析命题。

      由于英文具有“意义-逻辑”同一性特征，“意义单元”同样是“逻辑单元”。数理运算中，“概率最大“机制保证了输出内容在形式层面有意义，同时，内容层面也有意义。

英文同一性特征，参考链接地址：https://blog.sciencenet.cn/blog-3475429-1395452.html

-------

说句实话，ChatGPT理论贡献方面，我的排名是：

第一名的应该是罗素、第二名是莱布尼茨、第三名是弗雷格