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

【文章頁數】：57 頁

【學位級別】：碩士

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



本文編號：3855938