>>>论文选编>>>合取词具有真值表所有逻辑关系都是错误的(一)
合取词具有真值表所有逻辑关系都是错误的(一)
发布时间:[2015-02-20] 作者:[何五一]

        按:这里登载何五一的长文,分三次连载,欢迎广大读者就相关问题与何五一交流。

作者:何五一,地址:中国北京市西城区文昌胡同16号,邮箱:13391747159.@189.cn

关键词:

合取词、真值形态、命题逻辑、逻辑内涵、真值表、逻辑关系。

摘要:

合取词具有真值表主张真值形式是抽象思想形态。虽然麦加拉-斯多葛学派和现代逻辑都都认为,合取词具有真值表都是正确逻辑关系,但是在数千年历史上,逻辑学没有提供任何现实性原型。作者坚持认为,没有现实性原型,这样抽象思想形态不能成立。

假设具体思想形态相反于抽象思想形态,那么抽象思想形态肯定不是具体思想形态组成类。无论合取词具有逻辑性质,决定真值形态,还是支命题具有真值,决定联言命题具有真值,都被具体事件之间关系,证实相反于真值形态,因此现代逻辑这些主张都是不能成立。用真实性命题之间关系,证实相反于真值表提供所有真值形态。用真实性命题之间关系,证实相反于真值表提供所有真值形态表达逻辑关系都是不存在。批驳真值表是特殊函数运算,具有数学严格性和准确性这种错误观点。说出普通人不会说的话,把人们认为没有认知意义思想确定真的命题,都被现代逻辑认为是无害,这种错误观点不能成立。

在认知和利用命题之间关系范围内,合取词具有真值表提供所有逻辑关系都是错误思想形态。这个结论是正确,推断现代逻辑建立命题逻辑系统都要坍塌。我们有必要反思现代逻辑关系提供所有逻辑关系,重新构建命题逻辑系统建立在真实性基础。

正文:

1.引言

麦加拉-斯多葛学派在两千年前提出合取词思想,沉静在逻辑历史中,被现代逻辑认为是对逻辑科学做出重大贡献。现代逻辑用数字形式表达合取词思想。无论支命题具有真值,决定联言命题具有真值,还是合取词具有逻辑性质,决定真值形态,都被现代逻辑认为是严格性和准确性逻辑关系,但是古老到至今逻辑学历史中都没有提供现实性原型。作者坚持任何科学没有现实性原型,都不是科学这种立场,揭示合取词具有逻辑性质发生种种荒谬。

没有见到西方学者对于合取词所有思想给以反思。中国学者在学习和赶超西方逻辑探索中,存在不同西方逻辑观点。杜岫石先生主编形式逻辑与数理逻辑比较研究一书,系统性代表中国学者中不同西方逻辑观点。数理逻辑不能代替形式逻辑,是该书主要结论。作者认为数理逻辑不是逻辑科学,因为它违背认知命题之间关系,这个作为科学必不可少认知目的。

“形式逻辑作为一门以自然语言为特征的,总结人类思维的全部逻辑结构及其思维规律的科学,它与形式化语言表达某种函数关系,探讨形式系统整体特征的数理逻辑是两门不同学科”⑴。自然语言是形式逻辑载体,但是形式系统整体性特征是自然语言表达形式逻辑具有等效性的载体,这是作者不同杜岫石先生观点。数理逻辑根本不存在某种函数关系,形式系统整体特征不能等效于自然语言表达形式逻辑,这样形式系统不是人类认知和利用逻辑关系这种逻辑学。现代逻辑建立命题逻辑系统,都不是人类认知利用逻辑关系这种逻辑学。这是作者不同杜岫石先生观点。

形式逻辑不能用形式系统整体性表达出来,表明认知逻辑关系思想具有模糊性。形式系统整体性表达不能用自然语言正确表达,说明形式系统整体性不是认知和利用逻辑关系作为目的这种逻辑科学。合取词具有真值表,体现形式系统整体性不是认知和利用逻辑关系作为目的这种逻辑科学。这是本文讨论重点。

2.合取词具有真值表

