索引 / 001 ZH-TW
Semantics in Generative Grammar(生成語法中的語意學) cover

語言學

語言學

Semantics in Generative Grammar(生成語法中的語意學)

Irene Heim; Angelika Kratzer

英文原名: Semantics in Generative Grammar

一本研究所教科書,以生成語法的句法結構為基礎,為自然語言建立組合性的真值條件語意學。全書從少數幾條詮釋原則出發,逐步引入具型別的 λ 記號,並用來分析修飾、關係子句、量化、約束與代名詞,習題著重訓練精確推導的能力。

需要的基礎: 語意學入門課程、集合論與邏輯的基礎,以及熟悉生成語法架構下的句法樹。

難度等級
高級
學術層次
研究所
formal semanticscompositionalitylambda calculusquantificationgenerative grammar教科書

01 / 導讀

導讀

引用

Heim, I., & Kratzer, A. (1998). Semantics in Generative Grammar. Blackwell.

章節概要

本書共十二章和索引,全書約310頁,屬「布萊克威爾語言學教科書」叢書。從目錄看,內容層層遞進:前三章建立弗雷格式的真值條件框架及其與句法的聯繫;第4至6章把它擴充套件到修飾語、關係從句和量化詞;第7至12章涉及量化、約束、代詞以及邁向內涵語義的第一步。出版社稱本書教學生「做語義學」的功夫,並附有檢查理解、引向進一步課題的練習。

第1章:真值條件語義學與弗雷格綱領(Truth-conditional Semantics and the Fregean Program)

本章介紹真值條件語義學和弗雷格的組合性思想,並包含關於集合與函式的輔導:集合、集合的抽象記法和函式。

第2章:執行弗雷格綱領(Executing the Fregean Program)

本章演算了弗雷格式解釋的第一個例子,包括把語義學應用於一個例句、在外延語義學中推導真值條件,以及物件語言與元語言的區別。隨後討論集合及其特徵函式、加入及物動詞時的語義型別和指稱域、舍恩芬克爾化(Schönfinkelization),以及用λ記法定義函式。

第3章:語義學與句法(Semantics and Syntax)

本章把語義機制與句法結構聯繫起來:型別驅動的解釋、語義解釋的輸入結構、合格性與可解釋性、θ準則,以及論元結構與聯繫。

第4章:更多英語:非動詞謂語、修飾語、定指描述(More of English: Nonverbal Predicates, Modifiers, Definite Descriptions)

本章處理語義空洞詞和非動詞謂語,然後討論作為限制性修飾語的謂語,包括一條新的組合規則、作為函項應用的修飾,以及非交集性形容詞的問題。本章還展開對定冠詞的分析,涉及部分指稱、預設與斷言的區別,以及預設失敗與不可解釋性之別。

第5章:關係從句、變數、變數約束(Relative Clauses, Variables, Variable Binding)

關係從句被分析為謂語,涉及從句內部的語義組合、變數和謂詞抽象。本章接著處理多個變數(such-that 關係從句、巢狀關係從句、共指標),並追問什麼是變數約束,給出定義、定理以及對標引的句法限制。

第6章:量化詞:它們的語義型別(Quantifiers: Their Semantic Type)

本章說明為什麼把個體作為限定詞短語(DP)的指稱會帶來問題,並提出廣義量化詞作為解決辦法。隨後討論量化限定詞、集合之間的關係、關係性限定詞意義的形式性質,以及預設性量化短語,包括有爭議的情形。

第7章:量化與語法(Quantification and Grammar)

針對賓語位置上的量化詞問題,本章提出修復型別不匹配的兩種辦法:原位的靈活型別和移位。隨後比較自然語言中的量化詞與謂詞邏輯,並衡量支援量化詞移位的幾種標準論證:轄域歧義、先行語包含的刪除,以及約束代詞的量化詞。

第8章:量化詞移位的句法與語義限制(Syntactic and Semantic Constraints on Quantifier Movement)

