语言逻辑研究

引论
**章　自然语言的逻辑框架
　　蒙太格语法
　**节　蒙太格语法产生的背景
　　1．1逻辑学背景
　　1．2语言学背景
　第二节　类型论和九一演算
　2．1　类型论
　2．2九一演算
第三节　内涵逻辑
　　3．1　内涵与外延
　　3．2　内涵类型论逻辑的语形
　　3．3　内涵类型论逻辑的语义
　　3．4　时态算子-
第四节　蒙太格的ptq系统
　4．1　普遍语法
　4．2 ptq系统中的语形
　4．3　内涵逻辑
　4．4 ptq系统的小结
第二章　句法范畴的逻辑演算
　　类型一逻辑语法
**节　类型一逻辑语法的句法学
　　1．1　范畴语法简介
　　1．2兰贝克演算
第二节　类型一逻辑语义学
　　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四值逻辑与复合命题的预设
主要参考文献
后记