工作场所是工厂,并且工作人员是女人,这两句话表达工厂有女人这个事实。并且语词就是合取词。无论工作场所是工厂,还是工作人员是女人,它们都是命题。这段话表达具体命题之间关系。工作场所是工厂,并且工作人员是女人,被我们认为是,表达具体命题之间关系呈现具体思想形态。工作场所是工厂,被我们认为是主项命题。工作人员是女人,被我们认为是谓项命题。主项命题并且谓项命题,被我们认为是,表达抽象命题之间关系呈现抽象思想形态。

虽然任何具体学科只能用具体思想形态表达出来,但是具体思想形态在逻辑里出现,都是作为逻辑科学必不可少现实原型。虽然任何逻辑系统只能用抽象思想形态表达出来,但是抽象思想形态在具体学科里出现,都是作为具体学科认知现实原型必不可少指导原则。逻辑讨论不是具体思想形态,而是抽象思想形态,因此下文里出现思想形态一般情况都是默认抽象思想形态,而任何具体思想形态都必须加上具体作为定语。无论是抽象联言命题,还是具体联言命题,都是体现命题具有合取关系。并且语词被逻辑认为是合取联结词。主项命题和谓项命题都被认为是联言命题具有支命题。

“他们说:当所有合取支为真时,一个合取命题成立。但是,当至少一个假的合取肢时,该合取命题就是假。因为一个为假的部分,所以整个合取命题就会被说成是假。”⑵。陈波先生主编逻辑学读本出现引文表达这样思想内容。所有支命题为真,才有合取联结词为真。但是,至少一个支命题为假,才有合取联结词为假。更不用说两个支命题为假,才有合取联结词为假。把主项命题称为前件,把谓项命题称为后件。合取联结词具有逻辑性质,组成合取词体现真值表如下:

前件为真,并且后件为真,才有合取词为真。

前件为真,并且后件为假,才有合取词为假。

前件为假,并且后件为真,才有合取词为假。

前件为假,并且后件为假,才有合取词为假。

真值表第一行表达思想是:只有所有支命题为真,才有合取命题为真。因为合取命题用合取表达,所以能够简称为合取词为真。前件为真,并且后件为真,才有合取词为真。前件为真,并且后件为真,都是支命题具有真值。合取词为真就是联言命题具有真值。支命题和联言命题具有真值之间关系,作为合取词具有逻辑性质。只要合取词具有逻辑性质是这种情况,合取词表达真值形态,就是主项命题并且谓项命题,这种思想形态为真。

真值表第二行表达思想是:前件为真,并且后件为假,才有合取词为假。前件为真,并且后件为假,都是支命题具有真值。合取词为假就是联言命题具有真值。支命题和联言命题具有真值之间关系,作为合取词具有逻辑性质。只要合取词具有逻辑性质是这种情况,合取词表达真值形态,就是主项命题并且没有谓项命题,这种思想形态为假。

真值表第三行表达思想是:前件为假,并且后件为真,才有合取词为假。前件为假,并且后件为真,都是支命题具有真值。合取词为假就是联言命题具有真值。支命题和联言命题具有真值之间关系,作为合取词具有逻辑性质。只要合取词具有逻辑性质是这种情况,合取词表达真值形态,就是没有主项命题并且有谓项命题,这种思想形态为假。

真值表第四行表达思想是:前件为假,并且后件为假,才有合取词为假。前件为假,并且后件为假,都是支命题具有真值。合取词为假就是联言命题具有真值。支命题和联言命题具有真值之间关系,作为合取词具有逻辑性质。只要合取词具有逻辑性质是这种情况,合取词表达真值形态,就是没有主项命题并且没有谓项命题,这种思想形态为假。

前件为真,并且后件为真,才有合取词为真,这种合取词具有逻辑性质出现,才有真值形态,主项命题并且谓项命题这种思想形态为真。

前件为真,并且后件为假,才有合取词为假,这种合取词具有逻辑性质出现,才有真值形态,主项命题并且没有谓项命题这种思想形态为假。

前件为假,并且后件为真,才有合取词为假,这种合取词具有逻辑性质出现,才有真值形态,没有主项命题并且谓项命题这种思想形态为假。

前件为假,并且后件为假,才有合取词为假,这种合取词具有逻辑性质出现,才有真值形态,没有主项命题并且没有谓项命题这种思想形态为假。

