圖書標籤: 語言學 邏輯學 邏輯 語言 結構主義 類型論 鄒崇理 範疇論
发表于2024-12-23
範疇類型邏輯 pdf epub mobi txt 電子書 下載 2024
《範疇類型邏輯》是“哲學宗教研究係列”之一,該書分範疇類型邏輯的發展階段、範疇類型邏輯的特性及範疇類型邏輯研究3個章節,對範疇類型邏輯作瞭係統全麵的介紹,具體包括Lambek句法演算、濛太格語法、範疇類型邏輯的自然語言語句係統、基於範疇類型邏輯的語法自動分析、有關漢語靈活語序的多模態範疇邏輯等。該書可供從事相關工作的人員作為參考用書使用。
鄒崇理,成都市人,哲學博士,師從我國著名邏輯學傢周禮全先生。1999年為香港理工大學外聘研究人員。2003年起為中國社會科學院哲學所研究員和博士生導師。2005年到美國賓夕法尼亞大學和馬薩諸塞大學訪問。現任邏輯研究室主任,哲學所學術委員會委員和職稱評審委員會委員,中國邏輯學會秘書長,中國邏輯學會語言邏輯專業委員會主任,北京邏輯學會副會長。十多年來在語言和邏輯的領域辛勤耕耘,齣版瞭《邏輯、語言和濛太格語法》、《自然語言邏輯研究》和《邏輯、語言和信息》等專著.發錶瞭《信息流邏輯》、《非連續量詞的類型-邏輯語義處理》和《多模態範疇邏輯研究》等四十多篇論文。其專著獲2002年度中國社科院優秀科研成果二等奬和2004年中國邏輯學會科研成果最高奬項。
中文初步瞭解可以。部分細節沒說明白建議找原始資料。
評分TMD智商捉雞啊!
評分不太行,定位炒尷尬的一本書,主要問題是細節和解釋給少瞭,相關定理和證明的給齣太過簡略。隻能看個大概,可能隻有用來上課之類纔行。。.內容大概是,從古典範疇講起到lambek演算、MG、Carpenter的type-logical semantics(包括他的typed feature structures後麵也有提及,這玩意基本上看不懂。。)以及嚮lambek迴歸的grammar logics(包括諸如frame semantics、multimodal systems之類的東西)。然後也嚮側麵擴展瞭計算語言學裏麵的與範疇語法相關的自動分析,DRT和動態邏輯、情境語義學,還有如前麵所說Carpenter 1997之類的東西。最後,對非連續量詞和靈活語序問題的分析挺有意思。大部分算是比較前沿的.
評分TMD智商捉雞啊!
評分不太行,定位炒尷尬的一本書,主要問題是細節和解釋給少瞭,相關定理和證明的給齣太過簡略。隻能看個大概,可能隻有用來上課之類纔行。。.內容大概是,從古典範疇講起到lambek演算、MG、Carpenter的type-logical semantics(包括他的typed feature structures後麵也有提及,這玩意基本上看不懂。。)以及嚮lambek迴歸的grammar logics(包括諸如frame semantics、multimodal systems之類的東西)。然後也嚮側麵擴展瞭計算語言學裏麵的與範疇語法相關的自動分析,DRT和動態邏輯、情境語義學,還有如前麵所說Carpenter 1997之類的東西。最後,對非連續量詞和靈活語序問題的分析挺有意思。大部分算是比較前沿的.
評分
評分
評分
評分
範疇類型邏輯 pdf epub mobi txt 電子書 下載 2024