123,123

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

　　自然語(yǔ)言邏輯是運(yùn)用現(xiàn)代邏輯方法研究自然語(yǔ)言的新學(xué)科，其開(kāi)端是蒙太格語(yǔ)法，以后發(fā)展出話語(yǔ)表現(xiàn)理論、類(lèi)型-邏輯語(yǔ)法等理論。本書(shū)是從技術(shù)角度比較詳盡地論述了這些理論對(duì)自然語(yǔ)言邏輯結(jié)構(gòu)的分析處理。本書(shū)還評(píng)述了蒙太格語(yǔ)法和話語(yǔ)表現(xiàn)理論所產(chǎn)生的各具特色的邏輯推演系統(tǒng)。本書(shū)在自然語(yǔ)言邏輯的基礎(chǔ)上，構(gòu)造了一個(gè)漢語(yǔ)部分語(yǔ)句系統(tǒng)，據(jù)此給出漢語(yǔ)多種時(shí)態(tài)（如進(jìn)行態(tài)，完成態(tài)和短暫態(tài)等）的嚴(yán)格定義，為全面深入研究漢語(yǔ)的時(shí)間結(jié)構(gòu)提供了邏輯基礎(chǔ)。<

作者簡(jiǎn)介

　　鄒崇理，1953年7月出生，四川成都市人。師從我國(guó)著名邏輯學(xué)家周禮全教授。1992年畢業(yè)于中國(guó)社會(huì)科學(xué)院研究生院，獲哲學(xué)博士學(xué)位?，F(xiàn)任中國(guó)社會(huì)科學(xué)院哲學(xué)所邏輯室副研究員。近10年來(lái)研究自然語(yǔ)言邏輯，以蒙太格語(yǔ)法為基礎(chǔ)，廣泛涉獵邏輯語(yǔ)法和形式語(yǔ)義學(xué)領(lǐng)域內(nèi)的話語(yǔ)表現(xiàn)理論、類(lèi)型-邏輯語(yǔ)法、廣義量詞理論以及情境語(yǔ)義學(xué)等多種理論。出版專著《邏輯、語(yǔ)言和蒙太格語(yǔ)法》，發(fā)表“論P(yáng)TQ系統(tǒng)的意義公設(shè)”“情境語(yǔ)義學(xué)”、“范疇語(yǔ)法和加標(biāo)演繹系統(tǒng)”、“范疇語(yǔ)法和類(lèi)型-邏輯語(yǔ)義學(xué)”、“話語(yǔ)表現(xiàn)理論DRT述評(píng)”和“動(dòng)態(tài)蒙太格語(yǔ)法”等多篇論文。

圖書(shū)目錄

序言
自序
緒論
第一編自然語(yǔ)言邏輯的基礎(chǔ)——形式語(yǔ)義學(xué)
第一章自然語(yǔ)方形式語(yǔ)義學(xué)的研究方法
第1節(jié) 自然語(yǔ)方形式語(yǔ)義學(xué)的研究方法
1.1 自然語(yǔ)言的邏輯結(jié)構(gòu)層次
1.2 λ-表達(dá)式的運(yùn)用
1.3 遞歸定義方法
1.4 樹(shù)形圖方法
1.5 部分語(yǔ)句系統(tǒng)方法
第2節(jié) 關(guān)于自然語(yǔ)言語(yǔ)義的模型理論方法
2.1 代數(shù)結(jié)構(gòu)與語(yǔ)義模型
2.2 意義的組合原則
2.3 間接的語(yǔ)義解釋
2.4 意義公設(shè)方法
第二章蒙太格語(yǔ)法
第1節(jié) 蒙太格語(yǔ)法概況
1.1 蒙太格語(yǔ)法與自然語(yǔ)言邏輯
1.2 蒙太格語(yǔ)法的理論來(lái)源及其發(fā)展
1.3 蒙太格語(yǔ)法的基本體系
第2節(jié) 通用語(yǔ)法思想及其英語(yǔ)語(yǔ)句系統(tǒng)
2.1 邏輯語(yǔ)言和自然語(yǔ)言的通用語(yǔ)法
2.2 直接語(yǔ)義解釋的英語(yǔ)系統(tǒng)
2.3 間接語(yǔ)義解釋牟英語(yǔ)系統(tǒng)
第3節(jié) 蒙太格語(yǔ)法的語(yǔ)用學(xué)研究
第三章話語(yǔ)表現(xiàn)理論DRT
第1節(jié) DRT的基本體系
1.1 DRT的漸進(jìn)動(dòng)態(tài)方法
1.2 DRT的句法部分
1.3 DRT的語(yǔ)義部分——話語(yǔ)表現(xiàn)結(jié)構(gòu)DRS
1.4 DRT的語(yǔ)義部分——DRS的語(yǔ)義模型
1.5 從DRS到謂詞邏輯
第2節(jié) DRT的擴(kuò)展及其述評(píng)
2.1 DRT關(guān)于復(fù)合句的處理特色
2.2 DRT關(guān)于復(fù)數(shù)名詞與代詞照應(yīng)關(guān)系的刻畫(huà)
2.3 DRT關(guān)于句子之間時(shí)間聯(lián)系的描述
第四章類(lèi)型-邏輯語(yǔ)法
第1節(jié) 范疇語(yǔ)法發(fā)展簡(jiǎn)述
第2節(jié) 類(lèi)型-邏輯語(yǔ)法
2.1 簡(jiǎn)單類(lèi)型λ-演算
2.2 高階邏輯
2.3 貼合的范疇語(yǔ)法
2.4 Lambek演算
第3節(jié) 類(lèi)型-邏輯語(yǔ)法述評(píng)
3.1 并列關(guān)聯(lián)與無(wú)界限依賴關(guān)系的處理
3.2 量化轄域現(xiàn)象的推廣
第二編自然語(yǔ)言邏輯的深化——形式演繹系統(tǒng)
第五章蒙太格邏輯的句法和語(yǔ)義
第1節(jié) 內(nèi)涵邏輯的句法和語(yǔ)義
第2節(jié) 內(nèi)涵邏輯的公理系統(tǒng)
……
第三編漢語(yǔ)的自然語(yǔ)言邏輯研究
參考書(shū)目
術(shù)語(yǔ)索引
后記【媒體評(píng)論】