邏輯語義學(xué)的組合原則研究

目錄
序
前言
常用縮寫一覽表
章 預(yù)備知識 1
節(jié) 簡單類型論 1
一、簡單類型論的起源 3
二、簡單類型論簡介 4
第二節(jié) 范疇語法 17
一、范疇語法的起源 17
二、范疇語法簡介 18
三、組合范疇語法簡介 22
第三節(jié) 標(biāo)準(zhǔn)話語表現(xiàn)理論 29
一、話語表現(xiàn)理論中自然語言的生成句法 30
二、話語表現(xiàn)理論的語義部分—話語表現(xiàn)結(jié)構(gòu)DRS 35
三、話語表現(xiàn)理論的語義部分—DRS的語義模型 36
第四節(jié) λ-演算 39
一、α-轉(zhuǎn)換 40
二、β-轉(zhuǎn)換 41
三、η-轉(zhuǎn)換 43
第二章 從話語表現(xiàn)理論看組合性問題 45
節(jié) 組合原則的界定及簡單梳理 46
一、組合原則的界定 46
二、組合性的歷史 48
三、組合原則的爭議 48
第二節(jié) 邏輯語義學(xué)的組合性問題的緣起 50
第三節(jié) 標(biāo)準(zhǔn)話語表現(xiàn)理論中的組合性問題 52
一、標(biāo)準(zhǔn)話語表現(xiàn)理論的產(chǎn)生與非組合性定位 52
二、標(biāo)準(zhǔn)話語表現(xiàn)理論句法構(gòu)造的非組合性特征 53
三、標(biāo)準(zhǔn)話語表現(xiàn)理論語義方面的組合性問題 55
第四節(jié) 兩種研究進路及“中庸之道” 58
一、吸收動態(tài)性的經(jīng)典組合性系統(tǒng) 59
二、吸收組合性的話語表現(xiàn)理論系統(tǒng) 59
三、“中庸之道”—合并兩大語義框架 61
第三章 吸收動態(tài)性的經(jīng)典組合性系統(tǒng) 62
節(jié) 吸收動態(tài)性而棄用DRS的組合性系統(tǒng) 62
一、動態(tài)謂詞邏輯方案 62
二、動態(tài)蒙太格語法方案 80
三、替代性方案總結(jié) 92
第二節(jié) 保留話語表現(xiàn)結(jié)構(gòu)且遵循組合性的典型方案 92
一、繆斯肯斯1994年的工作 92
二、繆斯肯斯1996年的工作 101
第三節(jié) 方案回顧與展望 107
第四章 吸收組合性的話語表現(xiàn)理論語義框架 109
節(jié) 齊瓦特方案 109
一、重述DRS構(gòu)造 109
二、一個英語片段 113
第二節(jié) 實用方案 121
一、博斯等采用的λ-話語表現(xiàn)理論 122
二、科爾哈賽等的工作 123
第三節(jié) 范 艾克和坎普方案 124
一、改造句法與語義系統(tǒng) 124
二、一個英語片段 139
第四節(jié) 其他成果及小結(jié) 143
第五章 范疇語法與話語表現(xiàn)理論結(jié)合的原型 145
節(jié) 改造標(biāo)準(zhǔn)話語表現(xiàn)理論原有的自然語言句法系統(tǒng) 145
一、范疇語法思想 145
二、蘭貝克演算：自然語言句法 147
第二節(jié) 句法語義并行推演：簡約話語表現(xiàn)理論作為語義層 150
一、從蘭貝克演算到類型邏輯 150
二、從類型邏輯到雙指針投射話語表現(xiàn)理論 152
三、蘭貝克證明與投射話語表現(xiàn)理論并行推演 156
四、適用于動詞省略現(xiàn)象的投射話語表現(xiàn)理論 157
第三節(jié) 一個簡單的應(yīng)用 159
第四節(jié) 方案回顧與總結(jié) 161
一、話語表現(xiàn)理論組合性問題得以解決 161
二、省略與回指之間存在類似的機制與處理方法 161
三、動態(tài)性與組合原則之間存在互動 162
第六章 組合范疇語法與投射話語表現(xiàn)理論結(jié)合的系統(tǒng) 168
節(jié) PMB中所使用的DRS說明 168
一、簡單DRS條件 169
二、簡單DRS的幾個應(yīng)用 173
三、復(fù)雜DRS條件 175
四、投射DRS條件 182
第二節(jié) 語義角色標(biāo)注的標(biāo)準(zhǔn)刻畫及事件、時間概念的簡介 194
一、語義角色標(biāo)注的標(biāo)準(zhǔn)刻畫 194
二、事件和時間間隔概念簡介 197
第三節(jié) 組合范疇語法和投射話語表現(xiàn)理論的平行推演 202
一、量化問題的刻畫 202
二、回指照應(yīng)現(xiàn)象的刻畫 209
三、含預(yù)設(shè)成分的刻畫 213
四、其他現(xiàn)象的刻畫 215
第四節(jié) 方案特色與展望 219
一、方案特色：邏輯與自然語言信息處理的交叉互動 219
二、后續(xù)展望 222
參考文獻 224
后記 233