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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1 陳波;人工智能 當(dāng)代邏輯發(fā)展的動(dòng)力[N];光明日?qǐng)?bào);2000年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：2563799