《類型—邏輯語法研究》是2007年中國人民大學出版社出版的圖書，作者是張秋成。
基本介紹
- 書名：類型—邏輯語法研究
- 作者：張秋成
- ISBN：9787300084053
- 類別：圖書 > 語言文字 > 語言學
- 出版社：中國人民大學出版社
- 出版時間：2007-05-01
- 裝幀：平裝
- 紙張：膠版紙
內容簡介,作者簡介,目錄,
內容簡介
類型-邏輯語法，以其表述的簡潔性、理論的邏輯化和辭彙化傾向以及更好地符合意義組合原則等鮮明特色，受到了形式語義學、語言學、語言哲學和自然語言理解和處理等領域的廣泛關注，並繼續保持迅猛的發展勢頭。 《類型 邏輯語法研究》作者試圖在充分借鑑國內外研究成果的基礎之上，不但完整準確地介紹、分析和評價類型-邏輯語法這一重要的自然語言邏輯理論，而且從理論和實踐兩方面探討該理論對漢語形式化研究的適用性，為我國的漢語形式化處理、這一十分落後和薄弱的領域、做一些有益的探索和努力。
作者簡介
張秋成，2003年獲得中國人民大學哲學博士學位，現任中國人民大學外國語學院講師。主要研究方向為語言邏輯、語言哲學和理論語言學，發表《內涵語境下替換失效問題及其解決》（被CSSC1收錄）、《類型-邏輯語法的句法特色》（被中國人民大學書報資料中心全文轉載）等8篇論文，編著《大學英語讀寫教程》（編者之一）、《工商管理英語教程（上冊）》（副主編及編者之一）等。
目錄
第一章
導論1.1
語言邏輯的學科性質和研究對象1.2
語言邏輯和自然語言理解和處理1.3
自然語言邏輯研究的方法論原則——意義組合原則1.4
類型-邏輯語法在國內外的研究狀況1.5
本書的創新之處1.6
本書的寫作特點和基本框架第二章
類型-邏輯語法的句法學2.1
範疇語法簡介2.2
蘭貝克演算第三章
類型-邏輯語義學3.1
蒙塔古語法的內涵類型邏輯3.2
簡單類型的λ-演算3.3
高階邏輯第四章
類型-邏輯語法的形成4.1
蘭貝克句法演算和類型-邏輯語義學的結合4.2
配以λ-詞項的蘭貝克句法演算4.3
類型-邏輯語法的詞庫4.4
類型-邏輯語法對自然語言句法和語義的描寫4.5
自然演繹的蘭貝克演算4.6
自然演繹的蘭貝克演算的規範化歸模式4.7
意義公設4.8
積運算第五章
類型-邏輯語法與邏輯形式系統的深刻聯繫5.1
作為一種子結構邏輯的類型-邏輯語法5.2
類型-邏輯語法與直覺主義命題邏輯第六章
類型-邏輯語法在套用中的豐富和發展（上）6.1
對並列結構的處理6.2
對無界限約束結構的處理6.3
對量化結構和量化轄域問題的處理第七章
類型-邏輯語法在套用中的豐富和發展（下）7.1
不承認結合公理的蘭貝克演算7.2
克里普克信息模型7.3
範疇語法的多重模態系統7.4
空隙構造運算元十演繹模式的改進及其對非連續結構的處理7.5
結構控制第八章
類型-邏輯語法對漢語的處理8.1
我國的自然語言邏輯研究狀況8.2
類型-邏輯語法對漢語形式化研究的適用性8.3
類型-邏輯語法對漢語的形式化處理結語參考文獻後記
