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

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