本書詳細介紹形式語義學的基本內容、主要技巧和方法，可供大學語言和語言學專業的高年級本科學生及碩士、博士生作研習、參考之用。對自然語言分析和處理感興趣的計算機、數學、哲學、邏輯和人工智能專業的學生也可從本書中獲得係統的語義學知識。在閱讀此書之前，讀者最好先學一門現代語言學導論課或讀一本基礎教科書，如Akmajian et al（1984）或Fr0瑚kin&R0d—mail（1993），也可上一門生成句法學導論課或讀一本句法教科書，如Radford（1988）、徐烈炯（1988）或宋國明（1997）。如能看一下徐烈炯（1990／1996）和（1993）則更有幫助。

本書內容的取捨並非簡單地照搬一些外文教科書，在章節安排上也力免陳襲他人。我們在書中注入瞭自己的理解和觀點，並力求對漢語的語義結構做嘗試性的形式化描寫。故此，本書並不是一本求穩求全的教材，而是一本討論性、探索性的論著。當然，作為導論性教科書，本書介紹的許多方麵無法深入詳談，技術上也不一定代錶最新最好的解決方法。我們在書中提齣瞭問題，找到瞭部分答案，但是留下瞭更多的研究空間讓讀者去遨遊馳騁。

第一章　語義、真值與邏輯

第一節　命題、句義和話語義

第二節　句義的信息類型

第三節　言語交際的意義層次

第四節　形式語義學的研究範圍

第五節　邏輯在語義研究中的地位

第六節　幾個基本的語義概念

第七節　各章　內容簡介

閱讀文選

第二章　邏輯演算

第一節　集閤論

第二節　關係和函數

第三節　命題邏輯和真值錶

第四節　謂詞邏輯

第五節　邏輯證明

閱讀文選

第三章　Cp係統和語義解釋

第一節　部分語句係統Cp

第二節　cp的語義解釋

第三節　模型與語義解釋

閱讀文選

第四章　對Cp係統的擴展

第一節　三種特殊句式

第二節　復句的生成和解釋

第三節　邏輯否定句

第四節　語法範疇和邏輯範疇：傳統語法、傳統邏輯和形式邏輯的同與異

第五節　規則小結

第六節　語義解釋的遞歸性

第七節　實例分析

閱讀文選

第五章　類型論初步

第一節　再論組閤性原則

第二節　邏輯語義類型

第三節　類型驅動的語句分析與生成

第四節　特徵函項

第五節　類型的語義性質

第六節　ct係統

閱讀文選

第六章　量詞、轄域與邏輯依存

第一節　變量、約束詞與量化結構

第二節　量化結構的語義解釋

第三節　邏輯依存

第四節　逐指與統指

第五節　分支量詞

第六節　自然語言量化句的歧義和錶達

第七節　結語

閱讀文選

第七章　A-轉換

第一節　自然語句分析中的一些疑難現象

第二節　A-抽象和A-還原

第三節　對疑難現象的分析

……

第八章　廣義量詞

第九章　時間、時製與時態

第十章　對時間的量化與限製、量化類型及其三分結構

第十一章　可能世界與模態邏輯

第十二章　內涵邏輯與命題態度

第十三章　博弈論語義學

第十四章　篇章錶述理論

第十五章　研習文獻

附錄　形式語義學經典書目

參考書目

漢英譯名對照錶

蔣嚴，男，浙江海寜人，1962年生於北京。1984年獲復旦大學英美語言文學學士學位，1987年獲復旦大學現代英語碩士學位。1986至1989年在復旦大學外國語言文學係英語教研室任教。1989至1993年在倫敦大學的大學院（University College，London）和亞非學院（the School of Offenfal and AfficaIl Studies）兩個語言學係學習。1995年獲倫敦大學哲學博士學位，博士論文為Logical Dependency in Quantificatwn。1993年鞦至今在香港理工大學中文及雙語學係任教，現為該係副教授，兼任北京《當代語言學》、廣州《現代外語》編委，湘潭《英語研究》特邀編審。研究興趣包括語義學、語用學、語言哲學、自然語言邏輯、語篇分析、英語語法、翻譯理論等。