自然語言邏輯研究

內(nèi)容概要

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

作者簡介

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

書籍目錄

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

編輯推薦

《自然語言邏輯研究》是從技術(shù)角度比較詳盡地論述了這些理論對自然語言邏輯結(jié)構(gòu)的分析處理。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    自然語言邏輯研究 PDF格式下載

---