三段论探针：追踪大型语言模型中逻辑推理的演变
人工智能
2026-01-27 v1 计算机科学中的逻辑
摘要
人类逻辑已逐渐从直觉驱动的推理演变为严谨的形式系统。受大型语言模型(LLM)近期进展的启发，我们探索LLM是否在底层逻辑框架中表现出类似的演变。使用存在性预设作为探针，我们在传统逻辑和现代逻辑下评估三段论。通过在新型三段论数据集上对SOTA LLM进行广泛实验，我们得到了一些有趣的发现：(i) 模型规模扩展促进了向现代逻辑的转变；(ii) 思考作为超越参数扩展的高效加速器；(iii) 基础模型在决定这种转变出现的难易程度和稳定性方面起着关键作用。除了这些核心因素，我们还进行了额外实验，以深入分析当前LLM在三段论推理方面的特性。
引用
@article{arxiv.2601.17426,
title = {A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models},
author = {Zhengqing Zang and Yuqi Ding and Yanmei Gu and Changkai Song and Zhengkai Yang and Guoping Du and Junbo Zhao and Haobo Wang},
journal= {arXiv preprint arXiv:2601.17426},
year = {2026}
}