上述真值表提供所有情况,总结为合取词具有逻辑性质决定真值形态呈现思想形态,这是真值表表达主要观点,也是现代逻辑构造真值表目的。

所有支命题为真,才有合取命题为真,不但至少一个支命题为假,就有合取命题为假。至少一个支命题为假,就有合取命题为假,这句话包括三种不同情况。前件为真,并且后件为假,就有合取命题为假。前件为假,并且后件为真,就有合取命题为假。前件为假,并且后件为假,就有合取命题为假。

不但语词之前是条件,而不但语词后面是结果。因此主项命题并且谓项命题,这种真值形态为真,所以主项命题并且没有谓项命题,这种真值形态为假。因此主项命题并且谓项命题,这种真值形态为真,所以没有主项命题并且谓项命题,这种真值形态为假。因为主项命题并且谓项命题,这种真值形态为真,所以没有主项命题并且没有谓项命题,这种真值形态为假。这些都是真值表提供所有思想形态具有逻辑关系。

“在命题逻辑中,复合命题是这样命题:第一,它包含和自身不同命题作为支命题,第二,它的真值由其他支命题的真值唯一地确定。”⑶。陈幕泽先生著数理逻辑教程告诉我们。支命题具有真值,唯一地确定联言命题具有真值,是联结词具有逻辑性质。只要联结词具有这样的逻辑性质,才有联结词表达思想形态为真。

支命题和联言命题具有真值之间关系作为合取词具有逻辑性质。合取词具有逻辑性质里,出现支命题具有真值,唯一性确定联言命题具有真值。联言命题具有真值不能被支命题具有假值所决定。这些都是现代逻辑对于合取词具有真值表提出根本性观点。

工作场所是工厂,并且工作人员是女人。面对具体命题之间关系,为什么我们没有疑问判断这个联言命题具有真值。因为具体命题之间具有内容方面联系,使我们确定联言命题具有思想形态为真。主项命题并且谓项命题,面对抽象命题之间关系,因为没有具体命题之间具有内容方面联系,所以,我们不能断定这个联言命题具有思想形态为真。现代逻辑用真值表开辟另外思路,合取词具有逻辑性质,决定真值形态呈现思想形态为真。

已知的具体思想形态只能具有一个真值,用抽象逻辑变项代替具体认知对象,得到抽象性思想形态。抽象思想形态是具体思想形态组成类,不相同具体思想形态是抽象思想形态所属种。因此抽象思想形态具有真值,是具有普遍有效性问题。但是,传统和现代逻辑都认为联言命题只有真值,只有推理具有普遍有效性问题,完全没有看到联言命题具有真值形态就是抽象思想形态,也没有指明抽象思想形态是具体思想形态组成类。

3.合取词具有逻辑性质,决定真值形态为真,这是真实性事实嘛?

请看依据真实性事实分析如下:前件为真,并且后件为真,才有合取联结词为真。这是传统和现代逻辑认为;合取联结词呈现思想形态具有的逻辑性质。合取词具有逻辑性质决定,主项命题并且谓项命题这种思想形态为真。抽象思想形式是具体思想形态组成类,抽象思想形态就是具有普遍有效性思想。假设有具体事例相反于抽象思想形态,那么普遍有效性思想形态不能成立,而且合取词具有逻辑性质不能成立。

首先,遵从合取词具有逻辑性质推导过程推断结果。2+2=4为真,并且木头制作椅子为真,才有2+2=4,并且木头制作椅子,这种思想形态呈现合取词具有逻辑性质为真。然后,观察思想形态反映情况是否符合真实性事实。2+2=4,并且木头制作椅子,这是具体命题之间关系具有具体的思想形态。这个思想形态把不相关关系用相关关系思想形态表达出来,思想形态反映情况不符合真实性事实,因此具体的思想形态为假。这个相反事例推翻思想形态,推翻思想形态具有逻辑性质。

现代逻辑认为,前件为真,并且后件为真,才有合取词为真,这个合取词具有逻辑性质,还同时存在三种不同合取词具有逻辑性质。

