本文關(guān)鍵詞：內(nèi)涵邏輯發(fā)展的新趨勢(shì)

  更多相關(guān)文章： 內(nèi)涵邏輯 語義學(xué) 證明論的轉(zhuǎn)向 模態(tài)化

【摘要】：內(nèi)涵邏輯產(chǎn)生于上世紀(jì)60年代,如今它已經(jīng)在計(jì)算機(jī)學(xué)科、人工智能、語言學(xué)、哲學(xué)甚至數(shù)學(xué)基礎(chǔ)等如此多樣性的學(xué)科中發(fā)揮著強(qiáng)有力的理論和實(shí)踐工具的作用。對(duì)當(dāng)代內(nèi)涵邏輯文獻(xiàn)的闡述,不僅可以使我們了解內(nèi)涵邏輯的個(gè)性化理論內(nèi)容,以及表現(xiàn)于這些內(nèi)容中的新思想和研究成果,同時(shí)也可以使我們更好地展望內(nèi)涵邏輯的發(fā)展趨勢(shì)和研究方向。
【作者單位】： 蘇州大學(xué)政治與公共管理學(xué)院;
【關(guān)鍵詞】： 內(nèi)涵邏輯 語義學(xué) 證明論的轉(zhuǎn)向 模態(tài)化
【分類號(hào)】：B81-06
【正文快照】： 從哲學(xué)和數(shù)學(xué)的傳統(tǒng)主題到認(rèn)知科學(xué),計(jì)算機(jī)科學(xué),人工智能和語言學(xué)等更加新近的學(xué)科,當(dāng)代內(nèi)涵邏輯正日益廣泛地應(yīng)用于眾多的學(xué)科之中,這一結(jié)果充分表明這一既古老又年輕的邏輯分支充滿了生機(jī)和活力,同時(shí)也表明了內(nèi)涵邏輯的深刻統(tǒng)一性和廣泛的應(yīng)用性。本文精選了當(dāng)代內(nèi)涵邏輯的

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫 前10條

1 翟麗霞,劉文菊;20世紀(jì)后期西方語言語義學(xué)發(fā)展特點(diǎn)管窺[J];濟(jì)南大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2004年03期

2 孫福增;;語義學(xué)與語言教學(xué)[J];山東外語教學(xué);1986年02期

3 董孝感;語法與語義的辯證關(guān)系[J];現(xiàn)代外語;1991年02期

4 陳維振;實(shí)證主義語義學(xué)批判[J];福建師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1992年01期

5 陳靜茹,李全福;語用學(xué)與語義學(xué)之再觀[J];高等職業(yè)教育-天津職業(yè)大學(xué)學(xué)報(bào);2001年02期

6 游澤清;;多媒體畫面語言中的認(rèn)知規(guī)律研究[J];中國(guó)電化教育;2004年11期

7 李弘,王寅;語義理論與翻譯研究——認(rèn)知語言學(xué)對(duì)翻譯的解釋力[J];外語與外語教學(xué);2005年10期

8 周曉東;方芳;;社會(huì)文化和語言的聯(lián)想意義(英文)[J];語文學(xué)刊;2006年03期

9 周志遠(yuǎn);;詞匯意義研究的新視域:詞匯語用學(xué)[J];浙江師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2006年06期

10 范建華;;論語義學(xué)與大學(xué)英語教學(xué)[J];鹽城師范學(xué)院學(xué)報(bào)(人文社會(huì)科學(xué)版);2007年02期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫 前10條

1 聶文龍;;內(nèi)涵邏輯的對(duì)象理論建構(gòu)[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國(guó)邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議論文集[C];2008年

2 陸汝占;高峰;陳玉泉;靳光瑾;;漢語內(nèi)涵邏輯及其應(yīng)用[A];輝煌二十年——中國(guó)中文信息學(xué)會(huì)二十周年學(xué)術(shù)會(huì)議論文集[C];2001年

3 朱建平;;從語形學(xué)、語義學(xué)到語用學(xué)[A];2000年邏輯研究專輯[C];2000年

4 長(zhǎng)召其;張志毅;;語文性辭書的語義學(xué)原則[A];中國(guó)辭書論集1997[C];1997年

5 陸汝占;靳光瑾;;“是”的內(nèi)涵邏輯語義解釋[A];自然語言理解與機(jī)器翻譯——全國(guó)第六屆計(jì)算語言學(xué)聯(lián)合學(xué)術(shù)會(huì)議論文集[C];2001年

6 鄒崇理;;MG及其發(fā)展的評(píng)價(jià)[A];理有固然——紀(jì)念金岳霖先生百年誕辰[C];1995年

7 李戰(zhàn)子;;社會(huì)學(xué)的語義學(xué)對(duì)英語教學(xué)的啟示[A];全國(guó)語言與符號(hào)學(xué)研究會(huì)第五屆研討會(huì)論文摘要集[C];2002年

8 鄒崇理;;一個(gè)運(yùn)用蒙太格語法與廣義量詞方法分析漢語量化詞組的部分語句系統(tǒng)[A];1993年邏輯研究專輯[C];1993年

9 聶文龍;;法律邏輯中的內(nèi)涵邏輯方法[A];第十四屆全國(guó)法律邏輯學(xué)術(shù)討論會(huì)論文集[C];2006年

10 朱水林;;從外延邏輯到內(nèi)涵邏輯——現(xiàn)代邏輯發(fā)展的一個(gè)重要轉(zhuǎn)向[A];1994年邏輯研究專輯[C];1994年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫 前10條

1 韓興德;新視角下的語義學(xué)[N];光明日?qǐng)?bào);2005年

