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