弗協(xié)調認知邏輯研究.pdf

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

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

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

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

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

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

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

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

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

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

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

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