發(fā)布時間：2018-04-18 07:21

  本文選題：否定詞 + 矛盾律　； 參考：《學(xué)術(shù)論壇》2005年10期

【摘要】：次協(xié)調(diào)邏輯在人工智能領(lǐng)域的應(yīng)用卓有成效。它可以在系統(tǒng)中容忍不平庸的矛盾,同時又限制這種矛盾使之不會在系統(tǒng)中擴(kuò)散,從而使得“矛盾可以推出一切”的后果不會在系統(tǒng)內(nèi)發(fā)生。這個目標(biāo)是依靠弱化否定詞的經(jīng)典含義和削弱矛盾律的作用,從而限制斯哥特規(guī)則的作用范圍來實(shí)現(xiàn)的。文章試圖在闡明次協(xié)調(diào)邏輯基本機(jī)制的基礎(chǔ)上,將次協(xié)調(diào)邏輯放在與非經(jīng)典邏輯、邏輯真理觀以及哲學(xué)辯證法相聯(lián)系的層面上,對由此而帶來的邏輯哲學(xué)問題作進(jìn)一步的解析。
[Abstract]:The application of sub-coordinated logic in artificial intelligence is very effective.It can tolerate the non-mediocre contradiction in the system, and at the same time limit the contradiction so that it will not spread in the system, so that the consequence of "contradiction can infer everything" does not happen in the system.This goal is achieved by weakening the classical meaning of negative words and weakening the role of contradiction law, thus limiting the scope of action of Scott rule.On the basis of expounding the basic mechanism of sub-coordinated logic, this paper puts the sub-coordinated logic on the level of non-classical logic, logic truth view and philosophical dialectics, and makes a further analysis of the logical philosophical problems arising therefrom.
【作者單位】： 南開大學(xué)哲學(xué)系 南開大學(xué)哲學(xué)系
【基金】：國家哲學(xué)社會科學(xué)基金項(xiàng)目(04BZX047)
【分類號】：B81;

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張振華;邏輯學(xué)在人工智能中的應(yīng)用及其前景研究綜述[J];哲學(xué)動態(tài);2001年09期

2 李秀敏;論亞相容邏輯中的“矛盾”——達(dá)科斯塔的亞相容邏輯思想述評[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2005年01期

3 張傳新,司獻(xiàn)英;對法律邏輯學(xué)形式化定位的否定性思考[J];安陽師范學(xué)院學(xué)報(bào);2003年03期

4 陳波;;語句的真、真的語句、真的理論體系——“truth”的三重含義辨析[J];北京大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2007年01期

5 袁正校;;關(guān)于現(xiàn)代邏輯教學(xué)中若干問題的思考[J];重慶工學(xué)院學(xué)報(bào);2006年01期

6 桂起權(quán);;關(guān)于鄧小平“經(jīng)濟(jì)學(xué)不等式”的哲學(xué)思考——兼談社會主義市場經(jīng)濟(jì)理論的邏輯協(xié)調(diào)性問題[J];東南大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2006年06期

7 馬佩;;駁《尋覓了半個世紀(jì)的辯證邏輯》——復(fù)諸葛殷同先生[J];河南社會科學(xué);2006年06期

8 張秉福;邏輯遞歸性及其哲學(xué)思考[J];南京航空航天大學(xué)學(xué)報(bào)(社會科學(xué)版);2005年01期

9 夏國軍;語言邏輯與形式化[J];南開學(xué)報(bào)(哲學(xué)社會科學(xué)版);2004年03期

10 胡澤;現(xiàn)代西方哲學(xué)符合論與馬克思主義真理觀[J];南通師范學(xué)院學(xué)報(bào)(哲學(xué)社會科學(xué)版);2004年03期

相關(guān)博士學(xué)位論文 前5條

1 安軍;科學(xué)隱喻的元理論研究[D];山西大學(xué);2007年

2 賈春華;基于命題邏輯的《傷寒論》方證理論體系研究[D];北京中醫(yī)藥大學(xué);2006年

3 賀少鋒;公司法強(qiáng)制性規(guī)范研究[D];西南政法大學(xué);2007年

4 余俊偉;弗協(xié)調(diào)邏輯應(yīng)用于道義邏輯的研究[D];中國社會科學(xué)院研究生院;2001年

5 張池平;多傳感器信息融合方法及其在空間目標(biāo)識別中的應(yīng)用[D];哈爾濱工業(yè)大學(xué);2006年

相關(guān)碩士學(xué)位論文 前10條

1 劉麗萍;張東蓀邏輯文化思想研究[D];湘潭大學(xué);2007年

2 車峰;試論羅素摹狀詞理論及其對語言哲學(xué)的影響[D];山西大學(xué);2007年

3 劉偉偉;克里普克語義學(xué)及其指稱理論研究[D];山西大學(xué);2007年

4 顏中軍;弗雷格疑難與認(rèn)知價值差異[D];湘潭大學(xué);2007年

5 劉德兵;論可能世界視域下的同一性問題[D];蘇州大學(xué);2007年

6 烏云高娃;論塔爾斯基語義真理[D];內(nèi)蒙古師范大學(xué);2007年

7 任佳波;改造和探究[D];華南師范大學(xué);2007年

8 黃金華;正規(guī)模態(tài)邏輯的自然演繹及其證明論性質(zhì)探微[D];華南師范大學(xué);2007年

9 何永紅;法律“規(guī)則”的“內(nèi)在”世界[D];西南政法大學(xué);2007年

10 賈國恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學(xué);2003年

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 郭昭穆;;語句中的雙重否定[J];西華師范大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);1980年03期

