语言逻辑研究

引论

第一章　自然语言的逻辑框架

蒙太格语法

第一节　蒙太格语法产生的背景

1．1逻辑学背景

1．2语言学背景

第二节　类型论和九一演算

2．1　类型论

2．2九一演算

第三节　内涵逻辑

3．1　内涵与外延

3．2　内涵类型论逻辑的语形

3．3　内涵类型论逻辑的语义

3．4　时态算子-

第四节　蒙太格的PTQ系统

引论

第一章　自然语言的逻辑框架

蒙太格语法

第一节　蒙太格语法产生的背景

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四值逻辑与复合命题的预设

主要参考文献

后记

《语言逻辑研究》内容简介：语言逻辑是现代语言学和现代逻辑学交叉发展起来的新兴学科。语言逻辑研究语言和语言学中的逻辑学问题，同时也研究逻辑学的语言基础问题。语言逻辑按照语形学（syntax）、语义学（semantics）和语用学（pragmatics）的研究框架展开研究。语用学研究符号与符号使用者之间的关系，代表性人物有牛津分析哲学家奥斯汀、美国心智哲学家和语言哲学家塞尔等人。这一部分讨论了语言哲学的产生，语言哲学基础和方法的变革，语言逻辑的对象、方法和意义，符号学三分法对语言哲学和语言逻辑的影响，最后讨论了语言哲学和语言逻辑的代表性人物乔姆斯基的语言理论和贡献。