自然語言語義學 Natural Language Semantics: Formation and Valuation

自然語言語意學是涉及語言學、邏輯學、電腦科學、心理學等許多領域的學科。
本書第1～6章和第8～10章主要介紹成分結構語法及相關知識，
第7章和第11～15章主要介紹類型邏輯語法（Lambek類型語法），並討論了這兩種語法之間的異同。
本書對自然語言語意學的介紹主要是基於英語的語法，作為導論性書籍，省略了許多更複雜的邏輯形式。
本書適合相關專業高年級本科生和研究生，以及該領域的從業人員閱讀。

譯者序
前言
希臘字母表
第1章語言、語言學、語義學導論
1.1 20世紀以前的語言研究
1.2 語言學的誕生
1.2.1 語言學和心理學
1.2.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.4 序列
2.4.1 有序對
2.4.2 笛卡兒積
2.5 集合族
2.5.1 冪集運算
2.5.2 集合族運算
2.6 關係
2.6.1 集合上的二元關係
2.6.2 集合到集合的二元關係
2.6.3 函數
部分練習答案
第3章基礎英語文法
3.1 介紹
3.2 傳統英語文法
3.2.1 詞類
3.2.2 子句
3.2.3 傳統英語文法的限制
3.3 英語句法
3.3 .1 直接成分分析法
3.3.2 成分文法
3.3.3 論證與證據
3.3.4 問題
3.4 結論
部分練習答案
第4章語言與語境
4.1 語境
4.2 背景與外指
4.2.1 人稱
4.2.2 時間順序
4.2.3 空間位​​置
4.2.4 深入細節
4.3 語境：內指與省略
4.3.1 內指
4.3.2 省略
4.4 語境與歧義
4.5 結論
部分練習答案
第5章語言與認知：暗含與預設
5.1語言、溝通與認知
5.2 隱含
5.2.1 Grice準則
5.2.2 隱含的性質
5.2.3 隱含與歧義
5.3 預設
5.3.1 預設的觸發因素
5.3.2 共同點
5.3.3 預設、蘊含與隱含共通點
5.4 目的與理解
5.5 結論
部分練習答案
第6章經典命題邏輯：符號與語意
6.1 論證
6.2 經典命題邏輯
6.2.1 符號
6.2.2 語意
部分練習答案
第7章經典命題邏輯：演繹
7.1 符號
6.2 公式自然演繹
7.2.1 列中的公式
7.2.2 樹中的公式
7.3 序列自然演繹
7.3.1 列中的序列
7.3.2 樹中的序列
7.4 Gentzen序列演算
7.4.1 ∧左引入和右引入
7.4.2 ←→左引入和右引入
7.4.3 →左引入和右引入
7.4.4 ∨左引入和右引入
7.4.5 ￢左引入和右引入
7.5 子結構邏輯
第8章英語連接詞
8.1 介紹
8.2 英語連接詞和分句
8.3 真值和獨立，陳述句
8.4 英語並列連接詞and
8.4.1 英語並列連接詞and的明顯問題
8.4.2 英語並列連接詞and的未解決問題
8.5 英語並列連接詞or
8.5.1 英語並列連接詞or的明顯問題
8.5 .2 英語並列連接詞or的未解決問題
8.6 英語從屬連接詞if
8.6.1 英語從屬連接詞if的明顯問題
8.6.2 英語從屬連接詞if的未解決問題
8.7 英語副詞not
8.7.1 not的語法
8.7.2 英語副詞not的未解決問題
8.8 結論
部分練習答案
第9章經典謂詞邏輯
9.1 介紹
9.2 符號
9.2.1 CPDLDL公式
9.2.2 公式和子公式
9.3 語意
9.3.1 語意性質和公式關係
9.4 演繹
部分練習答案
第10章英語中的語法謂語和最小子句
10.1 介紹
10.2 最小英語子句
10.2.1 動詞片語：動詞及其補語
10.2.2 形容詞片語：形容詞及其補語
10.2.3 介詞
10.2 .4 名詞
10.3 英語字典的一種結構
10.3.1 類別更豐富的成分語法
10.3.2 語意
10.3.3 成分估價規則定義
10.3.4 進一步擴展
10.3.5 未解決的問題
10.4 結論
第11章經典量化邏輯
11.1 符號
11.2 CQL的經典估值方法
11.2.1 CQL估值的綜合定義
11.2.2 CQL估值的分類定義
11.2.3 語意性質與關係
11.3 演繹
11.3.1 消除11.3.2
引入11.3.3 引入
11.3.3 引入
11.3 .4 消除
部分練習答案
第12章經典量化邏輯的擴展
12.1 介紹
12.2 有等價關係的經典量化邏輯
12.3 一元量化邏輯
12.3.1 一位一元量化邏輯
12.3.2 二位一元量化邏輯
12.4 結論
部分練習答案
第13章Lambek演算與Lambda演算
13.1 介紹
13.2 Lambek演算
13.2.1 公式演繹
13.2.2 序列演繹
13.2.3 Gentzen演繹
13.2.4 功能消除
13.3 Lambda
語算13.3.1 Lambda演繹的表示
13.結構
13.3.3 演繹
13.4 Lambek類型的Lambda演算
部分練習答案
第14章英語名詞短語
14.1 介紹
14.2 英語中的簡單名詞短語
14.2.1 英語名詞
14.2.2 形容詞
14.2.3 限定詞
14.3 整合
14.3.1數量名詞片語的簡單子句
14.3.2 再議形容詞
14.3.3 介詞片語
14.3.4 限制性關係子句
14.3.5 再議數量名詞片語
14.3.6 非子句並列連接
14.4 結論
部分練習答案
第15章總結
15.