發(fā)布時間：2018-06-28 16:59

  本文選題：相干邏輯 + 研究方法��； 參考：《華東師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版)》2008年06期

【摘要】：相干邏輯的形式系統(tǒng)組成一個邏輯家族,這些邏輯系統(tǒng)的共同點是:堅持演繹推理的相干性,拒斥"結(jié)論的推導(dǎo)未實際使用前提"的推理方式。相干系統(tǒng)的分類建構(gòu)與可拆分,為相干推理和判定問題的深入研究提供了平臺。相干邏輯采用多種技術(shù)手段,證明了"相干原理"等一系列元定理,用以揭示相干蘊涵的邏輯特性和排除形形色色的"蘊涵怪論"。相干語義理論內(nèi)涵豐富,而直觀的信息論解釋,不僅細致地描述了三元關(guān)系語義的理論背景,也為相干邏輯在信息論和人工智能領(lǐng)域的應(yīng)用展示了廣闊的前景。
[Abstract]:The formal systems of coherent logic form a family of logic. The common points of these logic systems are that they insist on the coherence of deductive reasoning and reject the reasoning mode that "the deduction of conclusion is not used in practice". The classification construction and separability of coherent systems provide a platform for further research on coherent reasoning and decision problems. A series of meta-theorems, such as "coherence principle", are proved by various technical means in coherent logic to reveal the logical characteristics of coherent implication and to eliminate all kinds of "implication theory". The theory of coherent semantics is rich in connotation, and the intuitionistic explanation of information theory not only describes the theoretical background of the semantics of ternary relations in detail, but also shows a broad prospect for the application of coherent logic in the field of information theory and artificial intelligence.
【作者單位】： 華東師范大學(xué)哲學(xué)系;
【基金】：教育部規(guī)劃項目《子結(jié)構(gòu)邏輯研究》(06JA724001) 國家社會科學(xué)基金項目《相干邏輯研究》(05BZX050)
【分類號】：B812

【共引文獻】

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

1 郭遠華;曾振柄;;相干命題邏輯自然推理系統(tǒng)NR的自動證明[J];計算機應(yīng)用研究;2009年10期

2 郭遠華;;啟發(fā)式方法生成命題邏輯可讀證明[J];計算機應(yīng)用研究;2011年12期

3 郭遠華;曾振柄;;重言衍推系統(tǒng)的試探法自動證明[J];計算機應(yīng)用與軟件;2009年09期

4 羅翊重;;對邏輯推理四大基礎(chǔ)類型的反演算和非演算[J];昆明學(xué)院學(xué)報;2009年04期

5 埃德溫·馬萊斯;;相干否定與經(jīng)典否定[J];邏輯學(xué)研究;2010年01期

6 馮棉;;一類命題邏輯的一般弱框架擇類語義[J];邏輯學(xué)研究;2011年02期

7 霍書全;;相干邏輯研究的當(dāng)代成果和發(fā)展趨勢[J];哲學(xué)動態(tài);2007年04期

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

1 羅翊重;;邏輯推理四大基礎(chǔ)類型及其相互關(guān)系研究[A];中國思維科學(xué)研究論文選2011年專輯[C];2012年

2 周春來;;Minimal Relevance Logics and Semantical Proof of Better Bubbling Lemma[A];2005年邏輯研究專輯[C];2005年

3 馮棉;;相干邏輯與蘊涵怪論[A];2005年邏輯研究專輯[C];2005年

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

1 婁永強;信息流理論的邏輯研究[D];南開大學(xué);2009年

2 郭遠華;若干邏輯自動推理方法研究[D];華東師范大學(xué);2010年

3 王宇光;維特根斯坦和哥德爾定理[D];華東師范大學(xué);2010年

【相似文獻】

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

1 胡紅;盛作國;;制約邏輯與相干邏輯比較研究[J];畢節(jié)學(xué)院學(xué)報;2008年01期

2 張清宇;試談相干邏輯[J];哲學(xué)研究;1985年10期

3 高娟;;中國近現(xiàn)代音樂作品的解讀方法[J];品牌(理論月刊);2011年06期

4 吳瑾;;詞匯知識深度研究方法初探[J];洛陽師范學(xué)院學(xué)報;2011年10期

5 勒孚作;;國內(nèi)英語聽力研究十年述評[J];海外英語;2011年10期

6 ;楊振寧談科研“散面式戰(zhàn)術(shù)”[J];中國高等教育;1984年06期

7 朱立元;美學(xué)研究的方法應(yīng)當(dāng)多元化[J];復(fù)旦學(xué)報(社會科學(xué)版);1985年01期

8 欒桂娟;先于曲藝音樂研究方法的思考[J];中國音樂學(xué);1988年03期

9 林汝;;第四講 論文撰寫中一些技術(shù)問題的處理[J];湖南教育;1988年11期

10 葉海平;論精神分析學(xué)的思維方式及其局限性[J];上海大學(xué)學(xué)報(社會科學(xué)版);1992年02期

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

1 馮棉;;相干邏輯與蘊涵怪論[A];2005年邏輯研究專輯[C];2005年

2 林邦瑾;;夠用的無衍系統(tǒng)Cm[A];全國邏輯討論會論文選集[C];1979年

