范疇類型邏輯

內(nèi)容概要

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

作者簡介

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

書籍目錄

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

章節(jié)摘錄

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

編輯推薦

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

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    范疇類型邏輯 PDF格式下載

---