数理逻辑及传统形式逻辑.docVIP

数理逻辑及传统形式逻辑 用汉语“若,则”指称的充分条件关系(sufficientcondition,即必然关系,用符号表示)跟刻划真值函数关系的实质蕴涵关系(materialimplication,简称蕴涵,用符号rarr;表示)之间是风马牛关系。这个自然语句的逻辑语义是:若A为含有的式(formula),B为把A中的用rarr;替换后得出的式,则AFB(读作A风马牛B),即,(AB)and;(AB)and;(BA)and;(BA)。换个通俗的说法,风马牛关系就是彻底的偶然关系,或者说,是最偶然的最偶然关系。 AFB有一项逻辑性质:若A、B间的真值搭配为全搭配,则AFB必真。故而,只要证明A、B间的真值搭配为全搭配达就证明了本文的论题。要对A、B举出同真、同假、A假B真的例子,是不难的。亦即,我们只需再添上A真B假的实例,就完成了AFB为真的证明。含有1个号的(CD)(即C!DC可能D)在C真而D假时可真(如,“路湿可能下雨”在事实上路湿而不下雨时也为真);然而,与之相应的变换后的(Crarr;D)却和Cand;D等值,在C真D假时为假。含有两个号的(CD)and;(CD)(即CODC偶然D)可真;然而,与之相应的变换后的(Crarr;D)and;(Crarr;D)却与Cand;Dand;Cand;D等值,恒假。 下面,我们再作一次证明:设A为(p(x)q(x))r(x),于是,相应的B为(p(x)rarr;q(x))rarr;r(x)。以“物体”为论域。令:p(x)表示“x的温度为100℃”,q(x)表示“x熔化”。我们用下表列出实例:　 “若x的温度为t℃时则x熔化,必然,x的熔点不高于t℃”(alpha;)为物理定理。不论x取何物,t为几摄氏度,alpha;常真。可是,“若x的温度为t℃时则x熔化,必然,x的熔点高于t℃”(beta;)与常真的物理定理alpha;相反对,常假。然而,一经把上述物理定理alpha;及其反对命题beta;中指称充分条件关系的“若、则”、“必然”变换成纯真值的“蕴涵”后,常真的物理定理alpha;就变成可假,而常假的反对命题beta;却变成可真了。用这种真假飘忽不定的实质蕴涵来取代固若金汤的充分条件(或必然)关系,实在是逻辑史上的误会。 必须指出:即使当A、B同真时,这也只不过是一种彻底偶然的风马牛的巧合。因为,在这种时候,A、B两者的逻辑语义(决定A、B所以为真的逻辑依据)仍然根本不同:A说的是“若p则q;必然,r”。A是常真的一般的物理定理;当指定温度t为100℃、物体x为一块冰棍时则为A的个别例。象具有A这样的逻辑语义的语句,凡是学过物理学中熔点的定义的人都听得懂,说得出。可是,实事求是而不故弄玄虚地说,与A相应的B(即(prarr;q)rarr;r)的逻辑语义是:不是:“不是“p真而q假””真而r假。具有这种逻辑含义的语句,占人口99.999999%的人是听不懂、不会说的。鉴于绝大多数的人从来不需要产生具有这种逻辑含义的思想,因而,不曾学会应该怎样来形成和陈述这种话语。在这种情况下,B尽管和A同为真,然而,其逻辑语义要说相干,也不过是风马牛相干。 我们所进行的是逻辑学的实事求是的科学讨论,不是茶余饭后的随便闲聊。经过论证,我们获得的结论是:(1)在经验科学的意义上,或者说,当把具有不同逻辑含义的?(充分条件)和rarr;(蕴涵)分别应用于经验科学时,AFB。我们称这种情况为和rarr;之间的经验的风马牛。(2)在逻辑科学的意义上,经过分析,获得的结果是:传统形式逻辑推理格式和正统数理逻辑形式定理之间的关系仍然是风马牛。这个自然语句的逻辑语义是:若A为传统形式逻辑命题形式的符号表达式,对A中指称分充条件(或必然关系)的用?表示的“若,则”替换成实质蕴涵rarr;后得出正统数理逻辑符号表达式B,则:“A有效”风马牛“B有效”。 这个结论的证明是轻而易举的。请看下表(其中的符号├、┤分别表示有效、不有效,分别读作“栅”、“反栅”):这就证明了:(├A)F(├B) 在表中,我们在紧接各式的下边同时写出用自然语言表述的相应的式的逻辑语义。当有(├A)F(├B)时,对象序号1的A1、B1这样的实例,虽然A1、B1都有效,可是只不过是一种偶然,甚而是一种风马牛的巧合!这时候,A1、B1的逻辑语义仍然不同,亦即,A1、B1有效的依据完全不同:A1由于有两个独立性因而能从已知获取新知,而B1没有两个独立性因而不能从已知获取新知,而是同语反复的重言式。稍作进一步的恒等变换就能看出,B1的前件C(Crarr;D)和CD等值,前件中已经知道D了,还去推D干什么!后件D对于前件C(Crarr;D)(即CD)来说怎么可能是新知? 这样,我们已经证实了:第一,在经验科学的范围内