《亚里士多德的三段论》第55章


替'代δ‘表示δ应当省略;通过这样的替代,我们就可以例如'从CδpCδNpδq得出邓斯司各脱原则CpCNpq。
替代δδ‘是W '“同一的”替代,它不引起任何变化,一般地说,我们通过对δ的替代而从一个包含δ的命题得出一个新的表达式,这种替代是对δ写上一个带有至少一个空白处的有意义的表达式,并且以δ的各个主目去填充这些空白处。
这不是一个新的替代规则,而只是对一个变项函子的替代应当如何实行的一个描述。
C—N—δ—p系统可以建立在被断定的单个公理之上,这个单个公理已为我们所熟悉:51。
CδpCδNPδq对这个系统必须加入按照公理加以排斥的表达式p以便产生所有被排斥的表达式。
麦雷狄士在一篇未发表的论文中表明,C—N—δ—p系统的所有断定的公式都可以从公理51推出。

①麦雷狄士在他的论文:《论一个命题演算的扩充系统》(On
an
ExtendCed
Systemof
the
propositional
calculus)
(载《爱尔兰皇家科学院院刊》,都柏林,1951年,54A3)中证明,C—O—δ—p演算,即以C和O作为基本词项和带有函子变项和命题变项的演算,可以从公理Cδoδp完全地建立起来。
他的证明完全性能的方法可以运用于带有表达式CδCδNpδq作为公理的C—N—δ—P系统。
在第165页注②中所提到的我那篇关于模态逻辑的论文中,我从公理51推出C—N—P系统的三个被断定的公理,即CCpqCqrCpr,CNp,CpCNpq,以及某些出现δ的重要断定命题,其中包括扩展原则。
…… 240
822第七章 模态逻辑系统
推论规则就是通常的分离规则和对命题变项和函子变项的替代规则。
为了以例子说明这些规则如何发生作用,我将从公理51推出同一律Cp。
可将这个推论与C—N—p系统中对Cp证明加以比较。

51。
δ‘,qp×53'53。
CpCNp
51。
δCpCNp‘,qNp×C53—54' '54。
CpCNpNpNpCNpNp
51。
δ‘,qNp×5' '5。
CpCNpNp
5。
pCpCNpNp×C5—56'56。
CNCpCNpNpNCpCNpNp
51。
δC“
,pCpCNpNp,qp×C54—C56—57'57。
Cp我想强调指出,在公理51之上建立的系统比C—N—p系统要丰富得多。
在包含δ的断定的结论中有这样的逻辑定律,像CCpqCqpCδpδqCδCpqCδpδqCδCpqCpδq——所有这些都是非常重要的定律,但是几乎所有的逻辑学家对它们都毫无所知。
例如,第一个定律是与CQpqCδpδq等值的扩展原则,第二个定律可以采用为称作“蕴涵”系统的唯一的公理;第三个定律可以采用为称作“实证”
逻辑的一个公理。
所有这些定律都可以用真值表方法按照下面给予的规则加以验证。
在二值逻辑中存在四个并且也只有四个带有一个主目的
①参阅第102页。
…… 241
48。
δ-定义A 92
不同函子,这里用V,S,N和F来标志(参阅真值表M6)
对验证δ-表达式,用下述实用规则是足够的,这个规则实际上应当归功于列斯涅夫斯基。
这个规则是:相继地写下函子V,S,N和F以代替δ,然后消除S,将Va变成Cp,而将Fa变成NCp。
如果你们在所有的情况下都得出一个真的C—N—公式,那末,这个表达式就被断定,否则,就应当被排斥。
例如,CδCpqCδpδq应当被断定,因为我们有CSCpqCSpSq=CCpqCpq,CNCpqCNpNq,CVCpqCVpVq=CCpCpCp,CFCpqCFpFq=CNCpCNCpNCp。
表达式CCpqCδpδq应当被排斥,因为CCpqCNpNq不是一个真的C—N—公式。
由此,我们看到,C—N—δ—P系统的所有表达式用真值表的方法都是容易加以证明或否证的。
48。
δ-定义A函子δ可以成功地运用于表达定义。
《数学原理》的作者们用一个特殊的符号表达定义,这特殊的符号由将定义项和被定义项联结起来的等号“=”
,以及放在定义之后的字母
…… 242
032第七章 模态逻辑系统
“DF”所组成。
按照这个方法,析取式的定义就可以这样来表示:CNpq。
=。
Hpq
Df,这里CNpq(“如果非p,那末q”)是定义项,而Hpq,(“或者p,或者q”)是被定义项。
①符号“。
=。
Df“是与一个特殊的推论规则联结在一起的,这个推论规则允许用被定义项代替定义项,以及反转过来。
这种定义的优点在于结果是直接给予的。
但是它却具有增加基本符号和推论规则的数目这样的缺点,而这些数目应当尽可能地减少。
列斯涅夫斯基总是将同样的定义写成一个等值式,因此,在他的系统中没有引入用以表达定义的新的基本词项。
为了这个目的,他选择了等值式作为他的命题逻辑的基本词项,这个命题逻辑借助于函子变项和量符而加以扩展,并且被他称之为“原始命题演算系统”
(protothetic)。
这正是他的观点的优越之处。
但另一方面,他不能直接用被定义项代换定义项,或者反转过来,因为等值式具有允许作出这种代换的一些特殊规则。
在我们的C—N—δ—P系统中,等值式不是基本词项;因此对它必须给以定义,但是为了避免恶的循环,它不能用等值式来下定义。
然而,我们将看到,可以用一定的方法将C和δ去表达定义,这种方法保存了上述两种观点的优点,而避免了它们的缺点。
①我通常用A表示析取,但这个符号在我的三段论中已经具有了别的意义。
…… 243
48。
δ-定义A 132
一个定义的目的在于引入一个新的词项,这个词项通常是由我们已知的词项所组成的一些复合表达式的一个简化式。
定义的两部分(定义项和被定义项)
为了产生一个合式的定义,必须满足某些条件。
下述四个条件对引入我们系统中的新的函项的定义是必要的也是充分的:(a)
不管是定义项还是被定义项,都须是命题的表达式。
(b)定义项必须由基本词项,或者由用基本词项已经定义过的词项组成。
(c)
被定义项须要包含通过定义而引入的新的词项。
(d)在定义项中所出现的任何自由变项,必须在被定义项中也出现,反过来也是一样。
容易看到,例如作为定义项的CNpq和作为被定义项的Hpq就遵守了上述四个条件。
我们现在以p和R标志满足(a)—(d)的条件的两个表达式,因此,其中之一(究竟是哪一个,这没有关系)可以取作定义项,而另一个取作被定义项。
假定其中任何一个都不包含δ。
我认为,这个断定的表达式CδPδR就代表一个定义。
例如:58。
CδCNpqδHpq代表析取的定义。
按照58式,任何包含CNpq的表达式可以直接改变为另外一个表达式,其中CNpq被Hpq所代换。
我们可以取邓斯司各脱原则作为例子:W59。
CpCNpq,我们可以通过下述推论
小说推荐
返回首页返回目录