arXiv ID:
2605.27246
arXiv 提交日期: 2026-05-26
多种逻辑,同一方法:在形式化推理中倡导逻辑多元主义 / Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
1️⃣ 一句话总结
本文基于过去20年将非经典逻辑浅嵌入经典高阶逻辑的研究,提出在LogiKEy这样的统一元逻辑框架内支持对象层面的逻辑多元主义,并警告逻辑帝国主义(即僵化使用单一基础逻辑)会阻碍跨学科知识复用。