內容大鋼
自然語言語義學是涉及語言學、邏輯學、電腦科學、心理學等諸多領域的一門學科。本書第1?6章和第8?10章主要介紹成分結構語法及相關知識，第7章和第11?15章主要介紹類型邏輯語法（Lambek類型語法），並討論了這兩種語法之間的異同。本書對自然語言語義學的介紹主要是基於英語的語法，作為導論性書籍，省略了許多更為複雜的邏輯形式。本書適合相關專業高年級本科生和研究生，以及該領域的從業人員閱讀。
作者介紹
(加)布蘭登·S.吉倫|責編:曲熠|譯者:謝婉瑩//谷舒豪
布蘭登·S.吉倫（Brendan S.Gillon），加拿大麥吉爾大學語言學教授。他于1984年獲美國麻省理工學院哲學博士學位，1979年獲多倫多大學梵文和印度斫究碩士學位，1975年獲美國密歇根大學東亞研究碩士學位。他曾在中國台北學習普通話和古漢語，后在美國印度研究所任高級研究員。曾先後在美國麻省理工學院、加拿大阿爾伯塔大學和多倫多大學任教，主講哲學。在奧地利、加拿大、法國、德國、印度、日本、荷蘭、瑞典、瑞士、美國和英國的許多大學舉辦過專題講座。
目錄
譯者序
前言
希臘字母表
第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 演繹
7.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 CPDL公式
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.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.3.2 語義：功能結構
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&n
[