自然语言逻辑系列研...doc

目 录 自然语言的逻辑框架——蒙太古语法 第一节 蒙太格语法产生的背景 1 1.1 蒙太格语法产生的逻辑学背景 2 1.2 蒙太格语法产生的语言学背景 4 第二节 类型论和(-演算 7 2.1 类型论 7 2.2 (-演算 14 第三节 内涵逻辑 18 3.1内涵与外延 18 3.2 内涵类型论逻辑的语形 20 3.3 内涵类型论逻辑的语义 23 3.4 时态算子 26 第四节 蒙太格的PTQ系统 27 4.1普遍语法 27 4.2 PTQ系统中的语形 30 4.3 内涵逻辑 39 4.4 翻译 43 4.5 PTQ系统的小结 46 第二章 句法范畴的逻辑演算？——类型-逻辑语法 第一节 类型-逻辑语法的句法学 49 1.1 范畴语法简介 49 1.2 兰贝克演算 52 第二节 类型-逻辑语义学 2.1蒙塔古语法的内涵类型逻辑 2.2简单类型的λ-演算 类型逻辑语法的形成3.1. 兰贝克句法演算和类型逻辑语义学的结合 3.2. 配以λ-词项的兰贝克句法演算 3.3. 类型-逻辑语法的词库 3.4. 类型逻辑语法对自然语言句法和语义的描写 3.5. 自然演绎的兰贝克演算 类型逻辑语法与逻辑形式系统的深刻联系 类型-逻辑语法在应用中的丰富和发展 .1 对并列结构的处理 .2对无界约束结构的处理 类型逻辑语法对汉语的处理 第一节 广义量词概要 92 1.1量化简史 92 1.2广义量词的概念 95 1.3广义量词的分类 96 1.4广义量词的布尔运算 97 第二节 广义量词的主要性质 101 2.1同构闭包性 102 2.2驻留性 105 2.3扩展性 108 2.4单调性 111 2.5对称性 120 第三节 广义量词理论对经典量词逻辑的扩张 126 第四章 动态的语义分析方法 —— 话语表征理论 第一节 传统形式语义学存在的问题 133 1.1静态的形式语义分析 133 1.2驴子句和不定摹状词 134 1.3句子序列的廻指照应关系 136 第二节 DRT的基本框架 137 2.1 句法规则 137 2.2 DRS的构造规则 141 2.3 DRS在模型中的解释 150 第三节 DRT对复合语句的刻画 152 3.1 DRT对条件句的刻画 153 3.2 DRT对选言句的刻画 156 3.3 DRT对联言句的刻画 157 3.4从DRS到一阶谓词逻辑公式的翻译 158 第四节 DRT对照应关系的处理 160 4.1 对复数代词照应关系的处理 160 4.2 DRT对时间照应关系的处理 162 第五节 DRT的进一步发展 166 5.1 双重否定DRT 166 5.2 SDRT 171 第六节 DRT与汉语语义的处理 177 6.1 DRT处理汉语语义的可行性 177 6.2 DRT处理汉语语义的展望 179 蒙太格语法的动态变异 —— 动态蒙太格语法 第一节 动态蒙太格语法的产生历程 183 1.1 动态蒙太格语法的产生背景 183 1.2 动态蒙太格语法的基本思想 185 1.3 动态蒙太格语法的基本要素 186 第二节 动态蒙太格语法的形式工具((动态内涵逻辑 189 2.1 动态内涵逻辑的基本要素 189 2.2 动态内涵逻辑的基本事实 192 第三节 语句在动态蒙太格语法中的解释和翻译 194 3.1语句在动态蒙太格语法中的翻译 194 3.2 动态蒙太格语法的信息更新机制 195 3.3语句序列在动态蒙太格语法中的解释 197 3.4相关定义和基本事实 200 第四节 动态蒙太格语法的语句系统 202 4.1 相关定义 203 4.2 实例分析 205 4.3 动态蒙太格语法动态能力的扩展 208 第五节 拓展研究 213 5.1 动态语义学的基本理念 214 5.2 笔者的思考 214 第六章 态度句的逻辑研究 —— 情境语义学视野下的态度句 第一节 概述 218 1.1 态度动词 218 1.2 态度语境中的同一替换问题 219 1.3 态度语义研究须满足的条件 223 第二节 SEEn态度报告语义及相关逻辑原则 225 2.1 SEEn概述 225 2.2 SEEn态度报告语义分析 228 2.3 从SEEn态度报告语义看相关逻辑原则 231 第三节 SEEt态度报告语义及相关逻辑原则 240 3.1 SEEt概述 240 3.2 SEEt等态度报告语义分析 247 3.3 从SEEt等态度报告语义看相关逻辑原则 251 第四节 分析和评价 254 第七章 预设的逻辑研究 —— 投射问题的解决途径 第一节 语义预设与语用预设 259 1.1预设理论的提出 259 1.2预设的语义解释 262 1.3预设的语用解释 271 第二节 预设投射问题的解决途径