張韌弦，男，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　理論的拓展前景

參考文獻