莱布尼兹普遍演算的定义注释--逻辑与算法之十八

莱布尼兹普遍演算的定义注释–逻辑与算法之十八

证明完了24个命题，在片断20的最后部分，莱布尼兹对于他的演算中提到的定义和公理给出了一大段注释。首先注释的是片断20给出的定义3，4，5，6。

这非常自然，因为在莱布尼兹《关于物和词之间联系的对话》一文中，他对定义有过一段简短的论述：“一切证明的基础是定义。”（见《莱布尼兹自然哲学著作选》第19页）。

然后，他就给普遍演算中两个公理也做了注释。因为篇幅足够长，还是分作两部分理解为好，本篇先来消化注释中的定义部分。莱氏先把定义看作一个整体来综合注释，然后再分别讨论这些定义的不同情形。

开始理解这些莱氏定义的注释之前，先简略给出莱氏定义的对象。

定义3：包含contain的定义

定义4：逻辑加的定义，合成的定义

定义5：属下subalternate的定义，也可以理解为包含于定义

定义6：分离disparate的定义，可能等同于今天的全异关系，但似乎比今天的全异关系要宽泛一些，也许有共同部分，但不是全部相同，似乎也可以看成是分离的一种。

莱布尼兹的定义注释，把我们对普遍演算的理解先带到了两对古典逻辑范畴，首先是属和种的范畴，然后是主项和谓项的范畴。

先看属和种。莱氏认为，种的概念（genus）在属的概念（species）之中，当我们谈及概念一词的时候，这个概念大概是就词项自身的内涵而言的。所以，其后就有谓词的概念在主词的概念之中。这里的主谓词关系也是指的词项间的内涵关系，而非外延关系。而属的个体在种的个体之中，种是属整体中的一部分，这似乎又告诉我们，当我们谈及种属所涉及到的个体的时候，这大概是就词项的外延而言的。但莱布尼兹的逻辑加，似乎是一种超越外延范畴的逻辑运算。

在这个注释中，莱布尼兹又提到了连续的continuous这个词。一个词项是连续的，可以借助“线段”来理解。在一条线段中有无数个点，虽然点并不属于线的一部分，但是“点”却是一条线段中最后的，不可再划分的元素。

有了这个铺垫，开始了对于“包含”的理解。

一、内涵的包含和超越外延范畴的包含

1）内涵的包含

谓词的概念在主词的概念之中，一般而言，这里的概念属于最宽泛的应用，即这是内涵关系的应用。因而，谓词在主词之中，这是内涵的包含。莱布尼兹经常使用的例子：等边形的概念在正方形的概念之中。

2）一种超越外延范畴的包含

P20也谈到，一个词项对象处于某东西之中，也称为包含于某东西之中，或者，就在某东西之中。我们在这里不涉及一般的，相当于上述“内涵含有”的概念-我们运用某种方式，在这种方式中，那些包含在内的东西相互关联，在包含它们的东西之中关联。所以，我们的证明也覆盖那一类东西，即在分布意义上构成的某种东西，正如同把所有“种”，一起合成就构成了“属”那样。

因此，所有那些非存在物，这里的非存在物，应该指称某种词项合成的整体，并非能够在实在世界有相应的对象，因此而非存在。例如人和马的合成，构成的大概就是一个非存在物。这构成了既非“内涵”，又难以用外延来刻画的东西。莱布尼兹用容器来表示，好像还算传神，一个什么都能装的对象。或者也可以这样说，在这个容器中的各种东西，它们又在那个容器之中再构成容器内的容器。所有那些非存在物合成结果，也就被说成是容纳词项的各类容器。

二、逻辑加

于是，对这种特殊包含，即所谓容器的举例说明，就出现了对于逻辑加的解释，以上提到的合成与容器，不就是逻辑加的另一种称呼么？

如下例所示，A⊕B就被说成为构成了容器L，它包含了A，也包含了B。若A，B和L指谓了直线RS，YX，和RX，而RS⊕YX=RX。这些完成整体建构的部分，莱氏习惯称呼为共同构成件（cointegrants），特别是如果它们没有共同部分。如果它们有共同部分，那就称为共同成员，如RS和RX。如果那些被构成的东西本身也是合成的，那么就很清楚，同样的东西可用不同的方式来合成。的确，如果这个答案最后可被带到无限，合成的变体也将是无限的。所以，所有的综合和分析依赖于这里制定的原则。如果那些被含有的东西，与包含它的东西同类，那么，它们就可以称作部分，而那个容器就称作整体。