2 吳仕逵;穿工裝的圣賢[N];中國(guó)郵政報(bào);2006年

3 馬生泓;雅克·赫爾佐格和皮爾·德梅隆 他們站在風(fēng)口浪尖[N];中華建筑報(bào);2008年

4 秋風(fēng);“經(jīng)濟(jì)”的語義學(xué)分析[N];21世紀(jì)經(jīng)濟(jì)報(bào)道;2006年

5 武漢大學(xué)中國(guó)傳統(tǒng)文化研究中心 馮天瑜 余來明;歷史文化語義學(xué)的現(xiàn)狀與未來[N];社會(huì)科學(xué)報(bào);2007年

6 記者　韓曉玲、通訊員　楚靜;海內(nèi)外學(xué)者共探語匯演繹歷程[N];湖北日?qǐng)?bào);2006年

7 吳鐘斌;專家激辯三亞“城市精神”[N];海南日?qǐng)?bào);2008年

8 記者 徐華西;模糊語言研究要注重更新方法[N];光明日?qǐng)?bào);2008年

9 本版編輯 沈家煊 傅小蘭 蔡曙山;揭開人類心智的奧秘[N];光明日?qǐng)?bào);2006年

10 Wayne Meikle 李雪;模型驅(qū)動(dòng)降低金融信息服務(wù)風(fēng)險(xiǎn)[N];中國(guó)計(jì)算機(jī)報(bào);2008年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 馬亮;論卡爾納普的意義理論[D];中國(guó)社會(huì)科學(xué)院研究生院;2003年

2 宋春陽;面向信息處理的現(xiàn)代漢語“名+名”邏輯語義研究[D];上海師范大學(xué);2003年

3 方向紅;基于內(nèi)涵邏輯的現(xiàn)代漢語連接詞及關(guān)聯(lián)句式語義研究[D];上海師范大學(xué);2004年

4 馮名正;Web服務(wù)組合關(guān)鍵技術(shù)研究[D];東南大學(xué);2006年

5 吳莊;漢語基數(shù)詞語義和語用的實(shí)驗(yàn)研究[D];北京語言大學(xué);2009年

6 田忠鋒;形式邏輯前提批判[D];吉林大學(xué);2008年

7 張佩云;基于語義的Web服務(wù)組合研究[D];南京理工大學(xué);2008年

8 周力;法律的模糊性分析[D];西南政法大學(xué);2008年

9 俞詠梅;現(xiàn)代語言哲學(xué)視域中的漢語語義研究[D];吉林大學(xué);2008年

10 劉雄偉;歷史的客觀性研究[D];吉林大學(xué);2012年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 顧鋒強(qiáng);蒙太格語法研究述評(píng)[D];西南大學(xué);2006年

2 張麗清;法律語言模糊性的語義學(xué)與語用學(xué)研究[D];對(duì)外經(jīng)濟(jì)貿(mào)易大學(xué);2006年

3 王巖;語義學(xué)視野中的音樂意義研究[D];吉林藝術(shù)學(xué)院;2009年

4 郭菲;設(shè)計(jì)語義研究[D];河南大學(xué);2005年

5 賀燕;現(xiàn)代維吾爾語量詞研究[D];新疆大學(xué);2006年

6 寶音;蒙古語常用動(dòng)詞與名詞的義位組合研究[D];中央民族大學(xué);2009年

7 李海波;語言游戲論與自然語言量化結(jié)構(gòu)[D];中國(guó)海洋大學(xué);2004年

8 李媛;英語腦筋急轉(zhuǎn)彎的語義研究[D];吉林大學(xué);2006年

9 丁淑華;我國(guó)高中英語詞匯教學(xué)與跨文化意識(shí)的培養(yǎng)[D];華東師范大學(xué);2008年

10 王麗;俄語認(rèn)知命題態(tài)度謂詞句的邏輯語義及其語用意義[D];吉林大學(xué);2009年

，

本文編號(hào)：639072