张韧弦，男，1976年生，博士，上海交通大学外语学院副教授。从2001年开始在《外国语》、《当代语言学》、《现代外语》等多种外语类权威及核心刊物上共发表学术论文十余篇，参与编写《精读英语教程》、《新视野大学英语泛读教程》、《全国翻译专业资格（水平）考试指定教材·英语笔译实务（二级）》等教材。另外与他人合著了《21世纪英语常用词、新词小词典》等工具书，合编了《读时尚美文学当代英语》等英一语类教辅读物多种。从研究生阶段起广泛涉猎理论语言学和应用语言学的不同领域，在攻读博士期间研究兴趣转向形式语义学和形式语用学。目前正承担着上海交通大学985二期工程哲学社会科学创新基地项目的研究：主要负责“形式逻辑在语义／语用界面研究中的作用——形式语用学的主要领域”这一课题。

序

前言（代自序）

第1章　语用学与形式语用学

1.1　语用学的定位和研究概况

1.1.1 语用学的历史发源

1.1.2　语用学的定义

1.1.3 语用学与语义学的区别

1.1.4　语用学的主要研究领域和课题

1.2　形式语用学的起源和研究对象

1.3　形式之辩

1.3.1 两种“形式”

1.3.2　形式化研究的优势

第2章　形式化研究基础

2.1 自然语言的逻辑内容

2.2　集合与函项

2.2.1 集合

2.2.2 关系

2.2.3 函项

2.3　命题逻辑

2.3.1　命题联结词

2.3.2　充分必要条件

2.3.3　命题推理规则

2.4　谓词逻辑

2.4.1 一元谓词与直言命题

2.4.2　二元谓词与关系命题

2.4.3　谓词逻辑的推理规则

2.5　非经典逻辑

2.5.1　模态逻辑

2.5.2 归纳逻辑

2.5.3　溯因逻辑

2.5.4　缺省逻辑

第3章　话语表征理论与前指

3.1　从指代现象到前指

3.1.1 “指”“代”综览

3.1.2　前指分类

3.2　话语表征理论（DRT）

3.2.1　DRT产生的背景

3.2.2　DRT的理论基础

3.2.3　DRS的建构

3.2.4　DRS的语义解释

3.2.5　DRT的典型应用

3.3　前指的DRT形式方案

3.4　评价与讨论

3.4.1 懒惰代词前指和间接前指

3.4.2　歧义现象与DRS连续蕴涵中的部分前指确认

3.4.3　双重否定和否定析取

3.4.4　比例问题

3.4.5　话语中的前指

第4章　语力逻辑理论与言语行为

4.1　言语行为与言语行为理论

4.1.1　施为句与表述句

4.1.2　适宜条件

4.1.3　言语行为三分说

4.1.4　语力行为的分类

4.1.5　间接言语行为

4.2　语力行为理论

4.2.1 语力行为的基本概念

4.2.2　语力的基本组成

4.2.3　语力行为的重新分类

4.3　言语行为的语力逻辑（ILT）形式方案

4.3.1　ILT中的基本概念和逻辑实体

4.3.2　语力七要素的形式定义

4.3.3　五类语力的形式定义

4.3.4　语力行为及其成功条件的形式定义

4.3.5　ILT中的部分规则

4.3.6　英汉语力动词的实例分析

4.4　评价与讨论

4.4.1　运算中的“语言学意义”

4.4.2　语力行为动词形式化vs语力行为形式化

4.4.3　语言分析系统vs逻辑系统

第5章　潜预设理论与预设

5.1　预设的传统认识与研究

5.1.1　从弗雷格到斯特劳森的研究传统

5.1.2　语义预设的定义与否定问题

5.1.3　预设与焦点

5.1.4　预设的触发结构

5.2　语义／语用界面上的预设

5.2.1　语义预设的难题

5.2.2　“塞子、漏洞、过滤器”

5.2.3　语用预设的定义

5.2.4　预设与会话含义和规约含义的区别

5.3　预设的潜预设理论（PPT）形式方案

5.3.1 简单肯定句中预设和蕴涵的双重性

5.3.2　潜预设的定义与公式表述

5.3.3　PPT的系统定义

5.3.4　预设投射的实例分析

5.4　评价与讨论

5.4.1 形式系统的缺陷

5.4.2　列文森对PPT的批评及重分配方案

5.4.3　盖士达的反例

第6章　缺省逻辑理论与一般会话含义

6.1　会话含义与一般会话含义

6.1.1 言语交际中的含义现象

6.1.2　格莱斯的会话含义理论

6.1.3　列文森的一般会话含义理论

6.2　缺省逻辑理论（DLT）

6.2.1　缺省逻辑的定义

6.2.2　缺省逻辑的扩展

6.2.3　缺省逻辑的细化式及意义

6.3　一般会话含义的DLT形式方案

6.3.1 Q／M／I三含义的缺省逻辑理论

6.3.2　一般会话含义推导的缺省逻辑模型（DLG）

6.4　评价与讨论

6.4.1　逐例系统的缺陷

6.4.2　理论的拓展前景

参考文献