430 likes | 1.07k Views
Montague Grammar. EECS 595 - Fall 2004 Amy Kao. Montague Grammar. Maps syntactic structure with semantic structure Uses formal language to describe natural language. (1970) Universal Grammar Theory of formal syntax and semantics applied to formal & natural languages
E N D
Montague Grammar EECS 595 - Fall 2004 Amy Kao
Montague Grammar • Maps syntactic structure with semantic structure • Uses formal language to describe natural language (1970) Universal Grammar Theory of formal syntax and semantics applied to formal & natural languages (1970) English as a formal language Theory of English as a form of formal language (1973) The Proper Treatment of Quantification in Ordinary English Application of Universal Grammar theories of a fragment of English
Relevant Contributors • Richard Montague (1930-1971) • Student of Tarski • Created Philosophies and Theories of Montague Grammar • Taught at UCLA • Barbara Hall Partee • Student of Chomsky • Wrote interpretations that made Montague’s work more understandable • Teaches at U. Mass Amherst
Category Definitions/Generation • Categories are of form: X/Y • semantics of Y into the truth value of X • Abbreviations for first 5 categories • IV = t/e • T = t/IV • TV = IV/T • IAV = IV/IV • CN = t//e • Infinite number of possible categories • May use as many slashes as needed for new categories
Example Rule F3 For BTV F3(, ) = If first word of is a TV: if is not a variable himi if is hei If is 1 2 where 1 is a TV/T: 12 if is not a variable himi2 if is hei F3(shave, a fish) = shave a fish F3(seek, he1) = seek him1 F3(read a large book, Mary) = read Mary a large book
Syntactic Rules Mary loves him, I, F1(love him, Mary) love him, IV, F3(love, he) Mary, T love, TV he, T
Extensions and Intensions Extension: Semantic interpretation Intension: Function generating an extension Extension Problem
Intensional Logic (IL) • IL = Intensions and Types • Syntactic Category Rule = Semantic Rule = Type • ^X = intension of X • Example: if J = John, ^J = function returning individual named John • If X/Y and Y and , translates into ’’, then Fi(,) translates into ’(^’). • Semantic Primitive t = truth values • Semantic type is function of model view
Model Theoretic Semantics • Semantics based on truth conditions • Tarski’s Model Theory (1954) • IL is based on truth Conditions • 3 Levels of Symbols • Logical Constants: =, , etc • Variables: As in traditional math • Non-logical Constants: ,, relation symbols, function symbols, and constant individual symbols
General Quantification & Compositionality • Compositionality: phrase’s meaning derived from meaning of constituents & syntactic structure • General Quantification: allows for syntax and semantic structure to be equivalent
Controversies • Formal Logic • Opposition: differing views of what semantics is • Chomskyan: semantics is branch of psychology • Semantists: semantics different from knowledge of semantics • Defense: Montague’s “English as a Formal Language” • Formal Semantics now mainstream • Model Theory • Opposition: Prefer more concrete expressions • Defense: Understands sentences in terms of human mental models • Truth Conditions • Opposition: Brings in too many irrelevant factors • Defense: Humans judge sentences based on context
Developments Influenced by Montague Grammar • Head-Driven Phrase Structure Grammar (HPSG) • Influenced by syntactic categories • File Change Semantics(FCS) • Discourse Representation Semantics (DRS) • Situation Semantics • Extended Categorical Grammar • Generalized Phrase Structure Grammar (GPSG) • Lexical Semantics