范疇類(lèi)型邏輯

內(nèi)容概要

　　《范疇類(lèi)型邏輯》是“哲學(xué)宗教研究系列”之一，該書(shū)分范疇類(lèi)型邏輯的發(fā)展階段、范疇類(lèi)型邏輯的特性及范疇類(lèi)型邏輯研究3個(gè)章節(jié)，對(duì)范疇類(lèi)型邏輯作了系統(tǒng)全面的介紹，具體包括Lambek句法演算、蒙太格語(yǔ)法、范疇類(lèi)型邏輯的自然語(yǔ)言語(yǔ)句系統(tǒng)、基于范疇類(lèi)型邏輯的語(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ì)委員和職稱(chēng)評(píng)審委員會(huì)委員。2004年起任中國(guó)邏輯學(xué)會(huì)秘書(shū)長(zhǎng)，中國(guó)邏輯學(xué)會(huì)語(yǔ)言邏輯專(zhuān)業(yè)委員會(huì)主任，北京邏輯學(xué)會(huì)副會(huì)長(zhǎng)。十多年來(lái)在語(yǔ)言和邏輯的領(lǐng)域辛勤耕耘，出版了《邏輯、語(yǔ)言和蒙太格語(yǔ)法》、《自然語(yǔ)言邏輯研究》和《邏輯、語(yǔ)言和信息》等專(zhuān)著，發(fā)表了《信息流邏輯》、《非連續(xù)量詞的類(lèi)型-邏輯語(yǔ)義處理》和《多模態(tài)范疇邏輯研究》等四十多篇論文。其專(zhuān)著獲2002年度中國(guó)社科院優(yōu)秀科研成果二等獎(jiǎng)和2004年中國(guó)邏輯學(xué)會(huì)科研成果最高獎(jiǎng)項(xiàng)。

書(shū)籍目錄

緒論第一章　范疇類(lèi)型邏輯的發(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é)　類(lèi)型-邏輯語(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)第二章　范疇類(lèi)型邏輯的特性——邏輯的新功能第1節(jié)　范疇類(lèi)型邏輯的自然語(yǔ)言語(yǔ)句系統(tǒng)1.1　蒙太格語(yǔ)法的語(yǔ)句系統(tǒng)1.2　類(lèi)型-邏輯語(yǔ)義學(xué)的語(yǔ)句系統(tǒng)第2節(jié)　范疇類(lèi)型邏輯和自然語(yǔ)言的計(jì)算機(jī)處理2.1　基于范疇類(lèi)型邏輯的邏輯程序語(yǔ)言2.2　基于范疇類(lèi)型邏輯的語(yǔ)法自動(dòng)分析第3節(jié)　范疇類(lèi)型邏輯的邏輯系統(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)的信息流邏輯第三章　范疇類(lèi)型邏輯研究第1節(jié)　非連續(xù)量詞的類(lèi)型-邏輯語(yǔ)義處理第2節(jié)　有關(guān)漢語(yǔ)靈活語(yǔ)序的多模態(tài)范疇邏輯第3節(jié)　融合特征結(jié)構(gòu)的范疇類(lèi)型推演第4節(jié)　處理照應(yīng)關(guān)系的范疇類(lèi)型推演參考文獻(xiàn)后記

章節(jié)摘錄

第一章 范疇類(lèi)型邏輯的發(fā)展階段范疇類(lèi)型邏輯的發(fā)展階段分為：古典范疇語(yǔ)法；Lambek句法演算；蒙太格語(yǔ)法；類(lèi)型-邏輯語(yǔ)義學(xué)和語(yǔ)法邏輯。古典范疇語(yǔ)法通過(guò)范疇的運(yùn)算來(lái)刻畫(huà)語(yǔ)言符號(hào)串由小到大逐層逐級(jí)的生成毗連；Lambek句法演算的做法是用范疇構(gòu)成一個(gè)形式系統(tǒng)，用其中的定理表示范疇的運(yùn)算規(guī)律；蒙太格語(yǔ)法作為范疇類(lèi)型邏輯的獨(dú)特發(fā)展形態(tài)，其句法規(guī)則在范疇語(yǔ)法的基礎(chǔ)上展現(xiàn)自然語(yǔ)言自身的生成，并通過(guò)句法范疇和邏輯類(lèi)型的對(duì)應(yīng)，建立了自然語(yǔ)言的形式語(yǔ)義理論，包括以函項(xiàng)運(yùn)算為載體的直接語(yǔ)義解釋和把自然語(yǔ)言翻譯成高階內(nèi)涵邏輯語(yǔ)言而確立的間接語(yǔ)義解釋?zhuān)活?lèi)型-邏輯語(yǔ)義學(xué)通過(guò)句法范疇和九一詞項(xiàng)的并行推演，展示自然語(yǔ)言句法和語(yǔ)義的對(duì)應(yīng)關(guān)系，并且以后承演繹圖示和自然演繹系統(tǒng)的方式來(lái)表述這種推演；語(yǔ)法邏輯的重要特色是把函子范疇中的斜線算子和范疇的毗連皆看做二元模態(tài)算子，從而在范疇類(lèi)型邏輯的領(lǐng)域內(nèi)開(kāi)辟了多模態(tài)系統(tǒng)的發(fā)展方向。第1節(jié)古典范疇語(yǔ)法古典范疇語(yǔ)法簡(jiǎn)稱(chēng)范疇語(yǔ)法（CategoricalGrammar），是范疇類(lèi)型邏輯最初的發(fā)展階段，是一種體現(xiàn)運(yùn)算思想的描述語(yǔ)言的形式化工具。范疇語(yǔ)法的基本做法是從不同層次的語(yǔ)言表達(dá)式那里抽象出句法范疇，再通過(guò)范疇的運(yùn)算去刻畫(huà)語(yǔ)言由小到大逐層逐級(jí)的毗連生成。范疇語(yǔ)法的思想來(lái)源于19世紀(jì)末20世紀(jì)初德國(guó)邏輯學(xué)家弗雷格的語(yǔ)句函項(xiàng)觀點(diǎn)，以及英國(guó)邏輯學(xué)家羅素和波蘭邏輯學(xué)家列斯尼維斯基提出的羅素一列斯尼維斯基的分層思想；20世紀(jì)30年代波蘭邏輯學(xué)家愛(ài)裘凱維茨等人開(kāi)創(chuàng)了系統(tǒng)完整的范疇語(yǔ)法研究；50年代初美國(guó)數(shù)理語(yǔ)言學(xué)家巴一希勒爾把范疇概念推廣到自然語(yǔ)言的領(lǐng)域。上述一系列工作確立了范疇語(yǔ)法的基本內(nèi)容，同時(shí)也為20世紀(jì)50年代末加拿大數(shù)學(xué)家蘭貝克構(gòu)造的句法范疇演算系統(tǒng)、60年代末至70年代初美國(guó)數(shù)理邏輯學(xué)家蒙太格創(chuàng)立的蒙太格語(yǔ)法，以及80年代開(kāi)始出現(xiàn)的類(lèi)型-邏輯語(yǔ)義學(xué)和作為多模態(tài)系統(tǒng)的語(yǔ)法邏輯奠定了基礎(chǔ)。

編輯推薦

《范疇類(lèi)型邏輯》對(duì)范疇類(lèi)型邏輯的發(fā)展階段、范疇類(lèi)型邏輯的新功能和范疇類(lèi)型邏輯的研究進(jìn)行了全面的論述。范疇類(lèi)型邏輯是一種使用運(yùn)算和推演的手段描述語(yǔ)言的形式化工具。

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    范疇類(lèi)型邏輯 PDF格式下載

---