5章5关系逻辑和一阶谓词逻辑系统.docxVIP

第五章，关系命题及其推理

关系逻辑的思想在亚里土多德的逻辑著作里就已经具有了，“关系”是独立于“性质”的十大范畴之一。但是后来的发展却没有使它形成独立于三段论的理论，而是把关系命题和推理归约为三段论。这可能是因为三段论理论太美妙了，几乎所有能够归约为它的理论都难以摆脱这种引力，就象在白昼，再亮的星星也会因为太阳的光芒而无法识见。不论是古希腊还是中世纪对关系逻辑理论的探讨都不能说产生了关系逻辑，他们只是一些有关思想的萌芽，直到十九世纪中，德摩根、皮尔士等逻辑学家才真正系统地研究了关系逻辑理论。

第一节，关系命题

一，关系命题及其形式结构

关系命题是反映思维对象之间的关系的命题。

客观对象与它的属性是不可以分割开来的，我们把这种不可分割但可以区别描述的对象整体叫事实（事件或事态），事实可以是具有某种性质的对象，这是直言命题或性质命题的反映内容。也可以是具有某种关系的对象，这是关系命题反映的内容。所谓属性就是性质和关系，它们是描述思维对象的两个基本的范畴。关系命题如：

①，木星比地球质量大；

②，济南在上海与北京之间；

命题①是反映两个对象之间质量关系的命题，命题②是反映三个对象之间位置关系的命题。它们都是关系命题。

性质命题反映的是对象的性质，关系命题反映的是对象是关系，这是两种不同的命题类型，但是传统逻辑由于把关系命题化归为直言命题，因此无法准确地描述这类思维形式，也不能正确的推理。例如：

③，甲的年龄大于乙，乙的年龄大于丙，所以，甲的年龄大于丙。

（4）,有些液体能够腐蚀所有的金属。

这两个命题在直言命题推理中都是无法表示它的逻辑形式的，因此只能勉强的把“大于乙”、“大于丙”、“能够腐蚀所有的金属”看成一个谓词，只有这样才可以“放进”直言命题理论中。但是，“甲”、“乙”、“丙”是个体词，不是谓词,同样，“所有”是量词，也不是谓词。这种强行把关系命题归入直言命题的做法,必然混淆不同的命题类型，使逻辑推理失去合理性。实际上，直言命题反映的性质只是一种特别的关系，可以把直言命题纳入关系命题中，是关系命题的一个真子集。

关系命题的形式结构由关系者项、关系项和量项三个要素构成。

关系者项是关系的承担者。它们在初等逻辑中都是个体项，一般用小写字母表示，如x、y、z,等等。上面命题中的“木星”、“地球”、“上海”、“济南”、“北京”等都是具体的关系者项即个体项。

关系项，又称关系谓项，是表示关系者之间的关系的词项。习惯上常用大写字母表示，如F、E、S、R等。上面命题中的“比……质量重”、“…在…之间”都是具体的关系项。

量项：这是命题中的量词。关系命题中也有量词，同直言命题一样，关系命题中的量词在初等逻辑中仅仅约束关系者项即个体项，不使用在关系项上。例

一，PD的初始规则

PD的演绎规则分两部分：

第一部分：关于重述和真值联词的变形规则。SL的规则是PL的规则(省略不再重述)。但是在内容上要比SL丰富。

第二部分：关于量词的变形规则。

12,全称量词的消除规则(V-)：

VxA

A(a)

如果个体域中的任一个个体都有属性A,那么该个体域的某个个体a也具有属性A。A(a)是将VxA中的A所含的x代换为a所得。A是一个特指个体项,

可以理解称某个个体常项。除了a/x必须处处进行外，这个规则没有其它得条

件要求。

例⑴,

①下面的演绎是允许的:

例⑴,

①

下面的演绎是允许的:

VxF(x,a)

①v-

①旷①

①v-

①旷

①VxF(x,x)

F(x,a)

VxF(x,a)

P

①v一(不允许)

①x/一(允许)

F(a,a)

F(b,a)

例⑵，下面的例子②不允许，但③是允许的。

例⑶：所有伟大的作家都有自己的风格，鲁迅是伟大的作家，所以鲁迅有自己

的风格。①②③

的风格。

①

②

③

④

Vx(FxfEx)

Fa

FafEa

Ea

P

P

①XT

②③f

13,存在量词得引入规则G+)

A(a)

3xA(x)

如果个体域中有一个个体a有属性A,那么该个体域至少有一个个体x有属性Ao3xA(x)中得A(x)是将在先的A(a)中的a代换为x的结果。X/a没有任何条件要求

下面的例子都是允许的：例⑴，①|FaAFa

3x(FxAFa)

P①于（允许）①于（允许）例⑵,①F(a,a)3xF(x,a)3xF(a,x)3xF(x,x)P①于（允许）①于（允许）①于（允许）例⑶，这个例子也是允许的。①F(a,a)3xF(x,a)

P

①于（允许）

①于（允许）

例⑵,

①F(a,a)

3xF(x,a)

3xF(a,x)

3xF(x,x)

P

①于（允许）①于（允许）①于（