语句是:“Verumsequitur
ad
quodliCbet和Ad
falsumsequitur
quod-libet“
①。
就我所知,这些原则现在已经是众所周知的了。
无论如何,我们的模态系统在这一方面不会比其他的模态逻辑系统处于更坏的地位。
在某些模态逻辑系统中包含有这样非直观的公式,如:
P92。
QMNMpNMp,
①真理随便从什么东西都能推出;从谬误推出所有任意的东西。
-- 263
53。其他某些问题A 152
这里,一个或然命题“p不可能,这是可能的”与一个必然命题“p是不可能的”等值。
代替这个必须加以排斥的奇怪的公式,在我们的系统中,我们有这样的断定命题:93。
QMNMpMNp它和94。
QMMpMp一起,使我们可能将所有由M和N组成的模态函子的组合化归为四个不能再行化归的、为亚里士多德已知的组合式,即M=可能,NM=不可能,MN=不必然和NMN=必然。
第二个问题关系到将四值模态逻辑扩充到更高系统中的问题。
可以用八值系统作为例子。
我们通过将真值表M9和真值表M1相乘而得出这个系统的真值表M16。
我们规定这些成对的值作为新的真值表中的元素:(1,1)
=1,(1,0)
=2,(2,1)=3,(2,0)=4,(3,1)=5,(3,0)=6,(0,1)=7,(0,0)=0,另外按照(y)
,(z)和(α)这些等式规定C,N和M的真值。
-- 264
252第七章 模态逻辑系统
数字1象通常一样,标志真,0标志假,而其他的数字则是真和假之间的中间值。
如果我们注意考察真值表M16,我们就会发现,C栏的第二行与M栏是相同的。
这一行因而代表可能性的真值表。
同样,C的其余各行,除了第一行与最后一行以外,都代表某种可能性。
如果我们用M2到M7去标志它们,我们就能肯定:当2≤i≤7时,Mi满足可能性的全部公理,即:95。
CpMip,P96。
CMip,P97。
Mip。
在这些不同种类的可能性中,有某些“较强一些”和某些“较弱一些”
,因为我们有,例如:CM2pM4p或者,CM3pM6p,但是不能反转过来。
所以,我们可以说,在八值模态逻辑中存在各种等级的可能性。
我总是认为,只有两个模态系统可能具有哲学和科学的重要性:最简单的模态系统,其中可能性看作不具有等级,这就是我们的四值模态系统,和值系统,其中有无限多的可能性的等级。
进一步研究这个问题将是有趣的,因为我们可能在这里发现模态逻辑和概率论之间的联系环节。
-- 265
第八章 亚里士多德的模态三段论
我认为,亚里士多德的模态三段论跟他的实然三段论或者他在模态命题逻辑方面的贡献相比,意义要小得多。
这系统看来好似一个逻辑练习,它虽然表面上很精密,却充满了粗心的错误,并且对科学问题没有任何适用之处。
虽然如此,在这个三段论中却有两个争论问题主要由于历史的原因而有研究的价值,这就是关于带有一个实然前提和一个必然前提的三段论问题,和关于带有偶然前提的三段论问题。
54。有两个必然前提的各式A亚里士多德是模仿他的实然三段论的样子来论述模态三段论的。
三段论划分为各种格和式,有些式被当作完全的式,这些式作为自明的而无需证明;不完全的式则通过换位法,归谬法或者通过所谓“显示法”
而得到证明。
不正确的式则通过用具体词项加以说明的方法而予以排斥。
奇怪的是,只有一个例外,亚里士多德没有使用他的模态命题逻辑的定理。
我们将看到,在某些情况下这会得出比他所作的证明更好并且更简单的证明。
必然命题的换位律和实然命题的换位律相类似。
下述一些命题因此是真的:“如果必然任何b都不是a,那么必然任
-- 266
452第八章 亚里士多德的模态三段论
何a都不是b“
,用符号表达:98。
CLEbaLEab,和“如果必然所有的b或者有些b是a,那末必然有些a是b”
,用符号表达:9。
CLAbaLIab和10。
CLIbaLIab①。
亚里士多德所作的证明是不能令人满意的②。
他没有注意到,定律98—10可以从实然三段论类似的定律借助于定理18直接推出。
18。
CpqCLpLq。
例如,从18式,用Eba替代p,用Eab替代q,我们在前件中得出实然的换位律,由此我们可以分离出它的后件,即定律98。
按照亚里士多德的意见,带有两个必然前提的三段论,除了对前提和结论都必须加上必然性记号以外,其余跟实然三段论都相同③。
因此,关于Barbara式的公式将表述为:101。
CKLAbaLAcbLAca。
亚里士多德默然承认了,第一格的各式是完全的并且是不需
①《前分析篇》,i。
3,25a29“……如果A必然不属于任何B,那末,B必然也不属于任何A。”
25a32,“如果A必然属于所有的或有些B,那末,B也必然属于有些A。”
②参阅A。贝克尔,《亚里士多德的可能性推论的学说》,第90页。
③《前分析篇》,i。
8,29a35,“必然〔属于〕跟属于的情形几乎完全一样,因为,在〔前提中〕‘属于’和‘必然属于或不属于’对词项位置相同的情况下,得出和不得出的三段论仅仅具有这样的区别:给词项加上‘必然属于’或者‘必然不属于’”。
-- 267
5。有一个必然前提和一个实然前提的各式A 552
要证明的。
其他各格的各种式是不完全的,除了Baroco和
Bocardo式以外,都需要按照对实然三段论的证明方法予以证明。
Baroco和Bocardo两个式在实然三段论中是用归谬法证明的,而这里须要用显示法加以证明①。
我们再一次指出:对所有这些证明,运用定理18要容易得多,这将在以后的例子中看出。
通过输出律和输入律CCKpqrCpCqr和CCpCqrCKpqr,可以表明15式,即实然的Barbara式与公式102。
CAba
CAcbAca,等值。
这个纯粹的蕴涵形式比合取形式更便于推出结论。
按照断定命题3。
CLp,我们有:103。
CLAbaAba,而从103和102借助于假言三段论,我们得出:104。
CtAbaCAcbAca。
而另一方面,由于替代18式的结果,我们有105。
CAcbAcaCLAcbLAca,而从104和105推出结论:106。
CLAbaCLAcbLAca它与101等值。
所有其余的带有两个必然前提的三段论的各式都可以用这样的方法加以证明,而不需要新的公理、换位律、归谬法,或者使用显示法的论证。
①《前分析篇》,i。
8,30a3—14。
-- 268
652第八章 亚里士多德的模态三段论
5。有一个必然前提和一个实然前提的各式①A对带有一个必然前提和一个实然前提的第一格的三段论各式,亚里士多德是按照哪一个前提(大前提还是小前提)
是必然前提而分别加以论述的。