语言逻辑研究

2.1简单类型λ—演算的基础
2.2类型—逻辑语义学的核心内容
第三节类型—逻辑语法的形成
3.1兰贝克句法演算和类型—逻辑语义学的结合
3.2配以λ—词项的兰贝克句法演算
3.3类型—逻辑语法的词库
3.4类型—逻辑语法对自然语言句法和语义的描写
3.5自然演绎的兰贝克演算
3.6类型—逻辑语法与逻辑形式系统的深刻联系
第四节类型—逻辑语法在应用中的丰富和发展
4.1对并列结构的处理
4.2对无界约束结构的处理
4.3类型—逻辑语法对汉语的处理
第三章量词的自然语言推广
——广义量词理论
第一节广义量词理论概要
1.1量化简史
1.2广义量词的概念
1.3广义量词的分类
1.4广义量词的布尔运算
第二节广义量词的主要性质
2.1同构闭包性
2.2驻留性
2.3扩展性
2.4单调性
2.5对称性
第三节广义量词理论对经典量词逻辑的扩张
3.1扩张路径
3.2有待进一步研究的几个问题
第四章动态的语义分析方法
——话语表现理论
第一节传统形式语义学存在的问题
1.1静态的形式语义分析
1.2驴子句和不定摹状词
1.3句子序列的回指照应关系
第二节DRT的基本框架
2.1句法规则
2.2DRS的构造规则
2.3DRS在模型中的解释
第三节DRT对复合语句的刻画
3.1DRT对条件句的刻画
3.2DRT对选言句的刻画
3.3DRT对联言句的刻画
3.4从DRS到一阶谓词逻辑公式的翻译
第四节DRT对照应关系的处理
4.1对复数代词照应关系的处理
4.2DRT对时间照应关系的处理
第五节DRT的进一步发展
5.1双重否定DRT
5.2SDRT
第六节DRT与汉语语义的处理
6.1DRT处理汉语语义的可行性
6.2DRT处理汉语语义的展望
第五章蒙太格语法的动态变异
——动态蒙太格语法
第一节动态蒙太格语法的产生历程
1.1动态蒙太格语法的产生背景
1.2动态蒙太格语法的基本思想
1.3动态蒙太格语法的基本要素
第二节动态蒙太格语法的形式工具——动态内涵逻辑
2.1动态内涵逻辑的基本要素
2.2动态内涵逻辑的基本事实
第三节语句在动态蒙太格语法中的解释和翻译
3.1语句在动态蒙太格语法中的翻译
3.2动态蒙太格语法的信息更新机制
3.3语句序列在动态蒙太格语法中的解释
3.4相关定义和基本事实
第四节动态蒙太格语法的语句系统
4.1相关定义
4.2实例分析
4.3动态蒙太格语法的动态能力的扩展
第五节拓展研究
5.1动态语义学的基本理念
5.2有待进一步研究的问题
第六章态度句的逻辑研究
——情境语义学视野下的态度句
第一节概述
1.1态度动词
1.2态度语境中的同一替换问题
1.3态度语义研究须满足的条件
第二节SEEn态度报告语义及相关逻辑原则
2.1SEEn概述
2.2SEEn态度报告语义分析
2.3从SEEn态度报告语义看相关逻辑原则
第三节SEEt态度报告语义及相关逻辑原则
3.1SEEt概述
3.2SEEt等态度报告语义分析
3.3从SEEt等态度报告语义看相关逻辑原则
第四节分析和评价
第七章预设的逻辑研究
——投射问题的解决途径
第一节语义预设与语用预设
1.1预设理论的提出
1.2预设的语义解释
1.3预设的语用解释
第二节预设投射问题的解决途径
2.1组合原则与累积假设
2.2PHF模式
2.3基于PTQ的解决模式
2.4潜在预设说
2.5心里空间说
第三节预设的多值逻辑解释
3.1预设的语义性质在三值逻辑中的体现
3.2为语义预设的辩护
3.3三值逻辑与复合命题的预设
3.4四值逻辑与复合命题的预设
主要参考文献
后记