莱布尼兹逻辑加命题22-24解读 逻辑与算法之十七

莱布尼兹逻辑加命题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.）

6. 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