范疇類型邏輯

定　價(jià)：￥30.00

作　者：	鄒崇理
出版社：	中國(guó)社會(huì)科學(xué)出版社
叢編項(xiàng)：	中國(guó)社會(huì)科學(xué)院文庫(kù)
標(biāo)　簽：	哲學(xué)理論

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787500467113	出版時(shí)間：	2008-01-01	包裝：	平裝
開(kāi)本：	16	頁(yè)數(shù)：	251 pages	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《范疇類型邏輯》是“哲學(xué)宗教研究系列”之一，該書(shū)分范疇類型邏輯的發(fā)展階段、范疇類型邏輯的特性及范疇類型邏輯研究3個(gè)章節(jié)，對(duì)范疇類型邏輯作了系統(tǒng)全面的介紹，具體包括Lambek句法演算、蒙太格語(yǔ)法、范疇類型邏輯的自然語(yǔ)言語(yǔ)句系統(tǒng)、基于范疇類型邏輯的語(yǔ)法自動(dòng)分析、有關(guān)漢語(yǔ)靈活語(yǔ)序的多模態(tài)范疇邏輯等。該書(shū)可供從事相關(guān)工作的人員作為參考用書(shū)使用。

作者簡(jiǎn)介

　　鄒崇理，成都市人，哲學(xué)博士，師從我國(guó)著名邏輯學(xué)家周禮全先生。1999年為香港理工大學(xué)外聘研究人員。2003年起為中國(guó)社會(huì)科學(xué)院哲學(xué)所研究員和博士生導(dǎo)師。2005年到美國(guó)賓夕法尼亞大學(xué)和馬塞諸塞大學(xué)訪問(wèn)。2006年起任邏輯研究室主任，哲學(xué)所學(xué)術(shù)委員會(huì)委員和職稱評(píng)審委員會(huì)委員。2004年起任中國(guó)邏輯學(xué)會(huì)秘書(shū)長(zhǎng)，中國(guó)邏輯學(xué)會(huì)語(yǔ)言邏輯專業(yè)委員會(huì)主任，北京邏輯學(xué)會(huì)副會(huì)長(zhǎng)。十多年來(lái)在語(yǔ)言和邏輯的領(lǐng)域辛勤耕耘，出版了《邏輯、語(yǔ)言和蒙太格語(yǔ)法》、《自然語(yǔ)言邏輯研究》和《邏輯、語(yǔ)言和信息》等專著，發(fā)表了《信息流邏輯》、《非連續(xù)量詞的類型-邏輯語(yǔ)義處理》和《多模態(tài)范疇邏輯研究》等四十多篇論文。其專著獲2002年度中國(guó)社科院優(yōu)秀科研成果二等獎(jiǎng)和2004年中國(guó)邏輯學(xué)會(huì)科研成果最高獎(jiǎng)項(xiàng)。

圖書(shū)目錄

緒論
第一章　范疇類型邏輯的發(fā)展階段
第1節(jié)　古典范疇語(yǔ)法
1.1　范疇和運(yùn)算
1.2　形式化表述
1.3　古典范疇語(yǔ)法的變異
第2節(jié)　Lambek句法演算
2.1　運(yùn)算即推演
2.2　形式系統(tǒng)
第3節(jié)　蒙太格語(yǔ)法
3.1　范疇語(yǔ)法的獨(dú)特形態(tài)
3.2　通用語(yǔ)法模式
3.3　直接和間接的語(yǔ)義解釋
第4節(jié)　類型-邏輯語(yǔ)義學(xué)
4.1　句法和語(yǔ)義的綜合表述
4.2　后承演繹圖式和自然演繹系統(tǒng)
4.3　關(guān)于量化表達(dá)式的處理
第5節(jié)　語(yǔ)法邏輯
5.1　公理系統(tǒng)
5.2　框架語(yǔ)義學(xué)
5.3　GentZen后承表述
5.4　合并或交織的多模態(tài)系統(tǒng)
第二章　范疇類型邏輯的特性--邏輯的新功能
第1節(jié)　范疇類型邏輯的自然語(yǔ)言語(yǔ)句系統(tǒng)
1.1　蒙太格語(yǔ)法的語(yǔ)句系統(tǒng)
1.2　類型-邏輯語(yǔ)義學(xué)的語(yǔ)句系統(tǒng)
第2節(jié)　范疇類型邏輯和自然語(yǔ)言的計(jì)算機(jī)處理
2.1　基于范疇類型邏輯的邏輯程序語(yǔ)言
2.2　基于范疇類型邏輯的語(yǔ)法自動(dòng)分析
第3節(jié)　范疇類型邏輯的邏輯系統(tǒng)
3.1　Lambek演算對(duì)判定問(wèn)題的解決
3.2　對(duì)應(yīng)詞項(xiàng)的完全性證明
3.3　展示自然語(yǔ)言句法生成的語(yǔ)法邏輯
3.4　表現(xiàn)自然語(yǔ)言語(yǔ)義的高階內(nèi)涵邏輯
第4節(jié)　邏輯的新功能--關(guān)于自然語(yǔ)言的邏輯系統(tǒng)
4.1　源于語(yǔ)言照應(yīng)關(guān)系的動(dòng)態(tài)邏輯
4.2　用于語(yǔ)法分析的特征結(jié)構(gòu)邏輯
4.3　基于情境關(guān)聯(lián)的信息流邏輯
第三章　范疇類型邏輯研究
第1節(jié)　非連續(xù)量詞的類型-邏輯語(yǔ)義處理
第2節(jié)　有關(guān)漢語(yǔ)靈活語(yǔ)序的多模態(tài)范疇邏輯
第3節(jié)　融合特征結(jié)構(gòu)的范疇類型推演
第4節(jié)　處理照應(yīng)關(guān)系的范疇類型推演
參考文獻(xiàn)
后記