本文根據(jù)弗雷格對(duì)于內(nèi)涵問(wèn)題的思考,給出了評(píng)價(jià)內(nèi)涵邏輯的兩個(gè)標(biāo)準(zhǔn)即內(nèi)涵刻畫標(biāo)準(zhǔn)和解決內(nèi)涵難題標(biāo)準(zhǔn)。根據(jù)這兩個(gè)標(biāo)準(zhǔn),現(xiàn)代內(nèi)涵邏輯存在兩種基本的解決策略：還原主義路徑(由卡爾納普奠基)和內(nèi)涵主義路徑(由丘奇奠基)。從內(nèi)涵邏輯發(fā)展歷史來(lái)看,蒙塔古內(nèi)涵邏輯從語(yǔ)形上繼承了丘奇簡(jiǎn)單類型論的語(yǔ)形,從語(yǔ)義上接受了卡爾納普對(duì)于內(nèi)涵語(yǔ)義的建構(gòu)。本文從蒙塔古提出內(nèi)涵邏輯的基本動(dòng)機(jī)入手,闡釋了蒙塔古“普遍語(yǔ)法”的設(shè)想及其內(nèi)涵邏輯系統(tǒng)IL的語(yǔ)形和語(yǔ)義,并對(duì)于蒙塔古內(nèi)涵邏輯的成效與不足做出評(píng)價(jià)。本文認(rèn)為,蒙塔古試圖用一種嚴(yán)格的數(shù)學(xué)方法將邏輯學(xué)家長(zhǎng)期認(rèn)為的一對(duì)矛盾(即外延邏輯主義的嚴(yán)格性與自然語(yǔ)言內(nèi)涵歧義性與內(nèi)涵性)解決掉,這是一次頗具膽識(shí)和智慧的嘗試,但他所提出的內(nèi)涵邏輯系統(tǒng),能夠解決內(nèi)涵難題1,但無(wú)法解決內(nèi)涵難題2和內(nèi)涵難題3。蒙塔古之后,許多邏輯學(xué)家試圖彌補(bǔ)蒙塔古內(nèi)涵邏輯的不足,從而把有關(guān)內(nèi)涵問(wèn)題的討論進(jìn)一步引向深入。針對(duì)這些邏輯學(xué)家所做的工作,本文揭示了內(nèi)涵邏輯所面臨的二難困境,并指出用一種統(tǒng)一的內(nèi)涵標(biāo)準(zhǔn)來(lái)發(fā)展內(nèi)涵邏輯是不可能的。

【文章頁(yè)數(shù)】：57 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
附表
摘要
Abstract
目錄
緒論
第一章 弗雷格的內(nèi)涵理論綱要與內(nèi)涵難題
第二章 前蒙塔古的內(nèi)涵邏輯：卡爾納普與丘奇
    第一節(jié) 還原主義的進(jìn)路——卡爾納普的內(nèi)涵邏輯思想
    第二節(jié) 內(nèi)涵主義的進(jìn)路——丘奇的內(nèi)涵邏輯思想
第三章 蒙塔古論自然語(yǔ)言與人工語(yǔ)言
    第一節(jié) 蒙塔古對(duì)于自然語(yǔ)言與人工語(yǔ)言關(guān)系的思考
    第二節(jié) 普遍的語(yǔ)形和語(yǔ)義
    第三節(jié) 自然語(yǔ)言與人工語(yǔ)言的統(tǒng)一
第四章 蒙塔古內(nèi)涵邏輯系統(tǒng)IL
    第一節(jié) IL系統(tǒng)的基本架構(gòu)
    第二節(jié) 內(nèi)涵邏輯系統(tǒng)IL
第五章 蒙塔古內(nèi)涵邏輯的意義和發(fā)展
    第一節(jié) 蒙塔古內(nèi)涵邏輯的意義和不足
    第二節(jié) 對(duì)于某些未決問(wèn)題的可能解決方案
參考文獻(xiàn)
致謝



本文編號(hào)：3855938