901虎年期待和变元的哥德尔数配置——哥德尔原著英译本拆解汉译之五

虎年期待和变元的哥德尔数配置——哥德尔原著英译本拆解汉译之五

丑牛之年走到了它的尽头，又一轮时序循环将要开始了。为这个尽头和起点，我做了一副对联，按华夏传统用浓墨书写，填在自家的门上。算是概略了这即将掠过的农历牛年，又算是对虎年旋即将至的一份期待。
我的一付年末对联照片

这副手联，是我给亲朋的新春致意，这个致意还带著两行十字文。
年复一联，联传亲情友情。
岁有两期，期待未来将来。

也许，疫情很快就要过去；也许，我们的文字有更为广阔的时空腾挪，也许，更多的期许会在这寅虎之年出现；也许，我们永远只是在徒劳的期待之中。但能够有期待，大概就是生命之生，生命之命寄托所在吧。
丑牛之年的上一篇博客，我们在常元序列的哥德尔数配置处停顿了下来，然后就论及变元类型，给出了一个变元类型的图表。时序的变换，常常会无厘头地干扰人的常规。但人对岁月的期待，终会让常规复归。停顿多日，我又回到原先停下来的地方。本篇，我们将延续哥德尔原著英译的拆解汉译，并结合哥德尔的原著，也结合一点逻辑历史，回顾一下我们在哥德尔英译本第2章描述中提及到的常元、变元和公式概念。

一、常元、变元和公式概念

（一）哥德尔的常元、变元和公式

哥德尔形式系统P中的常元，如哥德尔所述，七个常元。
哥德尔形式系统P中的变元，也如哥德尔所述，三个类型的变元，以及等等而成的n型变元。
哥德尔形式系统P中的公式，同样如哥德尔所述，有基本公式，然后是基本公式和逻辑符号结合而成的复合公式。除了这两类公式，哥德尔还定义了命题公式，即不含自由变元的公式。
哥德尔非常精炼地描述了这三类客体，如同他异常简练地论述哥德尔数一样。对于不习惯这种简练的读者来说，结合逻辑史和自然语言的对比，来阐释这三类概念是有必要的。

（二）常元、变元与公式散议

1）常元

哥德尔形式系统P中的七个常元，大致有三类，一类是逻辑符号，一类是数字生成符号，一类是辅助符号。如果把它们和实在世界作比较，大概很难找到可以比较的对象。它相当于这个实在世界的什么东西呢？自然界恐怕没有对应之物。这大概如德国数学家克罗内克评论自然数一样：
自然数是上帝造的，其它的数则都是人造的。
这里的所谓人造，不就是指，这是智者的智慧产物么？
形式系统的常元，也正是在这一点上可以和自然语言客体相比，常元观念也应该是智者的智慧所造。最好不要到实在世界之中寻求对应物，而要在人的智慧中去寻找它的对应物才对。从这样的角度来看常元，一个靠谱的类比应该是：形式系统的常元，大约相当于自然语言中相应的三类语词。逻辑符号对应于自然语言的某些关联词，数字生成符号对应于自然语言的某些名词和动词，而辅助符号则对应于自然语言的某些辅助性符号。它们都不是自然世界的实体，而是我们人类智慧的产品。
智慧的神奇在于，智者的创造可以超越凡尘。哥德尔系统P中的虚空常元0，就是借助同样虚拟的后继运算，从无生成了数字个体。颇有老子的“天下万物生于有，有生于无”的味道。接之，数字个体继而生成数字序列，而且，数字个体还可以提升为类，提升为类的类等等稀奇古怪的客体。在这个提升的过程中，逻辑符号和辅助符号起到让数字类型丰富多彩的作用。毫无疑问，数字个体类型的不断生成，似乎必定要和多个体的概念联系起来，这个概念就是变元。

2）变元

上篇博文，已经提到变元的类型分层，那只是我们讨论变元哥德尔数配置的起点而已。用哥德尔的表述就是，因为常元占用了13之前的7个数字，因此，属于n类型的变元就用大于13 的素数pn来表示其哥德尔数。很明显，这里的类型变元作为客体，就不再是某个个体客体，除非它被约束。如上篇所言，变元往往是一类个体作为其变化的范围，也称作变域，或者变程。就此而言，变元有点类似于自然语言中的普遍概念，或者普通名词。
但哥德尔P系统中的变元，仅仅这样类比是不够的，因为形式系统的变元概念，并不仅仅可以和语言的普遍名词作类比，它还有可能代表别的什么东西。
变元概念，有文献表明，它是古希腊亚里士多德的伟大发明之一。我反复阅读过的一部经典文本《亚里士多德的三段论》，其译者之一是我最敬重的李先焜老师（1926-2007）。有幸踏入逻辑之门，全赖先焜师的提携推举。该书的第一章第四节就专论变元，现摘录其中的一段：
把变项（原汉译文译名，变项=变元）引入逻辑是亚里士多德的最伟大的发明之一。就我所知，一直到现在没有一个哲学家或