具體描述
類型－邏輯語法，作為一種以邏輯推理為基礎的自然語言邏輯理論，自上個世紀80年代誕生以來，就以其錶述的簡潔性、理論的邏輯化和詞匯化傾嚮以及更好地符閤意義組閤原則等鮮明特色，受到瞭形式語義學、語言學、語言哲學等專業理論知識，如果沒有長期的深入的鑽研和寬廣紮實的知識儲備，想要達到對他的深刻領悟和準確理解是不可能的。
著者簡介
張鞦成，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
類型-邏輯語法對漢語的形式化處理結語參考文獻後記
· · · · · · (收起)
導論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
類型-邏輯語法對漢語的形式化處理結語參考文獻後記
· · · · · · (收起)
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有