虎年期待和变元的哥德尔数配置——哥德尔原著英译本拆解汉译之五
丑牛之年走到了它的尽头,又一轮时序循环将要开始了。为这个尽头和起点,我做了一副对联,按华夏传统用浓墨书写,填在自家的门上。算是概略了这即将掠过的农历牛年,又算是对虎年旋即将至的一份期待。
我的一付年末对联照片
这副手联,是我给亲朋的新春致意,这个致意还带著两行十字文。
年复一联,联传亲情友情。
岁有两期,期待未来将来。
也许,疫情很快就要过去;也许,我们的文字有更为广阔的时空腾挪,也许,更多的期许会在这寅虎之年出现;也许,我们永远只是在徒劳的期待之中。但能够有期待,大概就是生命之生,生命之命寄托所在吧。
丑牛之年的上一篇博客,我们在常元序列的哥德尔数配置处停顿了下来,然后就论及变元类型,给出了一个变元类型的图表。时序的变换,常常会无厘头地干扰人的常规。但人对岁月的期待,终会让常规复归。停顿多日,我又回到原先停下来的地方。本篇,我们将延续哥德尔原著英译的拆解汉译,并结合哥德尔的原著,也结合一点逻辑历史,回顾一下我们在哥德尔英译本第2章描述中提及到的常元、变元和公式概念。
一、常元、变元和公式概念
(一)哥德尔的常元、变元和公式
哥德尔形式系统P中的常元,如哥德尔所述,七个常元。
哥德尔形式系统P中的变元,也如哥德尔所述,三个类型的变元,以及等等而成的n型变元。
哥德尔形式系统P中的公式,同样如哥德尔所述,有基本公式,然后是基本公式和逻辑符号结合而成的复合公式。除了这两类公式,哥德尔还定义了命题公式,即不含自由变元的公式。
哥德尔非常精炼地描述了这三类客体,如同他异常简练地论述哥德尔数一样。对于不习惯这种简练的读者来说,结合逻辑史和自然语言的对比,来阐释这三类概念是有必要的。
(二)常元、变元与公式散议
1)常元
哥德尔形式系统P中的七个常元,大致有三类,一类是逻辑符号,一类是数字生成符号,一类是辅助符号。如果把它们和实在世界作比较,大概很难找到可以比较的对象。它相当于这个实在世界的什么东西呢?自然界恐怕没有对应之物。这大概如德国数学家克罗内克评论自然数一样:
自然数是上帝造的,其它的数则都是人造的。
这里的所谓人造,不就是指,这是智者的智慧产物么?
形式系统的常元,也正是在这一点上可以和自然语言客体相比,常元观念也应该是智者的智慧所造。最好不要到实在世界之中寻求对应物,而要在人的智慧中去寻找它的对应物才对。从这样的角度来看常元,一个靠谱的类比应该是:形式系统的常元,大约相当于自然语言中相应的三类语词。逻辑符号对应于自然语言的某些关联词,数字生成符号对应于自然语言的某些名词和动词,而辅助符号则对应于自然语言的某些辅助性符号。它们都不是自然世界的实体,而是我们人类智慧的产品。
智慧的神奇在于,智者的创造可以超越凡尘。哥德尔系统P中的虚空常元0,就是借助同样虚拟的后继运算,从无生成了数字个体。颇有老子的“天下万物生于有,有生于无”的味道。接之,数字个体继而生成数字序列,而且,数字个体还可以提升为类,提升为类的类等等稀奇古怪的客体。在这个提升的过程中,逻辑符号和辅助符号起到让数字类型丰富多彩的作用。毫无疑问,数字个体类型的不断生成,似乎必定要和多个体的概念联系起来,这个概念就是变元。
2)变元
上篇博文,已经提到变元的类型分层,那只是我们讨论变元哥德尔数配置的起点而已。用哥德尔的表述就是,因为常元占用了13之前的7个数字,因此,属于n类型的变元就用大于13 的素数pn来表示其哥德尔数。很明显,这里的类型变元作为客体,就不再是某个个体客体,除非它被约束。如上篇所言,变元往往是一类个体作为其变化的范围,也称作变域,或者变程。就此而言,变元有点类似于自然语言中的普遍概念,或者普通名词。
但哥德尔P系统中的变元,仅仅这样类比是不够的,因为形式系统的变元概念,并不仅仅可以和语言的普遍名词作类比,它还有可能代表别的什么东西。
变元概念,有文献表明,它是古希腊亚里士多德的伟大发明之一。我反复阅读过的一部经典文本《亚里士多德的三段论》,其译者之一是我最敬重的李先焜老师(1926-2007)。有幸踏入逻辑之门,全赖先焜师的提携推举。该书的第一章第四节就专论变元,现摘录其中的一段:
把变项(原汉译文译名,变项=变元)引入逻辑是亚里士多德的最伟大的发明之一。就我所知,一直到现在没有一个哲学家或者语言学家注意到这个最重要的事实。这几乎是令人难以置信的。我敢于说,它们必定全是坏的数学家,因为每一个数学家都知道把变元引入算术在这门科学中开始了一个新的时代。