数学多元论（一） (6-6)

菲尔德将数学知识等同于经验知识+逻辑知识， 而后者即是从某个数学系统的公理出发推导定理的知识， 而要解释这种推理是如何可能的， 菲尔德认为唯名论者只需要借助初始的模态概念， 亦即初始一致性 （一致性p ）。

巴拉格尔以上表述暗示了， 如果唯名论者借助一致性p 解释数学知识 （即逻辑知识） 是如何可能的， 那么多元论者也可以借助一致性p解释数学知识的可能性。

因此， 对相对多元论者而言， 贝纳塞拉夫问题的解决依赖如下可靠性断定的解释：：可靠性断定：：如果数学家A一致p 地相信 （或想象） 命题p， 那么p为真。

现在的问题是，

（1） 依赖唯名论者的一致性概念 “一致性p ”， 相对多元论是否可以完全摆脱解 释 “一致性” 概念的任务？

换句话说， 我们如何解释关于某个理论T的一致性p 信念本身的可靠性？

（2） 一致性p 是不是稳定的， 以及由此可靠性断定是否正确。：这两个问题都会影响对贝纳塞拉夫问题的解决。

② 在这里让我们假设我们关于某理论T的一致p 的信念的解释是可能的， 本文的重点是回 应问题 （2）。

接下来的论证将告诉我们， 与一致性R 类似， 一致性p 也不稳定， 其主要原因是一致性P 会坍塌为或还原到一致性R 。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。