Introduction to Montague Semantics (Paperback, 1981)

1. Introduction.- 2. The Syntax and Semantics of Two Simple Languages.- I. The Language L0.- 1. Syntax of L0.- 2. Semantics of L0.- II. The Language L0E.- 1. Syntax of L0E.- 2. Semantics of L0E.- 3. Alternative Formulations of L0E and L0.- III. A Synopsis of Truth-Conditional Semantics.- IV. The Notion of Truth Relative to a Model.- V. Validity and Entailment Defined in Terms of Possible Models.- VI. Model Theory and Deductive Systems.- Exercises.- Note.- 3. First-Order Predicate Logic.- I. The Language L1.- 1. Syntax of L1.- 2. Semantics of L1.- II. The Language L1E.- 1. Syntax of L1E.- 2. Semantics of L1E.- Exercises.- Notes.- 4. A Higher-Order Type-Theoretic Language.- I. A Notational Variant of L1.- II. The Language Ltype.- 1. Syntax of Ltype.- 2. Semantics of Ltype.- III. Lambda Abstraction and the Language L?.- Exercises.- Notes.- 5. Tense and Modal Operators.- I. Tense Operators and Their Interpretation.- II. The Other Varieties of Modal Logic; the Operators ? and ?.- III. Languages Containing Both Tense and Modal Operators: Coordinate Semantics.- Exercises.- Notes.- 6. Montague's Intensional Logic.- I. Compositionality and the Intension-Extension Distinction.- II. The Intensional Logic of PTQ.- 1. Syntax of IL.- 2. Semantics of IL.- III. Examples of 'Oblique Contexts' as Represented in IL.- IV. Some Unresolved Issues with Possible Worlds Semantics and Propositional Attitudes.- Notes.- 7. The Grammar of PTQ.- I. The Overall Organization of the PTQ Grammar.- 1. The Syntactic Categories of English in the PTQ Grammar.- 2. The Correspondence Between Categories of English and Types of IL.- II. Subject-Predicate and Determiner-Noun Rules.- III. Conjoined Sentences, Verb Phrases, and Term Phrases.- IV. Anaphoric Pronouns as Bound Variables; Scope Ambiguities and Relative Clauses.- V. Be, Transitive Verbs, Meaning Postulates, and Non-Specific Readings.- VI. Adverbs and Infinitive Complement Verbs.- VII. De dicto Pronouns and Some Pronoun Problems.- VIII. Prepositions, Tenses, and Negation.- Exercises.- Notes.- 8. Montague's General Semiotic Program.- 9. An Annotated Bibliography of Further Work in Montague Semantics.- Appendix I: Index of Symbols.- Appendix II: Variable Type Conventions for Chapter 7.- Notes.- References.- Answers to Selected Problems and Exercises.