立场：逻辑健全性并非基于大语言模型的神经符号事实核查的可靠标准

随着大语言模型融入事实核查流程，形式逻辑常被视为减轻偏差与幻觉的严谨手段。然而，本文指出此类神经符号方法因逻辑健全结论与人类实际推断存在系统性分歧，难以识别误导性主张。结合认知科学与语用学研究，文章分类展示了逻辑严密却引发 unsupported 人类推断的案例。作者主张将大语言模型类人的推理倾向视为特性而非缺陷，利用其验证神经符号系统中形式组件的输出，以互补现有方法。