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

引论
第一章 自然语言的逻辑框架——蒙太格语法
第一节 蒙太格语法产生的背景
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 有待进一步研究的几个问题

第四章 动态的语义分析方法——话语表现理论
第一节 传统形式语义学存在的问题
……
第五章 蒙太格语法的动态变异——动态蒙太格语法
第六章 态度句的逻辑研究——情境语义学视野下的态度句
第七章 预设的逻辑研究——投射问题的解决途径
主要参考文献
后记