论绝对的与相对的直谓主义

逻辑学研究 2025 年第 4 期， 88–105                       文章编号： 1674-3202(2025)-04-0088-18

作者：刘力恺

摘要：本文的主要任务是辩护王浩接受迭代归纳定义的广义直谓主义的合法性。通过回顾直谓主义的历史，本文发现直谓主义起源的多样性导致了绝对的和相对的直谓主义的区分。这一区分不仅为拓展标准直谓主义提供了充分的动机，也为辩护王浩广义直谓主义提供了论证框架。如果直谓主义必须绝对，根据王浩直觉与理想化的辩证法，接受迭代归纳定义是拓展直谓主义最自然和最终极的方法。如果直谓主义可以相对，根据迭代归纳定义方面的工作，王浩的直谓主义是相对于第一个递归不可达序数之下的所有序数而言的。因此，王浩的思想在这两种情形下都是某种直谓主义。在这两种情形中仍有一些问题需要处理。在第一种情形中，需要修改恶性循环原则以兼容归纳定义，但这十分困难。在第二种情形中，需要付出一些额外的本体论代价，但这会带来积极的后果：在数学上能保证大部分主流数学的一致性；在哲学上能助力王浩将构造主义与柏拉图主义融合的新概念论方案顺利实施。

关键词：直谓主义；归纳定义；王浩；费夫曼

中图分类号： B81                         文献标识码： A