2 宋協(xié)立;;談英語中的幾種否定句[J];外語教學(xué);1980年01期

3 崔健;不再D 再不D 再也不D[J];漢語學(xué)習(xí);1982年02期

4 陳平;英語數(shù)量詞的否定[J];現(xiàn)代外語;1982年01期

5 韓振峰;“四體不勤 五谷不分”異釋[J];社會科學(xué)輯刊;1982年03期

6 黃次棟;英語否定式中幾種含糊現(xiàn)象[J];外國語(上海外國語大學(xué)學(xué)報(bào));1982年03期

7 林海權(quán);否定詞“莫”字的詞性研究[J];福建師范大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);1983年01期

8 吳瓊;But的一些用法[J];大學(xué)英語;1983年02期

9 羅詩;Shelley Was Always Reading[J];大學(xué)英語;1984年02期

10 雷建共;否定句中的歧義[J];大學(xué)英語;1984年05期

相關(guān)會議論文 前10條

1 韋世林;;否定句的語形語用初探[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

2 柴秀敏;;《詩經(jīng)》中的賓語前置句[A];第四屆詩經(jīng)國際學(xué)術(shù)研討會論文集[C];1999年

3 郭開仲;劉世勇;;模糊錯誤邏輯分解轉(zhuǎn)化詞與內(nèi)涵否定詞的邏輯關(guān)系[A];2001年中國智能自動化會議論文集（上冊）[C];2001年

4 李莎;趙曉哲;;模糊概念系統(tǒng)及其語義表示[A];2001年中國智能自動化會議論文集（上冊）[C];2001年

5 林文金;;莆仙方言的選擇問句[A];莆仙文化研究——首屆莆仙文化學(xué)術(shù)研討會論文集[C];2002年

6 卜朝暉;謝軍;池田尚志;;日中機(jī)器翻譯的中文否定詞的位置確定法[A];Advances in Computation of Oriental Languages--Proceedings of the 20th International Conference on Computer Processing of Oriental Languages[C];2003年

7 蔡子鈞;;暕南姙否定奮“q!bo”的否定用法及句法位置[A];第38屆國際漢藏語會議論文提要[C];2005年

8 王鋒;;試論白語的否定詞和否定表達(dá)形式[A];第38屆國際漢藏語會議論文提要[C];2005年

9 林照田;;從檢證邏輯及檢證理論到檢證道論[A];第三次金岳霖學(xué)術(shù)思想研討會論文集[C];2005年

10 賀代明;;翻譯過程中句子結(jié)構(gòu)的靈活選擇——兼談漢語比較結(jié)構(gòu)的多重英語表達(dá)[A];貴州省翻譯工作者協(xié)會2006年會暨學(xué)術(shù)交流會論文集[C];2006年

相關(guān)重要報(bào)紙文章 前10條

1 本報(bào)記者 陳青;如何讓你的孩子能說會道[N];文匯報(bào);2002年

2 覃里雯;在革命之前[N];經(jīng)濟(jì)觀察報(bào);2004年

3 李京淑;當(dāng)心你變成職場“木乃伊”[N];北京科技報(bào);2006年

4 江蘇鎮(zhèn)江市教育局辦公室 裴偉;“讀書得間”多年不見了[N];中國教育報(bào);2006年

5 趙偉;一汽豐田舉辦第二屆銷售技能大賽[N];中國質(zhì)量報(bào);2006年

6 記者　叢峰、李舒、郭奔勝　李斌　張景勇、楊守勇　記者　王研、　齊中熙、郭奔勝　叢峰、朱薇　周瑋;從十一五規(guī)劃七“禁”看中國發(fā)展思路之變[N];新華每日電訊;2006年

7 馬慶然;診斷病句十注意[N];語言文字周報(bào);2007年

8 洛陽市第二文物工作隊(duì) 蔡運(yùn)章;東漢帝陵封土考辨[N];中國文物報(bào);2007年

9 徐家永;要注意三種特殊否定句的使用[N];語言文字周報(bào);2007年

10 彭德倩;大學(xué)寫字課[N];解放日報(bào);2008年

相關(guān)博士學(xué)位論文 前6條

1 文貞惠;現(xiàn)代漢語否定范疇研究[D];復(fù)旦大學(xué);2003年

2 惠秀梅;俄語否定范疇的意義與表達(dá)手段[D];黑龍江大學(xué);2004年

3 范莉;兒童和成人語法中的否定和否定轄域[D];北京語言大學(xué);2005年

4 阮桂君;寧波方言語法研究[D];華中師范大學(xué);2006年

5 常輝;屈折詞綴的缺失與中介語語法的損傷[D];上海交通大學(xué);2006年

6 尹洪波;否定詞與副詞共現(xiàn)的句法語義研究[D];中國社會科學(xué)院研究生院;2008年

相關(guān)碩士學(xué)位論文 前10條

1 廖新玲;閩南話否定詞研究[D];廈門大學(xué);2001年

2 張華;《左傳》否定詞“非”“未”“勿”“毋”“弗”“不”研究[D];黑龍江大學(xué);2003年

3 朱華平;“PP+VP”句的否定表達(dá)[D];安徽師范大學(xué);2004年

4 劉淑艷;英語“not”和漢語“不”的句法特征對比研究[D];南京師范大學(xué);2004年

5 田旭紅;語氣副詞“并”的句法、語義、語用特征[D];北京語言大學(xué);2005年

6 焦巧;“很”與“太”結(jié)構(gòu)的否定形式探析[D];華中科技大學(xué);2005年

7 馬安平;韓國語和漢語否定詞的對比研究[D];對外經(jīng)濟(jì)貿(mào)易大學(xué);2006年

8 岳靜;現(xiàn)代俄語中的肯定/否定范疇[D];東北師范大學(xué);2006年

9 喬東鑫;現(xiàn)代漢語否定范疇的語用考察[D];東北師范大學(xué);2006年

10 曾小鵬;《殷墟花園莊東地甲骨》詞類研究[D];西南大學(xué);2006年

，

本文編號：1767339