內容介紹
本書詳細介紹形式語義學的基本內容、主要技巧和方法，可供大學語言和語言學專業的高年級本科學生及碩士、博士生作研習、參考之用。對自然語言分析和處理感興趣的計算機、數學、哲學、邏輯和人工智慧專業的學生也可從本書中獲得系統的語義學知識。在閱讀此書之前，讀者最好先學一門現代語言學導論課或讀一本基礎教科書，如Akmajian et al（1984）或Fr0瑚kin&R0d—mail（1993），也可上一門生成句法學導論課或讀一本句法教科書，如Radford（1988）、徐烈炯（1988）或宋國明（1997）。如能看一下徐烈炯（1990／1996）和（1993）則更有幫助。本書內容的取捨並非簡單地照搬一些外文教科書，在章節安排上也力免陳襲他人。我們在書中注入了自己的理解和觀點，並力求對漢語的語義結構做嘗試性的形式化描寫。故此，本書並不是一本求穩求全的教材，而是一本討論性、探索性的論著。當然，作為導論性教科書，本書介紹的許多方面無法深入詳談，技術上也不一定代表最新最好的解決方法。我們在書中提出了問題，找到了部分答案，但是留下了更多的研究空間讓讀者去遨遊馳騁。
第一章 語義、真值與邏輯
第一節 命題、句義和話語義
第二節 句義的信息類型
第三節 言語交際的意義層次
第四節 形式語義學的研究範圍
第五節 邏輯在語義研究中的地位
第六節 幾個基本的語義概念
第七節 各章 內容簡介
閱讀文選
第二章 邏輯演算
第一節 集合論
第二節 關係和函式
第三節 命題邏輯和真值表
第四節 謂詞邏輯
第五節 邏輯證明
閱讀文選
第三章 Cp系統和語義解釋
第一節 部分語句系統Cp
第二節 cp的語義解釋
第三節 模型與語義解釋
閱讀文選
第四章 對Cp系統的擴展
第一節 三種特殊句式
第二節 複句的生成和解釋
第三節 邏輯否定句
第四節 語法範疇和邏輯範疇：傳統語法、傳統邏輯和形式邏輯的同與異
第五節 規則小結
第六節 語義解釋的遞歸性
第七節 實例分析
閱讀文選
第五章 類型論初步
第一節 再論組合性原則
第二節 邏輯語義類型
第三節 類型驅動的語句分析與生成
第四節 特徵函項
第五節 類型的語義性質
第六節 ct系統
閱讀文選
第六章 量詞、轄域與邏輯依存
第一節 變數、約束詞與量化結構
第二節 量化結構的語義解釋
第三節 邏輯依存
第四節 逐指與統指
第五節 分支量詞
第六節 自然語言量化句的歧義和表達
第七節 結語
閱讀文選
第七章 A-轉換
第一節 自然語句分析中的一些疑難現象
第二節 A-抽象和A-還原
第三節 對疑難現象的分析
……
第八章 廣義量詞
第九章 時間、時制與時態
第十章 對時間的量化與限制、量化類型及其三分結構
第十一章 可能世界與模態邏輯
第十二章 內涵邏輯與命題態度
第十三章 博弈論語義學
第十四章 篇章表述理論
第十五章 研習文獻
附錄 形式語義學經典書目
參考書目
漢英譯名對照表
