99r在线精品视频在线播放 ,婷婷韩国欧美一区二区

內(nèi)容簡介

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

作者簡介

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

圖書目錄

緒論
第一章　范疇類型邏輯的發(fā)展階段
第1節(jié)　古典范疇語法
1.1　范疇和運算
1.2　形式化表述
1.3　古典范疇語法的變異
第2節(jié)　Lambek句法演算
2.1　運算即推演
2.2　形式系統(tǒng)
第3節(jié)　蒙太格語法
3.1　范疇語法的獨特形態(tài)
3.2　通用語法模式
3.3　直接和間接的語義解釋
第4節(jié)　類型-邏輯語義學
4.1　句法和語義的綜合表述
4.2　后承演繹圖式和自然演繹系統(tǒng)
4.3　關(guān)于量化表達式的處理
第5節(jié)　語法邏輯
5.1　公理系統(tǒng)
5.2　框架語義學
5.3　GentZen后承表述
5.4　合并或交織的多模態(tài)系統(tǒng)
第二章　范疇類型邏輯的特性--邏輯的新功能
第1節(jié)　范疇類型邏輯的自然語言語句系統(tǒng)
1.1　蒙太格語法的語句系統(tǒng)
1.2　類型-邏輯語義學的語句系統(tǒng)
第2節(jié)　范疇類型邏輯和自然語言的計算機處理
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)系的范疇類型推演
參考文獻
后記