弗協(xié)調(diào)認(rèn)知邏輯研究.pdf

1、中文摘要中文摘要弗協(xié)調(diào)邏輯伊種nsisteDt切g(shù)ic)誕生于上世紀(jì)60年代，它是一種不能“從矛盾推出一切”的哲學(xué)邏輯，同時(shí)它也是非經(jīng)典邏輯的一個(gè)分支。弗協(xié)調(diào)邏輯一經(jīng)產(chǎn)生就因其特異性質(zhì)引起了人們的深度關(guān)注，盡管它還有許多有待改進(jìn)的地方，但弗協(xié)調(diào)邏輯的研究結(jié)果表明，當(dāng)我們采取一定的措施，在形式系統(tǒng)中接納了一些特定的矛盾之后，邏輯世界并沒(méi)有像我們從前想象的那樣，會(huì)處于極端的混亂與無(wú)序的可怕之中。相反，正確的思維也并沒(méi)有因此而失去基本的保證，

2、邏輯世界依然是清晰的和有序的。也正因?yàn)槿绱耍T賴特才評(píng)價(jià)說(shuō)，這種邏輯是20世紀(jì)下半葉邏輯學(xué)最有意義的發(fā)展之一。出于對(duì)弗協(xié)調(diào)理論研究的需要，近二、三十年國(guó)際邏輯學(xué)界興起了對(duì)弗協(xié)調(diào)邏輯的研究。弗協(xié)調(diào)邏輯與數(shù)理邏輯、邏輯哲學(xué)以及計(jì)算機(jī)應(yīng)用的聯(lián)系緊密，自身又有著極為異常的特性，因此吸引了眾多世界各國(guó)的邏輯學(xué)家、數(shù)學(xué)家、哲學(xué)家以及計(jì)算機(jī)專家投入其中，而為眾多學(xué)者研究和推廣最多的則是巴西邏輯學(xué)家達(dá)科斯塔的弗協(xié)調(diào)邏輯烏(l毛n蕊。).該邏輯的基本措施

3、是修改否定詞的經(jīng)典涵義、限制矛盾律以及司哥特規(guī)則的作用范圍。通過(guò)這些措施，就可以在經(jīng)典命題邏輯的基礎(chǔ)上建立逐級(jí)嚴(yán)格減弱的弗協(xié)調(diào)邏輯q(1毛n城。)。在可判定的、可靠的和完全的邏輯系統(tǒng)Cn(1落n簇。)中，司哥特規(guī)則不再普遍有效，其結(jié)果就是“并非矛盾可以推出一切”。中國(guó)社會(huì)科學(xué)院的張清宇先生對(duì)島(1簇n簇“)進(jìn)行了擴(kuò)充，建立了弗協(xié)調(diào)模態(tài)命題邏輯qC(1續(xù)n。)。由于烏G尸是可靠的、完全的，并采用了GI公理模式，所以，弗協(xié)調(diào)模態(tài)命題邏輯qe

4、的可靠性和完全性的結(jié)果是相當(dāng)廣泛的，這將適用于很大一批正規(guī)的弗協(xié)調(diào)模態(tài)命題邏輯.弗協(xié)調(diào)模態(tài)邏輯島G，(1簇n。)的建立，為更廣義的弗協(xié)調(diào)模態(tài)邏輯研究莫定了堅(jiān)實(shí)基礎(chǔ)，開(kāi)拓了廣闊前景。首先，本文以弗協(xié)調(diào)命題邏輯Cu(1(n。)為基礎(chǔ)，在弗協(xié)調(diào)模態(tài)邏輯C.G，(l(n喲的框架上，把弗協(xié)調(diào)邏輯措施應(yīng)用到了屬于廣義模態(tài)的單主體認(rèn)知邏輯研究當(dāng)中。為此，本文通過(guò)對(duì)Cn(1簇n簇。)的語(yǔ)言增加二元認(rèn)知邏輯算子，再增加限制性公理以及認(rèn)知邏輯的基本公理，建

5、立了弗協(xié)調(diào)單主體認(rèn)知邏輯CnEK(1簇n。)，證明了CnEK(1簇n“)的可靠性和完全性，還給出了CnEK(1簇n。)的特有定理及其證明。這些結(jié)果也表明，矛盾擴(kuò)散的后果不會(huì)發(fā)生在AbstmCtAbstraCtPa住‘。nsistentLogicisfoundedinl960s，即d訊w巨ch此qu刃戊活氣加壇川iction啊notdsduCeanyt】ljng“，15onek由dofPhilesoPhi司logic，meanw]園e，i

6、t加longstonOnClassic日f(shuō)o鄉(xiāng)c.AssonasParaconsi引比”tLogicappears，itdeeplyatr歇tsthea“entionoffogiciansbeca理姆ofits的erantc抽叨曲州成icsalthoughthere峨1。招of朋拌山從七眼P別門(mén)比。nslsteniLogicshouldbe油Proved.了七cstUdysbowst壇城wbenwetakesomestePsandtol

7、“atesomece巾血印n壇川湯oninourfonnalsysteln，1o91喇widwouldnotgatintoanextr。叮e哪sandoutO向川erfearfulness.OntheC。址倒饑叨n協(xié)以也訪拓ngdosenotlosethebasicPledge，陰dthefogi以worldisin。川.胡dclearasbefore.Justforthisv。，鄺aso氏、bn認(rèn)腸terem公ksth踐itisone

8、of山emostmean峽必ldeveloPmentinlogicinthel毗of20thC叨加卿.瓦the找姆ent鉀venltyyears，由。尾isanobvioustendencyof化陰肚c撫匕9pa住‘onsistentlogicbe噸。utofnccesityoftheP別，consistenttheystUd丫Becausepa住K習(xí)nsistentlogicisincloserelationtomal七巴natl司f

9、ogic，fogical內(nèi)fosoPhy即dcomPuterscience，陽(yáng)dbasex枉emelydistingulshedProperty，住口。yfogicl田招，.圈由ematlcians，comPuterexpertsalover阮wld眼a加甩以目tothis價(jià)ld.LogicSy勸曰口Cu(1(n(。)，Wbichisco側(cè)勸川以ed勿B(yǎng)拍云lfogicianN.CA.dsCostais初dely勸昭iedandexte

10、nded.Changingtheclassical業(yè)別山ngofnegationandres幣CtingtheL0wofC0DtradictionandtheR川eofs印t陽(yáng)昵出ebasicPr也ci禪esofp別舊consi引比niloglcC武1蕊n簇。).By嘆ofthesePrinciPles，P~nsisteDtlogicCn(1簇n簇喲，W場(chǎng)chisstricUydeSCendingweakerly，can比e川習(xí)blis

11、bedon血basisoftheclassicallogic.hithedecidable，soUndandco哪1電Iogicsystelnq(1簇n蕊。)，此RuleofscotUSisnotvallduniv曰比allyandtha比su】tmeans，’C。n匕dlctioncannotded姍ev?？谝布?，，.LOgicsy引匕mG(1延n簇。)wasexPandedastheparaconsi咖ntmodalfogicCu

12、G，(l續(xù)n。)byC刊由esescbo城Zh坦gQin周陽(yáng)月Bec介theParaconsistentm次園fogic公G，(l簇n。孫50朋dandcompl比，助d悅causeits翻omSCh曰田以isG’，the鄺5』tbasthe訓(xùn)Iv曰忍almeaJ”ngandwil比即plicable運(yùn)alotofnom】alp別佗‘0?！甶stentmot園logic.TbefoUDdingofp別“‘幻nsistentm例目logi