Taking Scope: The Natural Semantics of Quantifiers (Hardcover)

Mark Steedman

  • 出版商: MIT
  • 出版日期: 2011-12-02
  • 售價: $1,100
  • 語言: 英文
  • 頁數: 324
  • 裝訂: Hardcover
  • ISBN: 0262017075
  • ISBN-13: 9780262017077
  • 相關分類: Text-mining
  • 立即出貨 (庫存=1)

商品描述

In Taking Scope, Mark Steedman considers the syntax and semantics of quantifier scope in interaction with negation, polarity, coordination, and pronominal binding, among other constructions. The semantics is "surface compositional," in that there is a direct correspondence between syntactic types and operations of composition and types and compositions at the level of logical form. In that sense, the semantics is in the "natural logic" tradition of Aristotle, Leibniz, Frege, Russell, and others who sought to define a psychologically real logic directly reflecting natural language grammar.

The book reunites the generative-transformational tradition initiated by Chomsky--which views the formal syntactic component as entirely autonomous---with the older, strongly lexicalist, construction-based tradition, which has sought to define a more lingistically transparent theory of meaning representation. Steedman offers a logical formalism that relates directly to the surface form of language and to the process of inference and proof that it must support. Such a natural logic, although formal by definition, should be allowed to grow organically from attested language phenomena rather than be axiomatized a priori in terms of any standard logic. Steedman also considers the application of natural semantic interpretations to practical natural language processing tasks, emphasizing throughout the elimination of traditional quantifiers from semantic formalism in favor of devices such as Skolem terms and structure-sharing among representations in processing.

商品描述(中文翻譯)

在《Taking Scope》一書中,馬克·斯蒂德曼(Mark Steedman)考慮了量詞範圍在否定、極性、協調和代詞綁定等結構中的句法和語義。該語義是「表面組合的」,即句法類型和組合操作與邏輯形式層次上的類型和組合之間存在直接對應。在這個意義上,該語義屬於亞里士多德、萊布尼茨、弗雷格、羅素等人追求的「自然邏輯」傳統,他們試圖直接反映自然語言語法的心理真實邏輯。

這本書將由喬姆斯基(Chomsky)開創的生成轉換傳統(將形式句法組件視為完全自主的)與較老的、強語詞基礎的構建傳統重新結合,後者試圖定義一個更具語言透明度的意義表示理論。斯蒂德曼提供了一種與語言表面形式直接相關並與推理和證明過程相關的邏輯形式。這樣的自然邏輯,雖然在定義上是形式化的,但應該允許根據已有的語言現象有機地發展,而不是事先以任何標準邏輯的公理化形式來定義。斯蒂德曼還考慮了將自然語義解釋應用於實際的自然語言處理任務,並強調在處理中消除傳統量詞,而採用Skolem術語和表示之間的結構共享等方法。