前言 序言 第1章 內涵邏輯的起源 1.1 引言 1.2 意義對應理論 1.3 自然主義與約定主義 1.4 意義對應理論的變體 1.5 作為意義指稱理論的邏輯語義學 1.6 意義指稱理論存在的問題 1.7 弗雷格的意義理論 1.8 語境依賴 第2章 內涵命題邏輯 2.1 引言 2.2 可能世界語義學 2.3 模態命題邏輯 2.3.1 歷史背景 2.3.2 句法與語義 2.3.3 有效性概念的句法方法 2.3.4 真勢模態與認知模態 2.3.5 一個應用 2.4 時態命題邏輯 2.4.1 句法與語義 2.4.2 “現在”：一個擴展 2.4.3 其他方法 2.5 時態與模態的結合 第3章 內涵謂詞邏輯 3.1 晦暗語境：從言模態與從物模態 3.2 專有名詞與限定摹狀詞：嚴格指稱 3.3 模態謂詞邏輯語義學 3.3.1 沒有變項的公式 3.3.2 等詞 3.3.3 變項與量詞 3.3.4 一個論域：存在謂詞 3.4 其他語境 3.5 一個方法論的注解 第4章 類型論與范疇語法 4.1 引言 4.2 類型論 4.2.1 自然語言中類型的劃分 4.2.2 句法 4.2.3 語義 4.3 范疇語法 4.3.1 引言 4.3.2 范疇語法的特征 4.3.3 范疇語法的描寫充分性 4.3.4 范疇語法和類型論 4.4 -抽象 4.4.1 -算子 4.4.2 -轉換 4.4.3 -算子與組合性 第5章 內涵類型論 5.1 引言 5.2 內涵構造和內涵概念 5.3 句法 5.4 語義 5.5 算子∧和∨ 5.6 -轉換 5.7 時態算子 5.8 兩體類型論 第6章 蒙太格語法 6.1 引言 6.1.1 意義和句法的組合性 6.1.2 對象語言和元語言：語義封閉性 6.1.3 語義學與真值理論 6.2 蒙太格語法的體系 6.3 英語部分語句的蒙太格語法 6.3.1 范疇和基本表達式 6.3.2 詞項、不及物動詞、句子 6.3.3 翻譯進程的體系 6.3.4 詞項的翻譯 6.3.5 及物動詞 6.3.6 意義公設的作用 6.3.7 部分語句系統的意義公設 6.3.8 轄域歧義、從物解讀和量化規則 6.3.9 及物動詞Be 6.3.10 合取規則、析取規則和否定規則 6.3.11 句子補語、非限定補語、形容詞、關系從句和副詞 6.4 個體概念 6.4.1 引入個體概念的必要性 6.4.2 引入個體概念的后果 6.4.3 一些實例 6.4.4 意義公設 6.5 組合性、邏輯形式和語法形式 6.6 結語 第7章 新近發展 7.1 引言 7.2 廣義量詞理論 7.2.1 主要目標 7.2.2 蒙太格語法中作為廣義量詞的NP短語 7.2.3 限定詞：兩個視角 7.2.4 NP和量詞的一些基本性質 7.2.5 普遍限制 7.2.6 邏輯限定詞 7.2.7 進一步的發展 7.3 靈活的范疇語法和類型論 7.3.1 范疇變化 7.3.2 邏輯的視角 7.3.3 進一步的發展 7.4 話語表現理論 7.4.1 引言 7.4.2 有關回指關系和非限定詞項的一些問題 7.4.3 DRT的非形式介紹 7.4.4 形式定義 7.4.5 DRT組合性 7.4.6 結論 練習答案 參考文獻說明 參考文獻 索引 譯后記