序言
第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.6A—轉換
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.4NP和量詞的一些基本性質
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.3DRT的非形式介紹
7.4.4形式定義
7.4.5DRT和組閤性
7.4.6結論
練習答案
參考文獻說明
參考文獻
索引
譯後記
· · · · · · (收起)