內容簡介
範疇類型邏輯範疇類型邏輯是一種使用運算和推演的手段描述語言的形式化工具。本書對範疇類型邏輯的發展階段、範疇類型邏輯的新功能和範疇類型邏輯的研究進行了全面的論述。
作者簡介
鄒崇理，成都市人，哲學博士，師從我國著名邏輯學家周禮全先生。1999年為香港理工大學外聘研究人員。2003年起為中國社會科學院哲學所研究員和博士生導師。2005年到美國賓夕法尼亞大學和馬塞諸塞大學訪問。2006年起任邏輯研究室主任，哲學所學術委員會委員和職稱評審委員會委員。2004年起任中國邏輯學會秘書長，中國邏輯學會語言邏輯專業委員會主任，北京邏輯學會副會長。十多年來在語言和邏輯的領域辛勤耕耘，出版了《邏輯、語言和蒙太格語法》、《自然語言邏輯研究》和《邏輯、語言和信息》等專著，發表了《信息流邏輯》、《非連續量詞的類型-邏輯語義處理》和《多模態範疇邏輯研究》等四十多篇論文。其專著獲2002年度中國社科院優秀科研成果二等獎和2004年中國邏輯學會科研成果最高獎項。
目錄
緒論
第一章範疇類型邏輯的發展階段
第1節古典範疇語法
第2節Lambek句法演算
第3節蒙太格語法
第4節類型——邏輯語義學
第5節語法邏輯
第二章範疇類型邏輯的特性——邏輯的新功能
第三章範疇類型邏輯研究
參考文獻
後記
……
