莱布尼兹逻辑加命题22-24解读 逻辑与算法之十七
命题22-24为有关分离的逻辑加命题,且有其特殊之处。这类命题,在已先有两个分离词项的基础上,意在找到第三个词项,以满足某些条件。在莱布尼兹逻辑加的命题中,这类命题属于有点艰涩难懂的字符结构,需要从艰涩的文字中体悟到文字背后隐藏的东西。颇为特殊的是,这些命题,莱布尼兹都用寻找第三个词项,而不是证明某个命题的方式来描述,让人颇感奇怪。且让我们穿透文字,慢慢体味。
命题22:两个分离的词项A与B给出之后,请找到第三个词项C。这个命题C,与前两项A和B不相同,并且,这个第三项C和A,B两项分别合成为两个不同命题,一个是A⊕C,另一个是B⊕C。但构成后的这两个合成命题,得让其处于上下属的关系之中,即A⊕C得包含于B⊕C之中,当然反过来也行-也就是,虽然A和B这两个词项,它们两个分别都不被另外一个词项所包含,但A⊕C和B⊕C这两个合成词项,将是其中的一个合成词项包含于其中的另一个合成词项之中。
答案思路:
如果我们希望A⊕C包含于B⊕C之中,但是,A又不包含在B之中,这可以用以下方式来完成。
依据片断19中提到的公设1:任意多个词项,无论单独的还是合成的,都可以被逻辑加合在一起,构成另一个单独的词项。例如,如果我们已经有词项A和B,那么我们就可以构成A⊕B,并称这个A⊕B为L(片断20中无公设1,有公设2,但将片断19和20加以比照,这里的英文译本有误。片断20中有公设2,实际上这个公设2就是片断19中的公设1重述)。所以,这个命题证明依据的是片断20中的公设2,不是公设1。
依据这个公设2,假设有词项D,D不在A中。这时候可以依据公设2,设A⊕D=C,这个要求即可以得到满足。
证明步骤如下:
1.A⊕D=C(依据公设2的假设)
2.A⊕C=A⊕A⊕D(定义1,相同替换)
3.同理.B⊕C=B⊕A⊕D(定义1,替换)
4.A⊕D在B⊕A⊕D中(定义3)
所以,A⊕C在B⊕C之中(依据2.和3.)
这正满足命题22所需要的条件。
答案的图形说明
如同所示,SY和YX分离,若RS⊕SY=YR,那么SY⊕YR将在XY⊕YR中。
用文字实例来解释命题22证明
莱布尼兹的例子也许因翻译原因,不是太清晰明白,他例举几何图形的概念似乎全都不对题。把词项外延间的关系转换为内涵间的关系,好像也不通。例如他设A为等边形,设B为平行四边形,设C为等角等边形,设D为等角形。但这几种几何图形并非互相分离,而是全都有互为相容的关系。我试着使用更清晰的例子,来对命题的证明提供理解。
设A是狗类,B是猫类,D是马类,C是狗类与马类的逻辑加合成类A⊕D=C。
类似的,依据公设2,C类与B类的逻辑加合成类就为B⊕C。
明显的一点是,虽然狗类A和猫类B是分离的,没有一个在另一个之中,然而,狗类A⊕狗类马类C在猫类B⊕狗类马类C之中。
但是,你会问,在问题中描述的这个构造在所有情形中都能成功么?例如,设A是狗类,B是猫类,找到一个词项C,它含有A和B,并且因此而找到B⊕C使得其含有A⊕C,因为A和B不可比较,这可能么?
回答是,这里的一般构造依赖于公设2。在这个公设2中,它含有这样的假设:任意词项和任意其它的词项可以放在一起作为合成件。所以,上帝,灵魂,身体,点,和热就构成这五种东西的合成。并且,在这种方式中,猫类和狗类也可以放在一起作为合成件。假设D是你喜欢的任意东西,D并不包含在狗类中,例如D为马类,那么,A⊕D就是狗类和马类,这个合成词项可称作C。但C⊕A除了有狗类和马类的动物之外,什么别的东西也没有。因此,无论有什么东西在C⊕B中,也就是在狗类之中,或马类之中或猫类之中。
但是,如果任何人希望这种一般的合成计算,有关针对特殊合成模式的无论什么类别的计算,例如,如果有人希望把狗类,猫类和马类结合起来,不仅构成一个合成的,而且还让这些概念的每一个都将属于同样的主题,那么,观察这些概念是否可比较就是很必要的。所以,在某个距离中不可移动的直线就可以加到一个合成词项上去,但不是去构成一个连续体。
命题23:两个分离的词项A和B给定,找到第三个词项C,C不同于这两个词项,并且使得A⊕B=A⊕C。
答案思路:
为了满足这个命题的要求,先要假设有第三个词项,然后得说明三个词项的不同。最后则要说明这个第三词项带来的结果。
答案的步骤如下:
1.C=A⊕B(假设,依据公设2),
2.A和B分离(依据题头假设)。
3.A不在B中,并且,B不在A中。(依据分离的定义6,没有词项在另一词项之中。)4.C=A,或者C=B那是不可能的。(依据以上1.和2.,依据命题13)
5.C,A,B三词项全都不同。(依据以上2.4.)
- A⊕C=A⊕A⊕B,(依据以上1.定义1相同替换)
7.A⊕C =A⊕B. (依据公理2)
所以,A⊕B=A⊕C。
这正满足命题23所要求的条件。
命题24:找到一组词项,任意所想要的数目,想要多少项都行。这些词项,它们相互之间不同,并且是这样连接起来的,把它们合成在一起形成的词项没有产生任何新东西,或者说,它们当中的每一个都不相同。也就是说,这些词项,仅通过运算符号⊕而构成了一个整体。
答案思路:
依据公设2,假设这个合成词项的构件,有任意所希望的数目,比如四个子项,并且,四个子项之间皆不相同。设这四个项分别是A,B,C,D,再设,A⊕B=M,M⊕C=N,N⊕D=P。则A,B,M,N,P都是所要求的词项,根据构造,M由A,B构成,因此,A或者B在M中。同理,M在N中,N在P中。依据命题16,任意在先的词项都在其随后的词项之中。
但是,如果两个这类词项结合为合成件,则没有新东西产生。因为如果一个词项和自身结合,是没有新东西产生的,这是依据的公理2,L⊕L=L。而如果一个词项和另一个词项结合为合成件,则在先的词项总是和尾随其后的词项结合成为一个合成词项,因此,一个被另一词项含有的词项含有了在先词项,如同L⊕N,但是依据命题14,L⊕N=N。如果这三个词项再结合为L⊕N⊕P,那么,则是二构件的L⊕N和P相结合成为一个词项。但这个二构件的L⊕N,它本身也不构成任何新东西,但其中的一个,即在后的N,如我们已经证明的,因此是结合了一个二构件L⊕N,然后再结合P,就等同于N和P的结合。这样,我们就证明了这样的合成没有构成新东西。对于任意数目的词项合成,结果都是一样的。
答案步骤如下:
1.两个互不相同的词项A与B的合成词项A⊕B=M。(依据公设1)
2.M与C不相同,又可以构成合成词项M⊕C=N。(同理)
3.A⊕B在M中,M在N中,N在P中,等等。(依据公理2)
4.从第二次开始,每一次词项的合成都是前述合成和后续合成的再合成
所以,对于任意数目的这类合成都只是既有词项的合成,没有构成新东西。
命题24的图形说明
注释:
增加每一个词项给下一个含有前述词项的词项,例如M,N,P等等,的确就是这样的情景,如果我们在构造中把A当作空无,设B=M的话。但是这一点是清楚的,给出的答案有某种宽泛的应用,当然,这类问题,也可能用另外的方式来解决。但显示所有那些可能的答案将是去证明,没有其它的方式是可能的。因为,这大数目的命题必须首先得到证明。给出一个例子:五件东西,A,B,C,D,E可以如此连接,它们不构成任何新东西,仅在以下方式之一。
首先,若A在B中,B在C中,C在D中,D在E中;
第二,若A⊕B=C,且C在D中,D在E中;
第三,若A⊕B=C,且A在D中,B⊕D=E。
以下五个概念按最后的第三个方式连接起来:
A是等角形,B是等边形,C是正规图形,D是长方形,E是正方形。从这些词项,没有什么东西可被合成而与其不同,因为,等角等边形同于正规图形,等角形在长方形的内涵之中,等边长方形又和正方形相同。所以,正规的等边形它相同于正规图形和正规等边形的合成,等角的长方形则是长方形,正规的长方形是正方形。
命题24的注释:
若RS和YX不同,的确分离,其中的每一个都不在另一个之中,那么设RS⊕YX=RX,并且,RS⊕RX将是和YX⊕RX相同。因为直线RX总是用一个概念的进程来合成。如果A是平行四边形,并且B是等角形,它们是分离的词项-设C是A⊕B,那就是长方形。那么,长方形的平行四边形等同于等角的长方形,这些词项中的每一个都与长方形没有什么差别。一般而言,若马菲斯是A,提提斯是B,这两个人合成了一个对偶C,那么把提提斯加进这个对偶就等同于把马菲斯加进这个对偶,因为每一种情形我们都没有給对偶加进什么东西。这个问题的另一种解决办法,一个更优雅但却更少普遍性的方法可以这样安排,若A和B有共同的某种东西,这个共同的词项被给定,并且,词项A和B的每一个都被特指也被给定。因为假设排除了A是M,也排除了B是N,设M⊕N=D,再设A与B共同的部分为P。那么我肯定,A⊕D=B⊕D,因为既然A=P⊕M和B=P⊕N,我们就有A⊕D=P⊕M,也有B⊕D=P⊕M⊕N。
这个以两词项为基础生成合成词项的方式,虽然没有发现什么新东西,似乎是在揭示符号组合的某种神秘。也只能先理解到此了,你得继续前行,暂且把神秘和困惑搁置一旁,也许,全部手稿浏览完毕,你能从这些命题的解读当中,悟出某种东西的。2019/12/19