序言
第1章内涵逻辑的起源
1.1引言
1.2意义对应理论
1.3自然主义与约定主义
1.4意义对应理论的变体
1.5作为意义指称理论的逻辑语义学
1.6意义指称理论存在的问题
1.7弗雷格的意义理论
1.8语境依赖
第2章内涵命题逻辑
2.1引言
2.2可能世界语义学
2.3模态命题逻辑
2.3.1历史背景
2.3.2句法与语义
2.3.3有效性概念的句法方法
2.3.4真势模态与认知模态
2.3.5一个应用
2.4时态命题逻辑
2.4.1句法与语义
2.4.2“现在”：一个扩展
2.4.3其他方法
2.5时态与模态的结合
第3章内涵谓词逻辑
3.1晦暗语境：从言模态与从物模态
3.2专有名词与限定摹状词：严格指称
3.3模态谓词逻辑语义学
3.3.1没有变项的公式
3.3.2等词
3.3.3变项与量词
3.3.4一个论域：存在谓词
3.4其他语境
3.5一个方法论的注解
第4章类型论与范畴语法
4.1引言
4.2类型论
4.2.1自然语言中类型的划分
4.2.2句法
4.2.3语义
4.3范畴语法
4.3.1引言
4.3.2范畴语法的特征
4.3.3范畴语法的描写充分性
4.3.4范畴语法和类型论
4.4λ—抽象
4.4.1λ—算子
4.4.2λ—转换
4.4.3λ—算子与组合性
第5章内涵类型论
5.1引言
5.2内涵构造和内涵概念
5.3句法
5.4语义
5.5算子“和”
5.6A—转换
5.7时态算子
5.8两体类型论
第6章蒙太格语法
6.1引言
6.1.1意义和句法的组合性
6.1.2对象语言和元语言：语义封闭性
6.1.3语义学与真值理论
6.2蒙太格语法的体系
6.3英语部分语句的蒙太格语法
6.3.1范畴和基本表达式
6.3.2词项、不及物动词、句子
6.3.3翻译进程的体系
6.3.4词项的翻译
6.3.5及物动词
6.3.6意义公设的作用
6.3.7部分语句系统的意义公设
6.3.8辖域歧义、从物解读和量化规则
6.3.9及物动词Be
6.3.10合取规则、析取规则和否定规则
6.3.11句子补语、非限定补语、形容词，关系从句和副词
6.4个体概念
6.4.1引入个体概念的必要性
6.4.2引入个体概念的后果
6.4.3一些实例
6.4.4意义公设
6.5组合性、逻辑形式和语法形式
6.6结语
第7章新近发展
7.1引言
7.2广义量词理论
7.2.1主要目标
7.2.2蒙太格语法中作为广义量词的NP短语
7.2.3限定词：两个视角
7.2.4NP和量词的一些基本性质
7.2.5普遍限制
7.2.6逻辑限定词
7.2.7进一步的发展
7.3灵活的范畴语法和类型论
7.3.1范畴变化
7.3.2逻辑的视角
7.3.3进一步的发展
7.4话语表现理论
7.4.1引言
7.4.2有关回指关系和非限定词项的一些问题
7.4.3DRT的非形式介绍
7.4.4形式定义
7.4.5DRT和组合性
7.4.6结论
练习答案
参考文献说明
参考文献
索引
译后记