【摘要】：類型—邏輯語法是一種建立在類型—邏輯語義學基礎上的規(guī)范語法,它自上個世紀80年代誕生以來,就以其表述的簡潔性、理論的邏輯化和詞匯化傾向以及更好地符合意義組合原則等鮮明特色,受到了形式語義學、語言學和自然語言理解和處理等領域的廣泛關注,并繼續(xù)保持迅猛的發(fā)展勢頭。該文第一部分簡短回顧了范疇語法的發(fā)展情況,第二部分主要論述了類型—邏輯語法的核心內容——其句法學和語義學。其語義學的主要內容為簡單類型的λ—演算和高階邏輯:其句法學的主要內容是蘭貝克演算。在第二部分的最后,筆者探討了類型—邏輯語法與邏輯形式系統(tǒng)的深刻聯系。總之,類型—邏輯語法對自然語言的語義分析具有比較廣闊的發(fā)展空間。
[Abstract]:Type-logic grammar is a kind of normative grammar based on type-logic semantics. The logical and lexical tendency of the theory and its better conformity with the principle of meaning combination have attracted extensive attention in the fields of formal semantics, linguistics and natural language understanding and processing, and have continued to maintain a rapid development momentum. The first part of this paper briefly reviews the development of categorical grammar, and the second part mainly discusses the core content of typological logic grammar-its syntax and semantics. The main contents of its semantics are simple type 位-calculus and higher order logic. At the end of the second part, the author discusses the deep relation between the type-logic grammar and the logical form system. In a word, the type-logic grammar has a broad developing space for the semantic analysis of natural language.
【作者單位】： 中國人民大學哲學系
【分類號】：B81

【共引文獻】

相關期刊論文 前10條

1 周方珠;論社交指示的翻譯[J];安徽大學學報(哲學社會科學版);2002年01期

2 彭家法;形式語義學的歷史淵源和理論框架[J];安徽大學學報(哲學社會科學版);2004年04期

3 李瑟;劉偉;郭海云;;漢語第三人稱代詞預指功能研究[J];北京交通大學學報(社科版);2005年04期

4 聶大海,呂蓓蓓;論語言意義的基本理念[J];北方論叢;2005年05期

5 段宏立;淺說預設[J];重慶工學院學報;2005年04期

6 張力鋒;專名指稱理論:歷史、現狀及反思[J];重慶師院學報(哲學社會科學版);2002年03期

7 王小海;關于計算詞典學[J];辭書研究;2003年05期

8 王祁,鄒冰;現行英漢機器翻譯系統(tǒng)存在的問題及解決策略[J];東北大學學報(社會科學版);2003年05期

9 劉葉濤;關于可能世界視域中的名稱與本質問題——兼評中西學者在相關領域中的學術論爭[J];東南大學學報(哲學社會科學版);2005年01期

10 周靜;試論人權的法制度—學說史意義[J];法律科學-西北政法學院學報;2003年03期

相關會議論文 前9條

1 Yu Junping;英漢雙語詞典在大學英語課堂教學中的應用(英文)[A];亞洲辭書學會第一屆年會論文集[C];1999年

2 張俊萍;馮志偉;;CTT在漢語語法研究和教學中的應用[A];第六屆漢語詞匯語義學研討會論文集[C];2005年

3 張四化;葛宇寧;;從對集合論悖論的剖析看制約邏輯的客體性[A];貴州制約邏輯學會2005年學術年會暨首屆全國性邏輯系統(tǒng)專題研討會論文集[C];2005年

4 廖琳;龔啟榮;;論羅素的邏輯主義[A];貴州制約邏輯學會2005年學術年會暨首屆全國性邏輯系統(tǒng)專題研討會論文集[C];2005年

5 馮志偉;;確定切詞單位的某些非語法因素[A];語言文字應用研究論文集（Ⅱ）[C];2004年

6 李晉霞;;面向計算機的“V_雙+N_雙”結構類型研究[A];語言文字應用研究論文集（Ⅱ）[C];2004年

7 李艷鴿;;數理邏輯對句子隱含語義的展示和分析[A];第四屆全國語言文字應用學術研討會論文集[C];2005年

8 金東日;;在朝漢機器翻譯上出現轉換的難點[A];民族語言文字信息技術研究——第十一屆全國民族語言文字信息學術研討會論文集[C];2007年

9 張俊萍;馮志偉;;多義動詞“有”的消歧研究與基于Prolog的自動分析實現[A];中國計算技術與語言問題研究——第七屆中文信息處理國際會議論文集[C];2007年

相關博士學位論文 前10條

1 王小潞;漢語隱喻認知的神經機制研究[D];浙江大學;2007年

2 黃東晶;俄漢代詞指示語對比研究[D];黑龍江大學;2001年

3 梁芳;計算機引起的數學哲學反思[D];中國社會科學院研究生院;2000年

4 何婷婷;語料庫研究[D];華中師范大學;2003年

5 馬紅妹;漢英機器翻譯中漢語上下文語境的表示與應用研究[D];中國人民解放軍國防科學技術大學;2002年

6 文貞惠;現代漢語否定范疇研究[D];復旦大學;2003年

7 劉春玲;弱智兒童語義加工的實驗研究[D];華東師范大學;2004年

8 鄭逢斌;關于計算機理解自然查詢語言的研究[D];西南交通大學;2004年

9 周蕓;新時期文學跨體式語言的語體學研究[D];復旦大學;2004年

10 方剛;維特根斯坦之命題意義的確定性問題研究[D];復旦大學;2004年

相關碩士學位論文 前10條

1 劉紅兵;模糊錯誤邏輯研究及其在防范證券投資風險中的應用[D];廣東工業(yè)大學;2000年

2 婁（王廷）;現代漢語分詞系統(tǒng)通用性設計及切分歧義處理[D];北京工業(yè)大學;2000年

3 朱彥;復合詞的語義結構與詞素義的提示機制[D];廣西師范大學;2000年

4 李林;三種認知語言觀與外語教學研究[D];陜西師范大學;2001年

5 祁飛;采用面向對象技術對DAI中Agent運行平臺的實現[D];西安建筑科技大學;2001年

6 韓習武;機器翻譯中語義因素的理論分析[D];黑龍江大學;2001年

7 張利芳;摹狀詞理論研究[D];西南師范大學;2001年

8 韓宇勝;論法律的不確定性[D];中國政法大學;2001年

9 唐春英;英漢歧義現象對比研究[D];廣西師范大學;2001年

10 黃艷;面向數字化產品的自然語言查詢技術的研究與開發(fā)[D];浙江大學;2002年

【相似文獻】

相關期刊論文 前2條

1 張秋成;類型—邏輯語法——一種自然語言語義分析的重要工具[J];中山大學學報(社會科學版);2003年S1期

2 張秋成;;類型—邏輯語法的句法特色[J];湖南科技大學學報(社會科學版);2006年03期

，

本文編號：2424236