【摘要】：在20世紀,內(nèi)涵邏輯、內(nèi)涵語義學(xué)和內(nèi)涵形而上學(xué)是由邏輯學(xué)家、哲學(xué)家和語言學(xué)家在邏輯哲學(xué)和語言哲學(xué)領(lǐng)域共同締造的為數(shù)不多但卻無可置疑的進步之一。自上世紀60年代內(nèi)涵邏輯誕生以來,這一邏輯分支在計算機科學(xué)、人工智能、語言學(xué)和哲學(xué)甚至數(shù)學(xué)基礎(chǔ)等眾多領(lǐng)域以其強有力的理論和實踐工具的方式發(fā)揮著自己的作用。然而,作為一門激動人心的學(xué)科,在內(nèi)涵邏輯的研究中人們會遇到各種困難,對這些困難的解決不僅對邏輯學(xué)家,而且對哲學(xué)家、語言學(xué)家和計算機科學(xué)家都是一種挑戰(zhàn)。本文通過解釋內(nèi)涵邏輯的關(guān)鍵性發(fā)展和存在的問題,進而梳理出一條20世紀內(nèi)涵邏輯理論發(fā)展和未來趨勢的路徑。

【相似文獻】

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

1 朱建平;;當(dāng)代內(nèi)涵邏輯的理論發(fā)展[J];蘇州大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2010年03期

2 周北海;;概念語義與弗雷格迷題消解[J];邏輯學(xué)研究;2010年04期

3 陳波;意義理論在邏輯學(xué)中的重要地位[J];求索;1989年03期

4 張燕京;李穎新;;論弗雷格關(guān)于從句的涵義和意謂的理論[J];湖南科技大學(xué)學(xué)報(社會科學(xué)版);2009年01期

5 陳波;從人工智能看當(dāng)代邏輯學(xué)的發(fā)展[J];中山大學(xué)學(xué)報論叢;2000年02期

6 孫學(xué)鈞;指稱與內(nèi)涵語境[J];湖北大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1993年01期

7 李先q;;談?wù)勗~項的內(nèi)涵和外延[J];思維與智慧;1986年06期

8 吳志雄;讀《現(xiàn)代邏輯引論》[J];社會科學(xué);1991年02期

9 朱建平;;內(nèi)涵邏輯發(fā)展的新趨勢[J];山東師范大學(xué)學(xué)報(人文社會科學(xué)版);2011年02期

10 T3學(xué)梊;邏輯與真理[J];安徽大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1982年03期

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

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

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

3 趙總寬;;三個異于實質(zhì)蘊涵的條件詞[A];1993年邏輯研究專輯[C];1993年

4 鄒崇理;;論PTQ系統(tǒng)的意義公設(shè)[A];1995年邏輯研究專輯[C];1995年

5 羅翊重;;四大推理類型之內(nèi)涵與外延間的轉(zhuǎn)換[A];中國思維科學(xué)研究論文選2011年專輯[C];2012年

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

7 鄒崇理;;MG與GQ理論對自然語言限定詞的研究[A];理有固然——紀念金岳霖先生百年誕辰[C];1995年

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

9 鄒崇理;;信息時代的自然語言邏輯研究特色[A];2000年邏輯研究專輯[C];2000年

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

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

1 陳波;人工智能 當(dāng)代邏輯發(fā)展的動力[N];光明日報;2000年

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

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

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

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

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

2 于宇;試析蒙太格語法[D];西南大學(xué);2007年

3 范微微;動態(tài)蒙太格語法對經(jīng)典驢子句處理的發(fā)展[D];西南大學(xué);2008年

4 張世寧;從蒙太格語法看開來——自然語言邏輯初探[D];河南大學(xué);2004年

5 顧鋒強;蒙太格語法研究述評[D];西南大學(xué);2006年

6 李博;淺析普特南指稱理論[D];西南大學(xué);2010年

7 張姣姣;弗雷格涵義理論研究[D];燕山大學(xué);2010年

8 王莉鈞;遮蔽于意義之中的真之理論[D];山西大學(xué);2010年

9 李志恒;試論自然語言邏輯研究中的語法與語義[D];山西大學(xué);2012年

10 李培;弗雷格涵義與指稱理論研究[D];燕山大學(xué);2012年

，

本文編號：2563799