範疇類型邏輯

《範疇類型邏輯》是2008年中國社會科學出版社出版的圖書,作者是鄒崇理。

基本信息

內容簡介

範疇類型邏輯範疇類型邏輯

範疇類型邏輯是一種使用運算和推演的手段描述語言的形式化工具。本書對範疇類型邏輯的發展階段、範疇類型邏輯的新功能和範疇類型邏輯的研究進行了全面的論述。

作者簡介

鄒崇理,成都市人,哲學博士,師從我國著名邏輯學家周禮全先生。1999年為香港理工大學外聘研究人員。2003年起為中國社會科學院哲學所研究員和博士生導師。2005年到美國賓夕法尼亞大學和馬塞諸塞大學訪問。2006年起任邏輯研究室主任,哲學所學術委員會委員和職稱評審委員會委員。2004年起任中國邏輯學會秘書長,中國邏輯學會語言邏輯專業委員會主任,北京邏輯學會副會長。十多年來在語言和邏輯的領域辛勤耕耘,出版了《邏輯、語言和蒙太格語法》、《自然語言邏輯研究》和《邏輯、語言和信息》等專著,發表了《信息流邏輯》、《非連續量詞的類型-邏輯語義處理》和《多模態範疇邏輯研究》等四十多篇論文。其專著獲2002年度中國社科院優秀科研成果二等獎和2004年中國邏輯學會科研成果最高獎項。

目錄

緒論

第一章範疇類型邏輯的發展階段

第1節古典範疇語法

第2節Lambek句法演算

第3節蒙太格語法

第4節類型——邏輯語義學

第5節語法邏輯

第二章範疇類型邏輯的特性——邏輯的新功能

第三章範疇類型邏輯研究

參考文獻

後記

……

相關搜尋

熱門詞條

聯絡我們