An introduction to typed and intentional languages and their applications in linguistics. Topics include: the semantics of tense and modality, propositional attitudes, indexicality, quantification, recent developments in categorial grammar. Prerequisite: LINGUIST 610 (formerly 710).