我把这样的表达式叫做在我们的基础上是不能判定的。
不能判定的表达式在亚里士多德逻辑中可以是真的也可以是假的。
当然,表达式CIabCNAab
Aba是假的。
…… 156
41第五章 判定问题
为了在这个基础上解决判定问题,有两个问题必须解决。
第一个问题是:不能判定的表达式的数目是有穷的呢还是不是有穷的?
如果它是有穷的,判定问题是容易解决的:我们可以承认真表达式为新的断定公理,而作为公理排斥假的表达式。
然而,当不可断定的表达式的数目不是有穷的时候,这个方法是不能应用的。
我们不能断定或排斥无穷多的公理。
第二个问题在这个情况下提出:是否可能补足我们的公理和规则系统以便使得我们能够判定一个给定的表达式是不是应当被断定或排斥?
这两个问题均已由斯卢派斯基解决了:第一个问题的解决是否定的,办法是表明在我们的基础上的不可判定的表达式的数目不是有穷的;第二个问题的解决是肯定的,办法是加上一条新的排斥规则①。
我从第一个问题开始。
每一个传统逻辑的学生都熟悉用欧拉圈来解释三段论:根据这个解释,词项变项a,b,c,都用圆圈表示,前提Aab当且仅当圆圈a或等同于圆圈b或包含于圆圈b的时候才是真的,前提Iab当且仅当圆圈a与b有着共同的部分时,才是真的。
从而,前提Eab,作为Iab的否定,当且仅当圆圈a与b没有任何共同部分,亦即它们彼此排斥时,才是真的。
所以,如果a与b是等同的,Iab是真的而Eab是假的。
现在,我将研究有关这个圆圈的数目的种种假定。
这个圆
①见第95页注①所引斯卢派斯基的论文。
我曾试图简化作者的论证,以便使得它们为未曾受过数学思维训练的读者们所理解。
当然,对于斯卢派斯基的观念的以后的解释是要由我独自负责的。
…… 157
29。不能判定的表达式的数目A 541
圈的数目设定为我们的“论域”
,亦即我们解释的领域。
很明显,我们的基础的规则贯穿全部的解释仍然是正确的。
如果我们的论域包含着三个圆圈或者更多一些,四条断定的公理当然都被确证,而这个作为公理的排斥的表达式
P59。
CKAcbAabIac被排斥,因为能够画出两个彼此排斥的圆圈c和a都包含于第三个圆圈b之中。
前提Acb与Aab因而都真,而结论Iac是假的。
表达式
P59aCKEcbEabIac也被排斥了。
因为我们能够画三个圆圈每一个都与其它两个排斥,因而前提Ecb与Eab都是真的而结论Iac是假的。
所以,这个解释满足我们的基础的条件,而且所有我们的其它解释亦复如此。
现在让我们假定我们的论域只包括三个圆圈而没有更多的,并且让我们考虑以下的表达式:(F3)CEabCEacCEadCEbcCEbdIcd。
这个表达式包含四个不同的变项,但它们每一个只能取三个值,因为我们只能画三个不同的圆圈。
无论用什么方式以这三个值来替代变项,两个变项总必定要接受同一个值,也即是必须等同。
但如果某一对变项,a与b,或a与c或a与d,或b与c,或b与d,含有等同的元素,则相应的那个E前提就成为假的,而整个的蕴涵式,即表达式(F3)
,就被确证了;并且如果最后一对变项,c与d,有等同的元素,则结论Icd就成为真的,而整个蕴涵式也被确证了。
在只能画三个圆圈的条件下,表达式(F3)
是真的并且不能用我们的排斥的公理和规
…… 158
641第五章 判定问题
则加以反驳。
然而,如果我们假定我们的论域含有多于三个的圆圈,那么,我们可以画四个圆圈,它们每一个排斥其它三个,于是(F3)成为假的。
所以(F3)不能被我们的判定的公理和规则证明,由于用我们的公理和规则系统,(F3)既不能被证明,也不能被反驳,所以它是一个不可判定的表达式。
现在让我们考虑一个表达式,它有着这个形式(F4)Cα1Cα2Cα3,Cαnβ包含n个不同的变项:
a1,a2,a3,…,an
并且让我们假定:(1)
(F4)的每一个前件,都是Eaiaj型的,ai不同于aj;(2)后件β是Iakal型的,ak不同于al;(3)所有可能的不同变项的偶都出现在(F4)中。
如果我们的论域只含有(n—1)个圆圈,(F4)就被确证了,因为某两个变项必须是等同的,并且或者前件之一成为假的,或者后件是真的。
但如果我们的论域包含多于(n—1)
个圆圈,(F4)
就不能确证,因为可以画出几个圆圈,每一个都排斥其余的,使得所有前件成为真的,而后件是假的,所以(F4)是一个不能判定的表达式。
这样的不可判定的表达式在数目上是无穷的,因为n可以是任何正整数。
很明显,在亚里士多德逻辑中它们都是假的,并且应被排斥,因为我们不能把亚里士多德逻辑限制在一个有穷数的词项中,而(F4)
形式的表达式当词项数目是无穷时就被反驳了。
这个无穷数目的不可判定的表达式除非作为公理来排斥,否则是无法排斥的,这是从以下考虑得出的:(F3)不能被我们的公理和规则系统所反驳,所以必须作为公
…… 159
30。斯卢派斯基的排斥规则A 741
理加以排斥。
其次,一个包含着五个不同词项的不可判定的表达式(F4)
,我们的公理和规则系统以及与已被排斥的表达式(F3)
一起也不能予以反驳,也必须作为公理加以排斥。
对每一个(F4)
形式的其它的不可判定的表达式都可以重复这样的论证。
因为不能作为公理排斥无穷数目的表达式,我们必须寻求另外的手段,如果我们想肯定地解决判定问题的话。
30。斯卢派斯基的排斥规则A我从两个术语的说明开始:Aab,Iab,Eab,Oab类型的表达式,我称为简单的表达式;头两个是简单肯定表达式,而三、四两个是简单否定表达式。
简单表达式以及这种类型的表达式:
Cα1Cα2Cα3…
Cαn1CαnC(其中所有α都是简单表达式)
,我都称为初等表达式。
斯卢派斯基排斥规则可以借助于这个术语陈述如下:如果α和β都是简单否定表达式并且γ是一个初等表达式,那么,如果Cαγ与Cβγ都被排斥,则CαCβγ必定也被排斥。
斯卢派斯基排斥规则与传统逻辑的下列元逻辑原则(metalo-gical
principle)
有密切联系:“utraque
si
praeCmisa
neget,nil
inde
sequetur。“
(如果两前提都是否定的,那么不能得出结论。)然而这个原则并不是十分普遍的,因为它仅仅涉及三个词项的简单三段论。
同一原则的另一公式,“exmere
negativis
nihil
sequitur,“
(“仅从否定前
…… 160
841第五章 判定问题
提不能得结论“)
,表面看来是更为普遍的,但是把它不仅用于三段论而且也用于三段论系统的其它表达式时,它却是假的。
像断定命题CEabEba或CEabOab这样的表达式明明表现出仅从否定前提可以得出某些东西。
斯卢派斯基规则是一条普遍规则,而且避免了传统
小说推荐
- 智慧人格苏格拉底 柏拉图 亚里斯多德
- 作者:向培风 1智慧人格苏格拉底 柏拉图—亚里斯多德向培风 著XIFANGZHIZHERENGECONGSHU 2目 录mulu智慧的太阳…1)苏格拉底被判死刑的街头演说家…10)初识“理性智慧…14)一、斯芬克斯之谜…15)二“公民意识…19 32智慧人格三“我们是用血、气、火来思想的吗…25)四
- 最新章:第45章
- 绯弹的亚里亚
- 第一卷 序台版 转自 阳子ようこ@轻之国度—你曾想过会有少女从天而降吗?昨天我看的电影里头有这一幕。如果是电影或漫画,这确实是个不错的开场。以这样一个不可思议又特别的序曲。让主角变成正义使者,展开一场大冒险。啊啊,所以我真希望有女孩从天上掉下来啊…如果你真这么想,那就实在太天真了。因为那种女孩绝对不
- 最新章:第577章
- 莎士比亚全集三
- 《李尔王:剧中人物李尔 不列颠国王、法兰西国王勃艮第公爵康华尔公爵奥本尼公爵肯特伯爵葛罗斯特伯爵爱德伽 葛罗斯特之子爱德蒙 葛罗斯特之庶子克伦 朝士奥斯华德 高纳里尔的管家老人 葛罗斯特的佃户医生弄人爱德蒙属下一军官考狄利娅一侍臣传令官康华尔的众仆高纳里尔里根考狄利娅 李尔之女扈从李尔之骑士、军官、
- 最新章:第105章
- 维多利亚的秘密
- 《维多利亚的秘密》作者:姑射山人1.第1章危险分子的去向在22世纪,所谓毒贩的定义已经大不相同,其中很重要的一种是出售含有生物化学知识的机器人,购买这种机器人之后,任何人都可以轻易地制造各种各样的麻醉品。今天要处决的这位就是地球上大多数制毒机器人的源头—一个破解了地球联合体科学院人为设置地对机器人智
- 最新章:第1078章
- 莎士比亚的辞海
- ╮欢迎光临︱田︱田田╬版 权 归 原 作 者【你的用户名】整理附】内容版权归作者所有—莎士比亚的辞海作者:静沐暖阳文案面对拖稿这种事,舒茺其实很想像雪姨一样拍门。你有本事当大神你有本事开门啊别躲在里面不出声我知道你在家哼!哼!然而,还没等她敲门,门就自动开了。一个凌乱着短发却依旧耀眼的男人出现在她面
- 最新章:第82章
- 坦克-前进! [德] h·古德里安
- 坦克-前进 作者[德 H·古德里安 原书出版者的话 为能完成这部著作,并以此满足亡者的夙愿“西尔德·费尔拉格”出版社特请已退休的奥斯卡·门泽尔少将协助将古德里安的资料加以整理,编辑出版。门泽尔少将同大多数的坦克兵将领一样,也出身于骑兵。他从排长到师长,走过了漫长的途程。无论是平时还是战时,他经常同古
- 最新章:前进! [德] h·古德里安-第36章
- 网王:我成了冰帝的怪物学长
- 因为一个人的穿越,导致网王世界的时间线发生了改变,两个本不在一个时间点的人碰在了一起。这一年的平等院还没长满胡子,鬼还是青涩的少年。越智月光还是半吊子的非主流。藤原十次看着这一堆问题少年,又看了看网球场上违反物理规律的比赛。好吧穿越者定律,必有金手指。不过,当他看到系统颁发的任务和奖励后,突然感觉有
- 最新章:第五十四章 青学与山吹
- 论职业道德的必要性
- !书名:论职业道德的必要性作者:三长两短备注:职业道德没讲上,她被淹死了—PS:NP文,极度YY,入坑请慎重,雷到了,作者表示不负责任谢绝扒榜、001所谓职业道德。巢弯弯一直认为干哪行就得爱行,对待自己的工作就得像春天般的温暖,还得抱上十二万分的热忱,天天在那里干得热火朝天,才不会辜负律成铭对她的赏
- 最新章:第93章
- 论语和道德经的同居日常
- 文案书灵界《论语》和《道德经》是逼格十足的大佬21世纪,孔论和李道却摇身一变,成了啥都不懂的小可怜为了重拾尊严,跟上时代的脚步,享受现代的便利,两人决定互相扶持,共同进步数月后孔论换上一身潮牌,短发墨镜,模仿年轻人一边走路一边低头看手机,结果技艺不精来了个平地摔李道犯懒,把自己原来的那身古装改了改,
- 最新章:第77章