编者按:
在人工智能技术迅猛发展的当下,尤其是大语言模型如GPT-4的广泛应用引发了关于“机器是否能思维”“大模型是否具有因果推理或者反事实推理能力”等诸多哲学与技术层面的争论。本专题辑录三篇文章,试图从不同角度为这些问题提供更深层的思想资源与反思框架。“对大语言模型之经验论前提的反思”借助三木清对经验论的批评,深刻揭示当前大语言模型构建逻辑中的还原主义偏向。文章指出,大模型所仰赖的“语元-词嵌入”机制不过是对休谟式经验论的技术延续,而缺乏对构想力、文化结构和反事实认知能力的真正模拟,从而导致“机器幻觉”问题的哲学根源。“大语言模型与因果之梯”以珀尔的因果三阶梯理论为背景,讨论了结构因果模型与大语言模型之间的张力与互补性。文章认为,大语言模型虽未明确嵌入因果模型,却在表现上“越级”模拟了因果与反事实任务,从而挑战了珀尔的原初批评。然而,这种挑战并不意味着结构因果模型的过时,相反,它提供了拓展模型因果解释力的新机遇。“机器智能何以可能——图灵的智能概念研究”回溯了图灵关于机器智能的真正设想,指出主流对图灵测试的理解存在严重误读。文章强调图灵并未将测试视为智能的定义,而是作为探索机器是否有可能展现出类人智能的一种实验方式,其智能概念本质上是一种响应依赖的情感性概念。这三篇文章所展开的讨论,既涉及人工智能的哲学基础,也映射出当前智能技术发展中的深层张力。在图灵设想与因果建模之间、在经验论路径与构想力理论之间、在统计关联与因果推断之间,我们重新被迫思考一个老问题的现代版本:机器智能何以可能?
(专题策划:吴小安)
摘 要:在日本哲学家三木清看来,经验论所提出的“经验”概念过“薄”,无法承载时间的延展与对外部对象的指涉,同时,也无法说明个体与环境之间的互动关系。三木的上述批评只要稍作改动,就可以被移用到对于方兴未艾的“大语言模型”上去。与经验论一样,大语言模型的构建者通过对于文本的“语元化”处理而人为构造出了休谟式“印象”的数码对标物——语元——并仿照休谟主义者通过累积“印象”而构造“观念”的思路,通过统计学手段构造出了语元的基本语义学参数:词向量嵌入。然而,由于这种还原论思维浓重的构造思路几乎绕开了心智运作的各种中层与高层架构,它也就很难复刻人类心智在输入数据不足时体现出的创造力与反事实条件下的推理力。这也便是所谓“机器幻觉”问题产生的哲学根源。
关键词:构想力 经验论 大语言模型 语元 词向量嵌入
摘 要:朱迪亚·珀尔的因果三阶梯曾是一个被广为接受的人工智能批判及人工智能实践的指导方案。但随着GPT-4等一些现象级的大语言模型出现之后,它的人工智能批评被证伪,“受其连累”,其背后的结构方程模型的因果理论也面临挑战。本文的目标有三,首先,阐述因果三阶梯的核心内容和大语言模型的内在机制,并说明后者在哪种意义上重创了珀尔的原初设想。其次,廓清这种能够“表现出因果能力”的大语言模型的出现对于结构因果模型的理论意义何在,它摧毁珀尔的批评,但又带来了因果研究的新可能。最后,更重要的是,结构因果模型的理论价值犹存,给智能体装备因果推断引擎以帮助其做因果推断的设想并未过时。
关键词: 结构因果模型 大语言模型 因果之梯
摘 要:图灵测试通常被理解为一种“可操作”或“行为主义式”的智能定义,能否通过图灵测试也被认为是判定机器是否具有智能的一种方式。事实上,这是一个误解,图灵从未声称通过图灵测试就意味着机器具有智能,尝试着对机器能否思维或能否拥有智能做出直接回应,并不是图灵测试的最初目的。通过研究图灵早期对智能概念的界定,可以发现自始至终图灵都是坚信机器智能是具有可能性的,并在图灵测试之前就已经设定了实现机器智能的潜在方案。
关键字:图灵测试 机器智能 图灵 智能
摘 要:从学术史的视角来看,逻辑主义、形式主义与直觉主义均与康德的数学观存在密切关联。康德的重要逻辑观之一是:逻辑的适用范围仅限于可能经验。这一观念的接受与挑战引发了对数学基础的深刻探讨。本文考察了康德的逻辑观对希尔伯特有限证明论的影响,比较了康德的数学观与形式主义及柏拉图主义数学观的异同,阐明了理解希尔伯特计划的哲学背景是康德的逻辑观,同时也指出,深入理解哥德尔不完全性定理必须充分掌握希尔伯特形式主义的有限证明论。最后,本文通过量子力学中的双缝实验展示了康德逻辑观在现代科学研究中的持续重要性。
关键词: 康德 逻辑 形式主义 柏拉图主义 双缝实验
摘 要:本文论证 《逻辑哲学论》中有两个不同的概率概念:逻辑概率和认识概率。本文的结论是:第一,逻辑概率可被公理化,但其应用具有局限性。第二,一些解读者对《逻辑哲学论》5.152中的概率和独立的解读存在问题。第三,认识概率是作为假设被接受的规律的逻辑推理的结果,频率不能证实或者证伪这种规律。
关键词: 《逻辑哲学论》 逻辑概率 认识概率