3 李仁和;李麗君;;三晉文化的研究方法[A];三晉文化學(xué)術(shù)研討會論文專集[C];1998年

4 孫世華;于潔;;黑云母的化學(xué)成分和研究方法[A];中國礦物巖石地球化學(xué)學(xué)會第九屆學(xué)術(shù)年會論文摘要集[C];2003年

5 黎庶;宋潔;胡福泉;;體內(nèi)誘導(dǎo)基因及相關(guān)研究方法簡介[A];重慶微生物學(xué)會第九屆會員代表大會暨學(xué)術(shù)年會論文摘要集[C];2009年

6 張志勇;;從當(dāng)代計算機的發(fā)展看什么是邏輯[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

7 岑國楨;;品德心理研究方法:回顧與前瞻[A];第十二屆全國心理學(xué)學(xué)術(shù)大會論文摘要集[C];2009年

8 王健平;;論相關(guān)蘊涵及其推理——法律邏輯中的蘊涵是相關(guān)蘊涵[A];第十六屆全國法律邏輯學(xué)術(shù)討論會論文（成就·反思·前瞻——中國法律邏輯三十年）[C];2008年

9 張慧君;;“民主”與科學(xué)——對我國礦權(quán)理論研究方法的思考[A];資源·環(huán)境·產(chǎn)業(yè)——中國地質(zhì)礦產(chǎn)經(jīng)濟學(xué)會2003年學(xué)術(shù)年會論文集[C];2003年

10 柴夏萍;;運動生物力學(xué)基本研究方法[A];北京力學(xué)會第11屆學(xué)術(shù)年會論文摘要集[C];2005年

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

1 曠;《基于項目的軟件工程：面向?qū)ο笱芯糠椒ā穂N];中國圖書商報;2002年

2 山東大學(xué)管理學(xué)院 安玉紅邋溫德成;請來顧客談需求[N];中國質(zhì)量報;2007年

3 王黎芳;口述一部家庭史[N];中國婦女報;2001年

4 本報記者 馬文方;不拘一格降人才[N];中國計算機報;2001年

5 朱軍輝;關(guān)注戰(zhàn)術(shù)研究方法的創(chuàng)新[N];中國國防報;2009年

6 王強;也談“心”的概念及其研究方法[N];中國中醫(yī)藥報;2001年

7 李培林;村落進入和研究方法[N];中國社會科學(xué)院院報;2004年

8 鞏鵬 王忠裕;科學(xué)的研究方法最重要[N];健康報;2003年

9 吳書慶;傳統(tǒng)集郵的研究方法[N];中國集郵報;2005年

10 何志高;藥物經(jīng)濟學(xué)的研究方法[N];醫(yī)藥經(jīng)濟報;2000年

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

1 錢林曉;教育經(jīng)濟學(xué)方法論研究[D];華中師范大學(xué);2007年

2 王慧君;中學(xué)教師物理教學(xué)科研發(fā)展特點及影響因素研究[D];西南大學(xué);2009年

3 楊大松;產(chǎn)品設(shè)計的形態(tài)觀及形態(tài)品質(zhì)塑造研究[D];南京林業(yè)大學(xué);2008年

4 田虎偉;我國高等教育研究方法的現(xiàn)狀、問題及出路[D];華中科技大學(xué);2007年

5 包木太;微生物驅(qū)油機理研究[D];青島海洋大學(xué);2001年

6 錢汝平;蕭衍研究[D];四川大學(xué);2007年

7 楊健;論西方建筑理論史中關(guān)于法則問題的研究方法[D];重慶大學(xué);2008年

8 王鵬;中藥四性理論構(gòu)建及其現(xiàn)代研究方法學(xué)探討[D];山東中醫(yī)藥大學(xué);2008年

9 劉華;面向域的快速造型技術(shù)研究[D];浙江大學(xué);2007年

10 張振亭;中國新時期新聞傳播學(xué)術(shù)發(fā)展史[D];華中科技大學(xué);2008年

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

1 萬金鵬;史華慈毛澤東研究評析[D];陜西師范大學(xué);2007年

2 呂鷺;中國英語與中式英語的研究內(nèi)容及方法對比研究[D];華中科技大學(xué);2007年

3 烏吉木;蒙古語青海和碩特土語的特殊詞語研究[D];內(nèi)蒙古師范大學(xué);2008年

4 薛彥曉;北京永華控制技術(shù)有限公司一線員工激勵機制研究[D];西安理工大學(xué);2005年

5 呂偉;漢正街系列研究之六 搬運工[D];華中科技大學(xué);2005年

6 王昱之;概念性旅游規(guī)劃理論初探[D];西安建筑科技大學(xué);2006年

7 孫戌星;美國教育研究方法的內(nèi)容分析[D];華東師范大學(xué);2007年

8 葉洪珍;王質(zhì)《詩總聞》考論[D];新疆師范大學(xué);2007年

9 王朝格斯仁;蒙古族白纛祭祀探析[D];內(nèi)蒙古師范大學(xué);2008年

10 李曉光;劉勰《文心雕龍》修辭內(nèi)容研究[D];內(nèi)蒙古大學(xué);2008年

，

本文編號：2078712