根据代入函数Sb(a,b)的定义(在哥德尔数为a的公式[含有自由表元w]中,以b的数字Zb[b是直观的自然数,Zb是系统中相应的形式符号]替代自由变元w所得到的公式的哥德尔数),这个公式的哥德尔数应为Sb(p,p)。由于S(Zp,Zp)数字表示了Sb(p,p);R(u,v)数字表达了R(y,a),因此V(Zp)即(u)B(u,S(Zp,Zp))表达了直观的算术公式:
("x)R(x,Sb(p,p)),
它的意思是:所有自然数都是以Sb(p,p)为哥德尔数的公式的反驳的哥德尔数,即以Sb(p,p)为哥德尔数的公式是可反驳的,而V(Zp)的哥德尔数正是Sb(p,p),因此,V(Zp)就是一个断定了自身可反驳的公式,即V(Zp)在系统中表达了“V(Zp)在系统中可反驳”这样一个元数学命题。在形式算术系统中可以证明:ØV(Zp)不可证,即V(Zp)在系统中不可反驳。这样,就存在一个直观上是假的但在系统中不可反驳的命题。由此可见,沈有鼎的悖论命题:A=A可以反驳,与A=A在形式算术系统中可以反驳,是完全不同的命题。在形式算术系统中不会出现沈有鼎的第二个语义悖论。
综上所说,沈有鼎悖论在数理逻辑发展史上具有十分重要的地位。这些悖论深刻地揭示了直观集合论的缺陷,推进了对集合论悖论和语义悖论的研究,深化了人们对公理集合论特别是正则公理和分离公理的认识,加强了人们对哥德尔不完全性定理特别是不可判定命题的理解,丰富了数理逻辑的内容。沈有鼎对数理逻辑的发展作出了不可磨灭的贡献。
【参考文献】
《沈有鼎文集》,1992年,人民出版社。
杨熙龄,1986年:《奇异的循环——逻辑悖论探析》,辽宁人民出版社。
张家龙,1993年:《数理逻辑发展史》,社会科学文献出版社。
张清宇,1993年:《所有非Z-类的类的悖论》,载《哲学研究》第10期。
Kripke, S., 1975, “Outline of a theory of truth”, in The Journal of Philosophy 72(19).
Montague, R., 1955, “On the paradox of grounded classes”, in The Journal of Symbolic Logic 20(2).
Müller, G.H., 1955, “Yuting Shen.paradox of the class of all grounded classes”, in The Journal of Symbolic Logic 20(1).
1956, “Richard Montague.on the paradox of grounded classes”, in The Journal of Symbolic Logic 21(4).
(原载《哲学研究》,2008年第9期。录入编辑:神秘岛)