具體描述
《範疇類型邏輯》是“哲學宗教研究係列”之一，該書分範疇類型邏輯的發展階段、範疇類型邏輯的特性及範疇類型邏輯研究3個章節，對範疇類型邏輯作瞭係統全麵的介紹，具體包括Lambek句法演算、濛太格語法、範疇類型邏輯的自然語言語句係統、基於範疇類型邏輯的語法自動分析、有關漢語靈活語序的多模態範疇邏輯等。該書可供從事相關工作的人員作為參考用書使用。
著者簡介
鄒崇理，成都市人，哲學博士，師從我國著名邏輯學傢周禮全先生。1999年為香港理工大學外聘研究人員。2003年起為中國社會科學院哲學所研究員和博士生導師。2005年到美國賓夕法尼亞大學和馬薩諸塞大學訪問。現任邏輯研究室主任，哲學所學術委員會委員和職稱評審委員會委員，中國邏輯學會秘書長，中國邏輯學會語言邏輯專業委員會主任，北京邏輯學會副會長。十多年來在語言和邏輯的領域辛勤耕耘，齣版瞭《邏輯、語言和濛太格語法》、《自然語言邏輯研究》和《邏輯、語言和信息》等專著．發錶瞭《信息流邏輯》、《非連續量詞的類型-邏輯語義處理》和《多模態範疇邏輯研究》等四十多篇論文。其專著獲2002年度中國社科院優秀科研成果二等奬和2004年中國邏輯學會科研成果最高奬項。
圖書目錄
緒論第一章 範疇類型邏輯的發展階段第1節 古典範疇語法 1.1 範疇和運算 1.2 形式化錶述 1.3 古典範疇語法的變異一 第2節 Lambek句法演算 2.1 運算即推演 2.2 形式係統 第3節 濛太格語法 3.1 範疇語法的獨特形態 3.2 通用語法模式 3.3 直接和間接的語義解釋 第4節 類型-邏輯語義學 4.1 句法和語義的綜閤錶述 4.2 後承演繹圖式和自然演繹係統 4.3 關於量化錶達式的處理 第5節 語法邏輯 5.1 公理係統 5.2 框架語義學 5.3 GentZen後承錶述 5.4 閤並或交織的多模態係統第二章 範疇類型邏輯的特性——邏輯的新功能 第1節 範疇類型邏輯的自然語言語句係統 1.1 濛太格語法的語句係統 1.2 類型-邏輯語義學的語句係統 第2節 範疇類型邏輯和自然語言的計算機處理 2.1 基於範疇類型邏輯的邏輯程序語言 2.2 基於範疇類型邏輯的語法自動分析 第3節 範疇類型邏輯的邏輯係統 3.1 Lambek演算對判定問題的解決 3.2 對應λ-詞項的完全性證明 3.3 展示自然語言句法生成的語法邏輯 3.4 錶現自然語言語義的高階內涵邏輯 第4節 邏輯的新功能——關於自然語言的邏輯係統 4.1 源於語言照應關係的動態邏輯 4.2 用於語法分析的特徵結構邏輯 4.3 基於情境關聯的信息流邏輯第三章 範疇類型邏輯研究 第1節 非連續量詞的類型-邏輯語義處理 第2節 有關漢語靈活語序的多模態範疇邏輯 第3節 融閤特徵結構的範疇類型推演 第4節 處理照應關係的範疇類型推演參考文獻後記
· · · · · · (收起)
· · · · · · (收起)
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
TMD智商捉雞啊！
评分TMD智商捉雞啊！
评分中文初步瞭解可以。部分細節沒說明白建議找原始資料。
评分TMD智商捉雞啊！
评分TMD智商捉雞啊！
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有