Logical Approach to Syntax : Foundations, Specifications, and Implementations of Theories of Government and B (Acl-mit Series in Natural Language Proc

Logical Approach to Syntax : Foundations, Specifications, and Implementations of Theories of Government and B (Acl-mit Series in Natural Language Proc

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版／ページ数 400 p., 81 illus.
  • 言語 ENG
  • 商品コード 9780262193153
  • DDC分類 415

基本説明

By formalizing recent syntactic theories for natural languages in the tradition of Chomsky's Barriers, Stabler shows how their complexity can be handled without gresswork or oversimplification.

Full Description


By formalizing recent syntactic theories for natural languages Stabler shows how their complexity can be handled without guesswork or oversimplification.By formalizing recent syntactic theories for natural languages in the tradition of Chomsky's Barriers, Stabler shows how their complexity can be handled without guesswork or oversimplification. He introduces logical representations of these theories together with special deductive techniques for exploring their consequences that will provide linguists with a valuable tool for deriving and testing theoretical predictions and for experimenting with alternative formulations of grammatical principles.Stabler's novel approach allows results to be deduced with straightforward calculations and provides a systematic framework for tackling the problem of how speakers can infer the properties of an utterance from principles of the grammar. The special treatment of equality, induction principles, and inclusion of a general method for collecting structures from proofs means that sophisticated linguistic arguments can be carried out in detail, giving a rich perspective to issues in linguistic theory and parsing.

Contents

Part 1 Logical foundationsabout languages; deductive parsing - context-free phrase structure and natural language phrase structure. Part 2 Formalizing barriers: X-bar theory; the theory of movement; government and barriers; structure, preservation, head movement and bounding; the empty category principle and minimality. Part 3 Variations and elaborations: determiner phrases; inflectional phrases and head movement; VP-internal subjects. Part 4 Computational models: guided deductions from linguistic theory; parsing as constraint satisfaction. Appendices: proving a negative result from RT; the first order formalization; a guided proof system.