亚里士多德划分格的二分法

亚里士多德划分格的二分法

亚里士多德逻辑是什么逻辑？现在的一些主要观点是基于数学逻辑理论的。虽然有点不同，但假定亚里士多德逻辑是一阶逻辑的一个子逻辑。从技术的观点看这个结论没有错。但是为什么会有这样一个子逻辑,这个逻辑的思想和理论基础是什么,仍然需要回答。特别地,亚里士多德逻辑是逻辑学的开端,这个问题的探讨也就更为重要。对此我们认为,亚里士多德逻辑是一种什么逻辑,应该回到亚里士多德的概念理论来考察。亚里士多德概念理论内容丰富,作为其逻辑基础的部分是划分理论。亚里士多德逻辑是建立在他的划分理论基础上的。1亚里士多德的分类论考察亚里士多德的划分理论应该从柏拉图开始。历史上首先由柏拉图提出了二分法。柏拉图的二分法是下定义的方法。为了获得“钓鱼人”的定义,先将人分为“有技艺的”和“没有技艺但有别的能力的”,可以知道钓鱼人属于前者;再将“有技艺的”分为“创造的技艺”和“获取的技艺”,可以知道钓鱼人属于后者;接下来继续将“获取的技艺”分为两种……依此类推,直到得到“钓鱼人”的类为止。((1)根据生物学分类,将二分改为多分,事实上提出了生物学分类树。亚里士多德认为,柏拉图二分法不适于生物学分类,因为“正确的办法是按类来了解动物,按照大多数人的方式,他们是根据很多特点而不是按二分法来分类”。(亚里士多德年少时曾经当过医师学徒。柏拉图去世后,又曾在小亚细亚地区进行较长时间的生物学研究。恩斯特·迈尔(ErnstMayr)说,“他是将生物学分门别类的第一个人。……虽然他没有提出正式的分类(法),但是他按一定的标准对动物进行了分类,而且他对无脊椎动物的分类比两千年后林奈的分类更合理。”((i)根据物种的诸多特点分类,每一种类都是通过多种差异系列界定的;(iii)必须根据事物的实体或本性进行划分,而不能仅仅根据事物的属性。由(iii)可知,与现代生物学不同,亚里士多德认为对事物的划分需要依赖本质属性。其中,“本质特性被设定为与其他所有事物相关且又使一事物区别于其他所有事物的东西;例如,能够获得知识的那种有死的动物就是人的本质特性”。((2)将柏拉图正反二分法加以改造,提出正负二分法。传统逻辑将概念按外延关系分为五种,其中的全异关系(外延不相交关系)又分为矛盾关系和反对关系。矛盾关系和反对关系实际上都是三个概念之间的关系:相对于C来说,如果A和B的外延之和等于C的外延,A和B就是矛盾关系,否则就是反对关系。(柏拉图的二分法中的两个概念是反对关系,不是矛盾关系。比如在“钓鱼人”的例子中,他将打渔分为两个主要类别,一种用网捕,一种靠打击(亚里士多德对柏拉图二分法加以改造,提出具有矛盾关系的二分法。他在《工具论》中举例说明划分时,先将“动物”分为“有朽的”和“不朽的”,又将“有朽的动物”分为“有足的”和“无足的”。这是有明确论域概念的划分。此外亚里士多德还提出了“人”和“非人”,以及“白色木头”和“非白色木头”这样的划分。尽管这两个划分的论域概念是什么并不明确,但“非”表明由此得到的划分一定是矛盾关系。因为是矛盾关系,有别于柏拉图的正反二分法,在此我们将亚里士多德的这种二分法称为“正负二分法”。为方便,以下将通过正负二分得到的两个类分别称为“正类”和“负类”。亚里士多德正负二分法的提出非常重要,其重要性之一在于提出了负类。对比生物学分类法,生物学分类的特点是,分类树必须与现实世界相符合,一个属之下有哪些种取决于实际情况,树中不能有那些在物种意义上不存在的类。用正负类的观点看,树中类首先必须是正类,而不能有负类,比如“非人”,其次还要看是否有相应的物种对此我们认为,正负二分实际上是思想上的划分,负类是思想类,相对于正类而言,具有否定因素。正是因为有了负类的否定性,同时也使得正类也具有了肯定性。由于正类和负类的这种矛盾关系,使得一旦有B作为正类是A的某个子类,在思想上也就相应地有负类(B的补)形成的逻辑二分,而不论这个负类是什么。因此可以说,生物学分类是关于世界的科学分类,正负二分是对思想类的逻辑划分。亚里士多德正负二分法暗含了肯定、否定,甚至真、假等因素,这些都是逻辑学的基本要素。亚里士多德是逻辑学的创始人,正是从这里开始,有了逻辑学的起步。2亚里士多德划分格的结构按现代逻辑方法,一个逻辑可以从语形和语义两个方面加以刻画,因此一个逻辑也可以从语形和语义两个方面加以考察。本文的重点是从语义方面考察亚里士多德逻辑。从划分理论出发就是语义的视角,基于亚里士多德的划分理论为亚里士多德逻辑构建语义结构和模型。从这方面看,如果要为亚里士多德逻辑提供语义结构和模型,那么这些语义装置应该能够处理亚里士多德所讨论的各种推理的例子。从亚里士多德分类树开始。如果把亚里士多德分类树(T同样,按亚里士多德三段论的例子,其中还有一些涉及到负词项的推理。负词项是表示负类的词项。基于亚里士多德正负二分法,对任意的正类,都有相应的负类。于是还需要对(T按代数理论,亚里士多德划分格就是有补分配格。所以要这么命名,在于强调这种结构与亚里士多德划分理论的关系。从柏拉图二分法,到亚里士多德分类树、正负二分法,再到这种有补分配格,“亚里士多德划分格”,带有这个理论发展过程的意味,是思想脉络的体现。亚里士多德时代还没有代数理论,他也不可能对这样的数学结构有明确的把握,但是从他讨论的问题看,事实上已经在面对这样一些相对具体或更为抽象的数学结构。基于亚里士多德划分格可以看出亚里士多德理论关于负词项的一些问题。在语言中表示负类的词项是负词项。亚里士多德关于负类的讨论很大程度上依赖于对负词项的分析。亚里士多德在《解释篇》中提到了“非人(notman)”,将其称为不定名词(indefinitename)亚里士多德还结合句子讨论了负词项。他指出表达式“不是这样”(nottobethis)和“是不–这样”(tobenot-this)在意思上是不同的。比如,“它是非白色木头”与“它不是白色木头”这两个命题不能同时适于同一主体。如果它是非白色木头,它一定是木头,但不是白色木头的东西却不必然是木头(·x是非白色木头,其中“非白色木头”按“(非白色)木头”理解,于是x还是木头。·x不是白色木头,x是白色木头以外的东西,于是x是“非(白色木头)”中的东西。从亚里士多德划分格(℘(D),⊆)看,白色木头∪(非白色)木头=木头⊆D,而对非(白色木头)来说,只能有,白色木头∪非(白色木头)=D。这表明,负词项总是带有论域的。(非白色)木头以木头为论域,非(白色木头)以全域D为论域。一个负词项如果以D为论域,以下称为全域上的负词项;如果以D的真子集为论域,则称为相对论域负词项。负词项论域的问题带来了换质法推理3有补分配格的其他形式语言语言L符号:(1)逻辑常项:A,E,I,O;(2)词项变元集;(3)负词项算子:词项:(1)词项变元都是词项;(2)若x是词项,则x词项变元集记作Tm;词项的集合记作Term。语法符号x,y,z,...表示任意的词项变元,x,y,z,...表示任意的词项。公式φ::=Axy|Exy|Ixy|Oxy公式中在前的项叫作主项,在后的项叫作谓项。(1)Axy与Oxy为矛盾关系,Exy与Ixy为矛盾关系。(2)如果φ与ψ为矛盾关系,则称φ为ψ的矛盾公式,ψ为φ的矛盾公式。φ的矛盾公式记为∼φ。注意∼是语法符号,不是对象语言符号。例如,∼Axy就是Oxy,前者可看作后者为行文方便而采用的另一种记法。根据布尔代数理论,任给非空集D,都可以得到一个有补分配格(℘(D),⊆),即一个布尔代数,其等价形式为幂集代数(℘(D),定义2.设A(1)v称为A(2)V称为(℘(D),⊆)上的赋值,如果V是Term到℘(D)-{D,∅}的映射:对任意的项x∈Term,–如果x∈Tm,则V(x)=v(x);–如果x=y命题1.设x∈Term是任意词项。对结构上的任意赋值V,V(x证明.如果x∈Tm,不妨设x=x,根据定义,有V(x根据命题1,对任意的代数A定义3.一个模型是一个二元组(A定义4.设M=(A(2)M|=Exy,当且仅当,V(x)∩V(y)=∅;定义5.设Γ是任意的公式集。M|=Γ,当且仅当,对任意φ∈Γ,M|=φ。定义6.设Γ,φ分别是任意的公式集和公式。φ是Γ的语义后承,记作Γ|=φ,当且仅当,对任意模型M,如果M|=Γ则M|=φ。定义7.设φ是任意公式。φ是有效的,当且仅当,对任意模型M,都有M|=φ。4存在的有限算子公理初始规则定义8.设Γ是任意公式集,φ,ψ是任意公式。称从Γ可推演φ,记作Γ⊢φ,若(2)存在公式ψ,使得Γ∪{∼φ}⊢ψ且Γ∪{∼φ}⊢∼ψ。定理1.Γ⊢φ,当且仅当,存在Γ的有限子集Γ(1)若可推演关系如定义8-(1)定义,那么显然,Γ⊢φ,当且仅当,存在Γ的有限子集Γ(2)若可推演关系如定义8-(2)定义,那么:–如果Γ⊢φ,则存在ψ,使得Γ∪{∼φ}⊢ψ且Γ∪{∼φ}⊢∼ψ。由归纳假设知,存在Γ∪{∼φ}的有限子集Γ–如果存在Γ的有限子集Γ定理2.如果φ∈Φ,则Φ⊢φ。证明略。定义9.φ命题2.AS有以下定理及导出规则:证明.以下证明几个有代表性的定理及规则。由推演定义知,Axy⊢Axy。因此,存在导出规则Axy/Axy。由推演定义知,Axy⊢Ixy。因此,存在导出规则Axy/Ixy。由推演定义知,Axy⊢Exy由推演定义知,Axy证明.以下证明其中几个有代表性的规则。由推演定义知,Azy,Izx⊢Ixy。因此,存在三段论规则Azy,Izx/Ixy。由推演定义知,Eyz,Axz⊢Oxy。因此,存在三段论规则Eyz,Axz/Oxy。传统逻辑中三段论四个格共24个正确的式全部可以得到证明。5任意公式集都是“含证据”集,如果定理3.如果Γ⊢φ,那么Γ|=φ。(1)若存在公式序列φ·若φ∈Γ,显然M|=φ。·若φ是公理,(i)如果φ=Axx:显然V(x)=V(x),故有V(x)⊆V(x),由定义4知,M|=Axx,即M|=φ;(ii)如果φ=Axx(iii)如果φ=Ax(iv)如果φ=Exx·若φ是由φ·若φ是由φ·若φ是由φ·若φ是由φ·若φ是由φ·若φ是由φ(2)若φ是由定义8-(2)得到的,则存在ψ,使得Γ∪{∼φ}⊢ψ且Γ∪{∼φ}⊢∼ψ。假设综上可知,M|=φ。因此,Γ|=φ。定义10.Φ是一致的,当且仅当,不存在公式φ,使得Φ⊢φ且Φ⊢∼φ。证明.假设Γ∪{∼φ}是不一致的,那么存在公式ψ,使得Γ∪{∼φ}⊢ψ且Γ∪{∼φ}⊢∼ψ。由定义8-(2)可得Γ⊢φ,与Γ̸⊢φ矛盾。定理5.Φ不一致,当且仅当,存在Φ的一个有限子集Ψ,使得Ψ不一致。证明.设存在Ψ⊆Φ使得Ψ不一致,则存在公式φ使得Ψ⊢φ且Ψ⊢∼φ。由定理1知,Φ⊢φ且Φ⊢∼φ,故Φ不一致。反之,若Φ不一致,则存在公式φ使得Φ⊢φ且Φ⊢∼φ。由定理1知,存在Φ的有限子集Ψ,使得Ψ⊢φ且Ψ⊢∼φ,故Ψ不一致。定义11.Φ是极大一致的,当且仅当,Φ是一致的,并且对任意公式φ,若φ̸∈Φ,则Φ∪{φ}是不一致的。定理6.Φ是极大一致集,则φ∈Φ当且仅当Φ⊢φ。证明略。定理7.设Φ是极大一致集,则φ∈Φ当且仅当证明.若φ∈Φ,假设∼φ∈Φ,则Φ⊢φ且Φ⊢∼φ,与Φ是一致的矛盾。若定理8.对任意公式集Φ,若Φ是一致的,则存在公式集Φ证明.令∆={Ψ|Φ⊆Ψ⊆Form(L),且Ψ一致}。由Φ是一致的可知,Φ∈∆,故∆非空。设B是∆中的一个非空链,令Ψ定义12.设Φ是任意公式集,T(Φ)={x|x是在Φ中出现的词项}。对任意项x,x是Φ的原子项,当且仅当,x∈T(Φ),且任给y∈T(Φ),如果Φ⊢Ayx,则y=x。Φ的所有原子项的集合记作AT(Φ)。定义13.任意公式集Φ称“包含证据”集,当且仅当,(1)对任意Ixy型公式,如果Φ⊢Ixy,则存在z∈AT(Φ)使得Φ⊢Azx且Φ⊢Azy;(2)对任意Oxy型公式,如果Φ⊢Oxy,则存在z引理1.任意一致集都可以扩充为“包含证据”的一致集。证明.任给一致的公式集Φ,(1)对每个形如Ixy的公式,引进一个Φ中未出现过的全新词项变元z引理2.任意极大一致集都是“包含证据”集。证明.假设极大一致集Φ不是“包含证据”集。由于Φ是一致的,由引理1,可以将Φ扩充为“包含证据”的一致集Ψ。由于Φ是极大一致的且Φ⊂Ψ,故Ψ不再一致,矛盾。引理3.设Φ是极大一致集。对任意项x∈T(Φ),都存在原子项y∈AT(Φ),使得Φ⊢Ayx。证明.已证Ixx是定理,显然,Φ⊢Ixx。由引理2知,Φ是“包含证据”集,所以存在y∈AT(Φ)使得Φ⊢Ayx。引理4.设Φ是极大一致集。对任意项x∈T(Φ)和原子项y∈AT(Φ),Φ⊢Ayx当且仅当Φ̸⊢/Ayx证明.设Φ⊢Ayx,假设Φ⊢Ayx设Φ̸⊢/Ayx定义14.设Φ是极大一致集,则幂集代数(℘(AT(Φ)),∩,∪,引理5.设(℘(AT(Φ)),∩,∪,证明.证明V(ii)证(2)若x=y定义15.设Φ是极大一致集,(℘(AT(Φ)),∩,∪,定理9.如果Φ是一致的,那么Φ是可满足的。证明.由定理8知,Φ可以扩展成极大一致集Φ考虑典范模型M(1)φ形如Axy:V(2)φ形如Exy:假设(3)φ形如Ixy:根据引理2知,Φ(4)φ形如Oxy:根据引理2知,Φ综上,任给公式φ∈Φ定理10.如果Γ|=φ,那么Γ⊢φ。证明.反证法。假设Γ̸⊢/φ,由定理4可知,Γ∪{∼φ}是一致的。再由定理9知,Γ∪{∼φ}是可满足的。即存在模型M,使得M|=Γ且M|=∼φ,这与Γ|=φ矛盾。6对于“多系统”的研究亚里士多德三段论有鲜明和几乎完美的形式特征,自成一体,所以长期以来,人们对于亚里士多德逻辑的看法主要聚焦于三段论。逻辑学的产生也以三段论的提出为标志。在《工具论》中,按照亚里士多德本人的说法,这个逻辑共有3个格,14个正确的式,每个式由三个句子组成,涉及三个词项,并且每个句子都是主谓句。亚里士多德之后,传统逻辑的研究者在此基础上增加了第4个格,并补全了前两个格中的弱式,共得24个正确的式。形成了传统逻辑中的三段论。数理逻辑产生后,逻辑学的视野得到了突变式的提升,逻辑学家在数理逻辑的理论和技术的基础上对三段论开展了新式研究,提出了多种有关的成果和看法。首先是从演算的视角出发,对亚里士多德三段论的形式化的公理系统研究。从亚里士多德开始,就认为他的三段论可以以AAA-1和EAE-1作为公理推出其他正确格式,并给出了一定意义上的证明。尽管亚里士多德的公理化并不是严格意义上的公理化,人们普遍认为《工具论》中已经存在公理化的思想。严格意义上三段论公理化的研究是在数理逻辑产生之后。许多逻辑学家以数理逻辑的理论和技术研究三段论,建立了相应的形式化系统。在这一方面,卢卡希维茨最早给出了一个刻画三段论的公理系统,这个系统中可以推出三段论所有的正确的式(其次是从语义的视角出发的研究。对此德国逻辑学家肖尔兹(HeinrichScholz)认为亚里士多德逻辑是一种类的逻辑。(另外还有综合系统和语义的研究,以符合亚里士多德原意为标准。在这方面,JohnCorcoran([2,3])和TimothyJ.Smiley([7])等人的研究似乎更接近亚氏三段论的原意。从系统的角度来看,他们认为亚氏三段论逻辑本身就是根本的,不预设其他逻辑。Corcoran和Smiley各自独立地给出了相应的自然推演系统。从语义的视角来看,他们接受肖尔兹、塔斯基等的主张,认为亚氏三段论是关于类的逻辑,并且给出了简单的语义解释,证明了系统的完全性和可靠性。以上这些研究各有优劣,从不同的侧面解释了亚里士多德的逻辑。从技术的观点看,基于数理逻辑的研究都可以得出亚里士多德逻辑是一阶逻辑的子逻辑这个结论。这个结论虽然并没有错,但是没有说明亚里士多德逻辑的特点,也不能揭示亚里士多德逻辑的思想和理论渊源。本文从亚里士多德划分理论开始,对亚里士多德逻辑进行了进一步探讨。在形式系统方面,用尽量接近亚里士多德逻辑原本所用的语言,给出形式系统AS。在语义学方面,用划分理论解释亚里士多德逻辑的思想来源。从柏拉图二分法到亚里士多德分类树、亚里士多德正负二分法,然后提出亚里士多德划分格的概念,最后以亚里士多德划分格为模型,证明了AS的可靠性和完全性,从而说明了亚里士多德逻辑是亚里士多德划分格上的逻辑。亚里士多德划分格以自然类树为基底,带有自然类树的特征,由此带来了亚里士多德逻辑的特点。例如,亚里士多德作为三段论公理的AAA-1和EAE-1,可以分别理解为,枝上节点种属关系具有传递性,以及不同枝的种属关系不窜枝。再如,自然类树上要求各自然类存在,这导致了亚里士多德逻辑要求主项非空。不过,亚里士多德划分格并不仅仅限于自然类树。从自然界中看出自然类的树(T因为主谓句句式的特点,三段论具有格和式这种特殊的形式。三段论的格具有简明、“对仗工整”的特点,长期以来为人们所关注。因此,研究者们对于亚里士多德逻辑的研究也主要集中在三段论上,热衷于讨论三段论究竟应该是几个格几个正确的式,怎样才是亚里士多德的原意,而对于直接推理都有不同程度的忽略。其实从亚里士多德划分格看,直接推理和三段论推理是一个整体,相应的逻辑律都是划分格模型上保真的规则。因此,亚里士多德逻辑既包含三段论,也包含二段论(直接推理)。从推演序列看,二段、三段都是“归纳基始”:任意有穷长序列都可以归约为二段、三段推理。我们可以对这些规则通过增加各种条件,如大项、小项和中项的相对位置等,得到14、24或36个正确形式,但这些不过是根据不同的语形限制确定了不同的规则集,从本质上说,它们都是同一个逻辑的子部分。综上所述,对于“亚里士多德逻辑”可以有以下几种理解:亚氏逻辑1亚里士多德本人给出的逻辑。直接推理:换位法;三段论:三个格,14个正确的式。亚氏逻辑2传统逻辑的补充后的逻辑。直接推理:换位法,换质法;三段论:四个格(原有三个格+第四格),24个正确的式。亚氏逻辑3基于数理逻辑理解的亚里士多德逻辑。亚里士多德逻辑是一阶逻辑的子逻辑。亚氏逻辑4基于亚里士多德概念理论理解的亚里士多德逻辑。亚里士多德逻辑是亚氏划分格上的逻辑。从技术的角度看,亚里士多德划分格与幂集代数无异,因此在这一点上“亚氏逻辑4”与“亚氏逻辑3”的理解相同。但是,“亚里士多德划分格”显示了亚里士多德逻辑的思想来源,并且更具体地说明了这是一个什么“子逻辑”。7亚里士多德逻辑的提出亚里士多德说:“首先,我们必须阐明探究的主题以及探究的内容:主题是证明,内容是对证明的理解。我们首先要说明我们研究的对象以及这种研究属于什么科学:它所研究的对象是证明,它归属于证明的科学。”(亚里士多德时代的科学是早期科学,其中一项重要的内容是生物分类学。亚里士多德在自己的动植物分类研究中修改了柏拉图二分法,提出了亚里士多德分类树。对柏拉图二分法更重要的提升是,相对于柏