Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
本立场声明主张在如 LogiKEy 这样的统一元逻辑框架内倡导逻辑多元主义，认为在证明助手中支持多种对象逻辑而非强制推行单一基础逻辑，更能促进跨学科研究与大规模理论发展。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
以下是用简单语言和创造性类比对该论文的解读。
核心理念：一个工具箱，多种规则
想象你是一位建筑师。通常，当你建造一座房子时，你会选择一套建筑规范（即“逻辑”），并从地基到屋顶始终遵循它。如果你想用一套不同风格的规范来建造房子，你就必须从头开始，使用一套全新的蓝图和工具。
这篇论文的作者认为，这种做法并不好，尤其是在试图构建融合不同领域（如数学和哲学）的复杂结构时。他们将这种僵化的方法称为“逻辑帝国主义”（将单一规则强加于一切），并提出取而代之的是“逻辑多元主义”。
他们的解决方案是一种名为LogiKEy的方法。将 LogiKEy 想象成一个通用翻译枢纽。与其为每一种不同的规则集建造一座新房子，不如建造一座巨大且超级坚固的“元房子”（基于经典高阶逻辑）。在这座元房子内部，你可以设置不同的“房间”。每个房间都有自己特定的规则集（例如关于时间的规则、关于伦理的规则，或关于上帝的规则）。
由于所有这些房间都位于同一座元房子内，你可以使用相同的强大工具（如自动化证明检查器）来检查、比较，甚至混合不同房间的规则，而无需每次都重建整个地基。
“一刀切”的问题
该论文警告说，现代数学计算机系统往往表现得像帝国主义者。它们选择一种基础逻辑（如某种特定类型的数学逻辑），并宣称：“这是唯一的真理。”
作者举了一个有趣的例子：除以零。
- 在某些计算机数学库中，为了简化计算，他们直接规定 。
- 这对工程学来说没问题，但如果你是一位哲学家，正在探讨关于存在的深刻问题，这条规则就很奇怪。它暗示“无”实际上就是“有”。
- 如果你基于这条规则构建庞大的数学库，未来的用户（甚至人工智能）可能会无意中将这些奇怪的规则视为宇宙的普遍真理，而不仅仅是一个方便的捷径。
作者希望建立一个系统，让你能清晰地看到这些捷径，并说：“哦，那只是这个特定房间的规则，而不是整栋建筑的规定。”
案例研究：哥德尔的上帝论证
为了证明其方法的有效性，作者将其应用于一个著名的哲学难题：哥德尔的模态本体论论证。这是一个复杂的数学证明，试图基于“积极属性”（善良、力量、知识等）的定义，证明一个“类上帝”的存在是必然的。
旧方法：
以前，人们试图用标准数学逻辑来证明这一点。但标准数学通常假设世界是有限的或简单的。这导致了“琐碎”的证明，即论证之所以成立，仅仅是因为数学过于简单（就像试图通过假设世界上只有两个人来证明一个复杂的谜团）。
新方法（使用 LogiKEy）：
作者利用他们的“通用翻译枢纽”做了新的尝试：
- 他们提取了哥德尔的哲学论证（它存在于“模态逻辑”房间中——即处理可能性和必然性的逻辑）。
- 他们引入了“数学实在论”（即无限数学对象，如数字，确实存在的观点）。
- 他们在元房子内将它们结合起来。
令人惊讶的结果：
当他们把哥德尔的规则与无限数学对象的存在结合起来时，数学改变了哲学。
- 他们发现，如果你接受无限数学对象存在，那么哥德尔理论中的“积极属性”集合不能是有限的，甚至不能是可数的。
- 这迫使“善”的集合必须是不可数无限的（就像直线上的点数，而不仅仅是数字列表）。
- 这排除了某些先前的计算机证明无意中允许的“简单”或“微小”版本的上帝。
为何这很重要
这篇论文不仅仅是关于证明上帝存在或不存在。它是关于我们如何利用计算机进行思考。
- 灵活性：它允许研究人员替换理论的基础规则，以观察结果如何变化，而无需抛弃所有工作。
- 透明度：它确保隐藏的假设（如“除以零等于零”）是可见的，并且可以被质疑。
- 跨学科工作：它让哲学家和数学家能够在同一个数字空间中合作，即使他们通常说着不同的“逻辑语言”。
总结类比
想象一把瑞士军刀。
- 逻辑帝国主义就像只有一把刀片的刀。如果你需要锯木头，你就束手无策了。
- **逻辑多元主义（LogiKEy）**则是全套瑞士军刀。你在一把刀柄上拥有刀片、螺丝刀、开罐器和锯子。你可以瞬间切换工具以适应工作需求。
- 作者表明，通过使用这种“瑞士军刀”方法，他们可以将关于上帝的哲学论证与关于无限的先进数学相结合，并发现该论证需要一种比任何人此前意识到的都更为复杂、更为无限的结构。
该论文得出结论，这种灵活的多工具方法是应对未来混乱、复杂且跨学科问题的最佳途径。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。