？？？-第2/3页

    抱着这样的信念，我们就不可避免地要密切关注当代数学的进展。任何有关哲学的论断，都要尽可能地在已有或正在取得的数学成果中寻找相关的“证据”这里的情形可以与物理学哲学做一个比较。一大部分的物理学哲学研究，如果不是全部的话，与近百年来物理学在一些基础问题上的重要理论和进展密切相关。但正如科纳(P.Koellner)所指出的，数学哲学中绝大多数工作却相反，它们与当代数学的发展几乎毫无关系。([5])造成这种局面的原因十分复杂，不属于本文讨论的范围。但是，十分确定的是:加强这个方向的研究，保持数学哲学与数学的最新进展的密切联系，应该能期待巨大的收获。当然，这也不可避免地使得这类数学哲学研究更为数学化。

    最后，文章中的数学定义和定理，从某种意义上，是我们为论证而搜集的证据。借助这些定理，读者可以更好地把握概念间的关系，大致看出当今集合论发展的脉络，从而体会出其中的哲学意蕴。郝兆宽.杨跃柏拉图主义与集合论终极宇宙。

    1独立性现象与数学真理

    集合论中充满了独立性现象。在这些现象背后的是有关集合论真理的哲学问题，即:

    一个集合论语言中的语句σ是真的，这是什么意思?

    有一派观点认为σ是真的当且仅当。在ZFC中可证。

    我的感觉是，除了那些一致性命题，ZFC穷尽了我们的直观，所以，证明意味着在ZFC内证明。([7]，第3页)

    而这就意味着那些独立于ZFC的语句没有真假可言。

    这是一个有重大影响的选择。其中最重要的影响就是承认CH本身是无意义的，而CH也许是我们对不可数集合所能提出的第一个重要问题。([1]，第13页)

    这样的立场被称为“形式主义”。与之相对应的立场是“柏拉图主义”，它认为一个集合论语句为真当且仅当它描述了集合宇宙中的一个客观事实。独立性命题产生的原因是我们对客观数学世界的认识不够完备。但这不意味着这些命题本身是没有真假的无意义命题，相反随着对集合宇宙认识的不断深入，我们最终会决定它们的真假。

    基于此处采取的立场，从已接受的集合论公理出发，一个有关康托猜想的不可判定性的证明(与一个对的超越性的证明完全不同)决不是问题的解决。.集合论概念和定理描述了一个完全确定的实在，在其中康托猜想一定是或真或假。因此，源于今天已接受公理的对它的不可判定性，只能意味着这些公理没有完备地描述那个实在。这一信念绝非空想，因为有可能指出一些方向，在其中能得到对一些问题的判定，而这些问题对于通常的公理是不可判定的。([4]，第260页)

    把所有独立于ZFC的命题都看作无意义的，这种观点有一个困难就是这些命题在认识论地位上不是完全等价的。例如，有人认为CH无意义，因为“任意实数的子集”这个概念模糊不清。但是，几乎不会有人认为“所有投影集都是可决定的(PD)”无意义，因为这其中并不涉及“任意实数子集”的概念，而只是谈论了投影集这样的具体可定义的数学对象。但PD与CH一样，是独立于ZFC的。因此，武丁(H.Woodin)向形式主义提出了如下挑战:

    ……(形式主义)这种立场要站得住脚，那就或者集合论中类似的不可解问题也必须被看作是无意义的，或者必须解释为什么连续统假设的问题是与那些问题不同的。我指的是那些描述集合论的经典问题，它们在连续统假设提出不久也被提了出来。([8]，第29页)这要求人们进一步仔细分析PD与CH:

    定义1.1无穷基数δ是武丁基数当且仅当对任意函数f:δ→δ，存在初等嵌入j:V→M，如果κ=crt(j)，则f[κ]?M并且Vj(f)(x)?M。我们用...
    本章未完，请点击下一页继续阅读！