注冊(cè) | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當(dāng)前位置: 首頁(yè)出版圖書人文社科哲學(xué)邏輯學(xué)(論理學(xué))范疇類型邏輯

范疇類型邏輯

范疇類型邏輯

定 價(jià):¥30.00

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

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

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

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

作者簡(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ì)秘書長(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)。

圖書目錄

緒論
第一章 范疇類型邏輯的發(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)
后記

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) m.ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)