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

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

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

乘船出海
在这里插入图片描述
在这里插入图片描述

双月湾西湾长滩夜景
在这里插入图片描述
在这里插入图片描述

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

一、逻辑谓词再议

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

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值