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

【相似文獻】

相關期刊論文 前10條

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

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

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

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

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

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

7 李先q;;談談詞項的內涵和外延[J];思維與智慧;1986年06期

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

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

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

相關會議論文 前10條

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

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

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

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

5 羅翊重;;四大推理類型之內涵與外延間的轉換[A];中國思維科學研究論文選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 朱建平;;從語形學、語義學到語用學[A];2000年邏輯研究專輯[C];2000年

相關重要報紙文章 前1條

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

相關博士學位論文 前2條

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

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

相關碩士學位論文 前10條

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

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

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

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

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

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

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

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

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

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

，

本文編號：2563799