谓词再议和哥德尔数配置——哥德尔原著英译拆解汉译之六

谓词再议和哥德尔数配置——哥德尔原著英译拆解汉译之六

牛虎交接之际，到惠州双月湾轻走了一趟。在惠东县的海滨温泉区，沐浴浸泡，送走了牛年的最后一天。在双月湾的西湾银滩，乘船出海，渡过了虎岁的大年初一。本来还可以到东湾的海龟景区瞅瞅，疫情又一次阻断了我们的行程。谁能料知呢？惠州虎年春节初一，查出新冠一例，初二景区立马关闭，海滨行程强制提前结束。
惠州的双月湾图片

乘船出海

双月湾西湾长滩夜景

真乃人算不如天算也，牛虎交替之旅，就此戛然而止。我也就提前接续上对于哥德尔的关注，继续上篇的哥德尔数配置了。
**

一、逻辑谓词再议

上篇提到，逻辑学的谓词概念还有得一说，结合哥德尔原著英译本，再来议议这逻辑学的谓词观念。
哥德尔原著文本，几乎没有提及谓词观念。但原著的第二章，从2.1节的基本定义，2.2节哥德尔数及其配置，2.3节的原始递归，2.4节的元数学概念表达，直到2.6节不可判定定理的推出，却始终是在与逻辑的谓词打交道。就此而言，说谓词属于哥德尔理论的核心概念，应该不算夸张之语。
哥德尔的系统P，如2.1节定义所示，是一个包括谓词演算的系统。因为有皮亚诺算术公理系统置于其中，这个P系统就不是纯粹的谓词演算，而是一个数论型的谓词演算。即以自然数为唯一的处理对象，这里姑且借用克林的术语，即以自然数为唯一客体的演算系统。（参见克林《元数学导论》第154页）
在这个系统中，自然数客体的不同性质，我们用最基底的主谓句来表示。而自然数之间的不同关系，主要是客体个数或者客体类之间的不同关系，我们用关系或者函数来表示。而两种最为抽象的范畴：性质和关系，先可以把性质和关系全归之于关系，然后再把所有的关系都用逻辑谓词观念统一起来。也就是说，原来属于自然语言中谓语的逻辑谓词，它既可以用来表达性质，也可以用来表达关系。显然，性质也好，关系也好，似乎就不是具有本体意味的客体，本体意味的客体仅仅只是自然数。性质和关系究竟是什么呢？这是一个最常用，但又最难琢磨其终极意味的东西，我们且把它们的本体讨论暂且放到一边吧。反正这些观念司空见惯，谁都能理解其常识意义，这大概就是自然语言的魅力。有些语词非常抽象，但人们可以非常具体地使用这些抽象语词对象，来表达他意欲表达的东西。
哥德尔数论系统P的基本定义中，他使用了关系概念来表述其哥德尔数配置。接之，他一以贯之地用这种关系表达式来定义原始递归，不过加上了数学中的一个观念，即函数观念。原始递归作为一个性质附着在函数上，这就是所谓原始递归函数。
谓词、关系和函数颇有点观念三胞胎的味道，极为类似，但又有微妙区别。谓词似乎是逻辑领地中的观念，关系观念则似乎无所不在，函数则是一个属于数学领域的观念。在哥德尔的语境中，它们之间大概没有区别。所以他使用函数观念和关系观念，却并未使用谓词观念。不过，在变元类型的理解上，