定义注释图形说明

三、属下

然而，选中的如果是两个部分，使得第三个合成构件可以被发现它也占有一部分，而且它本身又分成两部分，一部分分离，另一部分共有，那么，它们的合成就是连续的。这说明了，通过给一个概念加上小的和简单的东西就产生了另一个概念。我用下属的（或者次级的）这个名称，称呼那些东西，其中的一个在另一个之中，如同种在属中，直线RS在直线RX之中。所以属下恰好就是与包含相对应的一个关系，一个是从大到小，另一个则是从小到大。当合成的是同类对象时，自然就是外延间的关系。但是，如果合成的不是同类对象，这个属下就有点难解了。

这就把我们引到了最后一个定义：分离。

四、分离

分离，自然是指一个词项的外延，完全没有处于另一个词项的外延之中。这应该属于依据词项的外延而给出的定义。所以，以下情形就不是分离，如上图中的直线RS和YX，同属的两个种，因有共同的部分，而不是分离。完美的金属和不完美的金属应该是分离的。但需要注意的是，相同整体不同划分的成员，会有某些成员是共同的。这个时候，就不会是处于分离关系了。例如，给金属划分为完美的和不完美的两类，又划分为在“硝酸中可融化的”和“不可融化的”，那么就很清楚，在硝酸中不可融化的金属，和完美的金属是两类分离的东西。存在有完美的金属或者总是能够在烤瓶中爆炸的金属，然而在硝酸中可溶的金属，如银。另一方面，有不完美的金属，它在硝酸中是不可熔化的，如锡。

逻辑加和包含让算术的思想进入到逻辑，一个奇妙的想法。再对公理的注释有所悟，莱布尼兹的这个片断就算扎实地走了一趟。2019/12/24

TOC](这里写自定义目录标题)

欢迎使用Markdown编辑器

你好！ 这是你第一次使用 Markdown编辑器 所展示的欢迎页。如果你想学习如何使用Markdown编辑器, 可以仔细阅读这篇文章，了解一下Markdown的基本语法知识。

新的改变

我们对Markdown编辑器进行了一些功能拓展与语法支持，除了标准的Markdown编辑器功能，我们增加了如下几点新功能，帮助你用它写博客：

1. 全新的界面设计 ，将会带来全新的写作体验；
2. 在创作中心设置你喜爱的代码高亮样式，Markdown 将代码片显示选择的高亮样式 进行展示；
3. 增加了 图片拖拽 功能，你可以将本地的图片直接拖拽到编辑区域直接展示；
4. 全新的 KaTeX数学公式 语法；
5. 增加了支持甘特图的mermaid语法¹ 功能；
6. 增加了 多屏幕编辑 Markdown文章功能；
7. 增加了 焦点写作模式、预览模式、简洁写作模式、左右区域同步滚轮设置 等功能，功能按钮位于编辑区域与预览区域中间；
8. 增加了 检查列表 功能。

功能快捷键

撤销：Ctrl/Command + Z
重做：Ctrl/Command + Y
加粗：Ctrl/Command + B
斜体：Ctrl/Command + I
标题：Ctrl/Command + Shift + H
无序列表：Ctrl/Command + Shift + U
有序列表：Ctrl/Command + Shift + O
检查列表：Ctrl/Command + Shift + C
插入代码：Ctrl/Command + Shift + K
插入链接：Ctrl/Command + Shift + L
插入图片：Ctrl/Command + Shift + G
查找：Ctrl/Command + F
替换：Ctrl/Command + G

合理的创建标题，有助于目录的生成

直接输入1次#，并按下space后，将生成1级标题。
输入2次#，并按下space后，将生成2级标题。
以此类推，我们支持6级标题。有助于使用TOC语法后生成一个完美的目录。

如何改变文本的样式

强调文本 强调文本

加粗文本 加粗文本

标记文本

删除文本

引用文本

H₂O is是液体。

2¹⁰ 运算结果是 1024.

插入链接与图片

链接: link.

图片:

带尺寸的图片:

居中的图片:

居中并且带尺寸的图片:

当然，我们为了让用户更加便捷，我们增加了图片拖拽功能。

如何插入一段漂亮的代码片

去博客设置页面，选择一款你喜欢的代码片高亮样式，下面展示同样高亮的 代码片.

// An highlighted block
var foo = 'bar'