Introduction to {M}ontague {S}emantics

Abstract

This book acquaints the reader with the fundamentals of truth conditional model-theoretic semantics, and in particular with a version of this developed by Richard Montague. Introduction -- The Syntax And Semantics Of Two Simple Languages -- First-Order Predicate Logic -- A Higher-Order Type-Theoretic Language -- Tense And Modal Operators -- Montague's Intensional Logic -- The Grammar Of PTQ -- Montague's General Semiotic Program -- An Annotated Bibliography Of Further Work In Montague Semantics.