自然語言邏輯研究

序言
自序
緒論
第一編 自然語言邏輯的基礎(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)動(dòng)態(tài)方法
1.2 DRT的句法部分
1.3 DRT的語義部分——話語表現(xiàn)結(jié)構(gòu)DRS
1.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ù)語索引
后記 【媒體評論】