哪些 DP 可以移位、哪些必須移位,帶走多少成分,著陸位置有哪些。本章討論量化進入 VP、PP、AP、NP 和 DP 的情形。

第9–11章:約束代詞與指稱代詞及省略;句法約束與語義約束;E 型回指(Bound and Referential Pronouns and Ellipsis; Syntactic and Semantic Binding; E-Type Anaphora)

第9章討論作為自由變數的代詞、共指與約束,以及省略中的「鬆散同一」之謎。第10章結合約束原則和弱跨越,區分句法約束與語義約束。第11章轉向以量化詞為先行語的 E 型代詞,以及既非約束變數也非指稱性的代詞,包括庫珀(Cooper)的分析。

第12章:邁向內涵語義學的第一步(First Steps Towards an Intensional Semantics)

最後一章說明外延語義學在何處失效,引入內涵,勾勒一種內涵語義學,並以其侷限和前景作結。

核心概念

第1–3章:框架

  • 組合性:句子的意義由其各部分的意義及其句法排列計算得出。
  • 語義型別與指稱域:規定意義如何組合的分類。
  • 舍恩芬克爾化與λ記法:關係的函式式表示。
  • 型別驅動的解釋:由被組合各部分的語義型別引導的解釋。

第4–6章:修飾、約束與量化詞

  • 謂詞抽象:關係從句如何由帶語跡的句子產生謂語。
  • 預設與斷言:這一區分在定指描述中的應用。
  • 廣義量化詞:DP 指稱集合的集合,限定詞是集合之間的關係。

第7–12章:量化、回指與內涵

  • 量化詞移位與靈活型別:解決賓語量化詞型別不匹配的兩種辦法。
  • 約束與共指:省略中鬆散同一現象背後的區別。
  • E 型代詞:被解釋為描述語的代詞。
  • 內涵:隨評價情境而變化的意義。

評析

優點

  • 循序漸進、層層累積。 目錄從集合和函數出發,經由一個最小語法,一直到量化詞移位和回指,每一章增加一項擴充套件。
  • 把推導當作技能來教。 出版社強調「做」語義學;目錄中除分析之外,還強調證明、定理和方法論評述。
  • 始終與句法相連。 關於θ準則、量化詞移位和約束的各章,把語義分析與生成句法結構聯繫起來。
  • 正視爭議。 關於預設性量化短語的有爭議情形和非交集性形容詞的小節,呈現了相互競爭的分析。

侷限

  • 預設讀者已有基礎。 從最初幾章起就需要熟悉生成句法樹形圖、基本邏輯和集合論。
  • 外延為主,內涵只是短短的尾聲。 內涵直到最後一章(題為「第一步」)才出現,因此內涵性話題只得到引介。
  • 一份1990年代框架的快照。 這是1998年的著作,反映的是當時的分析和句法假設。

在課程中的定位

在本課程書單的語義學與語用學書籍中,海姆與克拉策是形式化的一本。克魯斯的 Meaning in Language、薩伊德的 Semantics 以及赫福德、黑斯利和史密斯的 Semantics: A Coursebook 都是入門讀物,不借助完整的形式系統來講意義。萊文森的 Pragmatics 和比爾納的 Introduction to Pragmatics 講的是語境中的意義。

建議在讀過某本入門書之後、想要精確推導時再讀海姆與克拉策。它可以與萊文森配對:對他那些依賴語境的話題而言,它提供組合性的對應面。

如何使用本書

本書適合已修過語義學入門課、具備一些集合論和邏輯知識並熟悉句法樹形圖的研究生和高年級本科生。

閱讀安排:

  • 核心: 依次讀第1至3章並做練習,因為後面的一切都建立在型別系統之上。
  • 接著: 第4至6章,然後是講量化的第7、8章。
  • 分支: 講代詞和省略的第9至11章;講內涵的第12章。

請做練習。出版社說練習用於檢查理解並引向後續課題,而本書的方法正有賴於重做推導。