Semantics in Generative Grammar

Semantics in Generative Grammar explores the core theories and frameworks for analyzing meaning in natural language. The textbook covers fundamental concepts in formal semantics within the tradition of generative grammar. The authors present key topics including truth conditions, compositionality, quantification, and binding theory through problem sets and detailed explanations. Each chapter builds systematically on previous material while introducing increasingly complex semantic phenomena. The book connects formal semantic theory to developments in syntax and pragmatics, showing how different components of grammar interact. Technical concepts are illustrated through examples from English and other languages. At its core, this work demonstrates how mathematical and logical tools can reveal the systematic nature of linguistic meaning and human language understanding. The authors advance an influential approach to semantics that continues to shape research in linguistics and related fields.

Readers describe this as a dense, technical textbook that requires significant background knowledge in formal semantics and syntax. Many note it works best as a reference text rather than for self-study. Liked: - Clear explanations of lambda calculus and type theory - Detailed formal proofs and derivations - Strong coverage of quantifiers and binding theory Disliked: - Assumes extensive prior knowledge - Limited examples and exercises - Typography and formatting make formulas hard to read - No solutions provided for problems One linguistics graduate student noted: "The exposition is precise but requires careful study - not for beginners." Ratings: Goodreads: 4.14/5 (35 ratings) Amazon: 4.3/5 (6 reviews) Several reviewers recommend Chierchia & McConnell-Ginet's "Meaning and Grammar" as a more accessible introduction to formal semantics before attempting this text.

Knowledge of Meaning by Richard Larson, Gabriel Segal This text covers formal semantics and logical form with parallel depth to Heim's work while incorporating developments in semantic theory through the 1990s.

Formal Semantics by Ronnie Cann The book builds semantic theory from first principles through lambda calculus to intensional semantics in the same systematic progression as Heim's approach.

Introduction to Montague Semantics by David Dowty, Robert Wall, Stanley Peters This foundational text presents the mathematical and logical frameworks that underpin the semantic theories Heim develops in her work.

Events in the Semantics of English by Terence Parsons The book extends formal semantic analysis to event semantics using methods compatible with Heim's theoretical framework.

Tense and Aspect by Bernard Comrie This work complements Heim's treatment of temporal semantics through cross-linguistic analysis of tense-aspect systems using similar formal methods.

🔹 While Semantics in Generative Grammar (1998) was co-authored with Angelika Kratzer, Irene Heim is particularly known for introducing "File Change Semantics," a groundbreaking theory of how discourse context affects meaning. 🔹 The book emerged from teaching materials used at MIT, where Heim became one of the first women to receive tenure in the Linguistics department (1989). 🔹 The theories presented in this textbook helped bridge the gap between formal logic and natural language, showing how mathematical precision could be applied to everyday speech patterns. 🔹 Heim's work on definiteness and indefinite noun phrases, detailed in the book, revolutionized our understanding of how articles like "the" and "a" contribute to sentence meaning. 🔹 The book's approach to presupposition projection has influenced fields beyond linguistics, including computer science and artificial intelligence, particularly in natural language processing.