莱布尼兹普遍演算的定义注释–逻辑与算法之十八
证明完了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编辑器功能,我们增加了如下几点新功能,帮助你用它写博客:
- 全新的界面设计 ,将会带来全新的写作体验;
- 在创作中心设置你喜爱的代码高亮样式,Markdown 将代码片显示选择的高亮样式 进行展示;
- 增加了 图片拖拽 功能,你可以将本地的图片直接拖拽到编辑区域直接展示;
- 全新的 KaTeX数学公式 语法;
- 增加了支持甘特图的mermaid语法1 功能;
- 增加了 多屏幕编辑 Markdown文章功能;
- 增加了 焦点写作模式、预览模式、简洁写作模式、左右区域同步滚轮设置 等功能,功能按钮位于编辑区域与预览区域中间;
- 增加了 检查列表 功能。
功能快捷键
撤销: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
语法后生成一个完美的目录。
如何改变文本的样式
强调文本 强调文本
加粗文本 加粗文本
标记文本
删除文本
引用文本
H2O is是液体。
210 运算结果是 1024.
插入链接与图片
链接: link.
图片:
带尺寸的图片:
居中的图片:
居中并且带尺寸的图片:
当然,我们为了让用户更加便捷,我们增加了图片拖拽功能。
如何插入一段漂亮的代码片
去博客设置页面,选择一款你喜欢的代码片高亮样式,下面展示同样高亮的 代码片
.
// An highlighted block
var foo = 'bar'