前件为真,并且后件为假,才有合取联结词为假。这是传统和现代逻辑认为;合取联结词呈现思想形态具有的逻辑性质。合取词具有逻辑性质决定,主项命题并且没有谓项命题这种思想形态为假。抽象思想形态就是具有普遍有效性思想。假设具体事例相反于思想形态,那么普遍有效性思想形态不能成,而且合取词具有逻辑性质不能成立。

首先,遵从合取词具有逻辑性质推导过程推断结果。这个数大于那个数为真,并且这个数小于那个数为假,才有这个数大于那个数,并且没有这个数小于那个数,这种思想形态呈现合取词具有逻辑性质为假。然后,观察思想形态反映情况是否符合真实性事实。这个数大于那个数,并且没有这个数小于那个数,这是具体命题之间关系具有具体的思想形态。思想形态反映情况符合真实性事实,因此具体的思想形态为真。这个相反事例推翻思想形态,推翻思想形态具有逻辑性质。

前件为假,并且后件为真,才有合取联结词为假。这是传统和现代逻辑认为;合取联结词呈现思想形态具有的逻辑性质。合取词具有逻辑性质决定,没有主项命题并且谓项命题这种思想形态为假。思想形态是具有普遍有效性思想。假设具体事例相反于思想形态,那么普遍有效性思想形态不能成,而且合取词具有逻辑性质不能成立。

首先,遵从合取词具有逻辑性质推导过程推断结果。语词是实词为假,并且语词是虚词为真,才没有语词是实词,并且语词是虚词,这种思想形态呈现合取词具有逻辑性质为假。然后,观察思想形态反映情况是否符合真实性事实。没有语词是实词,并且语词是虚词,这是具体命题之间关系具有具体的思想形态。思想形态反映情况符合真实性事实,因此具体的思想形态为真。这个相反事例推翻思想形态,推翻思想形态具有逻辑性质。

前件为假,并且后件为假,才有合取联结词为假。这是传统和现代逻辑认为;合取联结词呈现思想形态具有的逻辑性质。合取词具有逻辑性质决定,没有主项命题并且没有谓项命题这种思想形态为假。抽象抽象思想形态是具有普遍有效性思想。假设具体事例相反于思想形态,那么普遍有效性思想形态不能成,而且合取词具有逻辑性质不能成立。

首先,遵从合取词具有逻辑性质推导过程推断结果。这个数能被三整除为假,并且这个数能被九整除为假,才没有这个数能被三整除,并且没有这个数能被九整除,这种思想形态呈现合取词具有逻辑性质为假。然后,观察思想形态反映情况是否符合真实性事实。没有这个数能被三整除,并且没有这个数能被九整除,这是具体命题之间关系具有思想形态。思想形态反映情况符合真实性事实,因此具体的思想形态为真。这个相反事例推翻思想形态,推翻思想形态具有逻辑性质。

合取联结词具有逻辑性质,呈现思想形态都有相反事例,因此,不但合取联结词所有思想形态表达抽象思想不能成立,而且合取联结词所有逻辑性质不能成立。既然合取联结词所有逻辑性质都不能成立,当然表达合取词所有逻辑性质,这个合取词具有真值表不能成立。

4.支命题具有真值,唯一地确定联言命题具有真值,这种情况是真实性事实嘛?

请看依据真实性事实分析如下:支命题具有真值,唯一地确定联言命题具有真值,是合取联结词具有逻辑性质。假设支命题具有真值,唯一性确定联言命题具有真值,这种情况不存在,那么合取联结词具有逻辑性质不能存在。

首先,遵从合取词具有逻辑性质推导过程推断结果。工作场所是工厂为真,并且工作人员是女人为真,才有工作场所是工厂,并且工作人员是女人,这个合取联结词具有逻辑性质为真。然后,观察思想形态反映情况是否符合真实性事实。工作场所是工厂,并且工作人员是女人,这个思想形态反映情况符合真实性事实,因此具体的思想形态为真。

首先,遵从合取词具有逻辑性质推导过程推断结果。2+2=4为真,并且木头制作椅子为真,才有2+2=4,并且木头制作椅子,这个思想形态呈现合取联结词具有逻辑性质为真。然后,观察思想形态反映情况是否符合真实性事实。2+2=4,并且木头制作椅子,这个思想形态反映情况不符合真实性事实,因此具体的思想形态为假。