Two types of subject are covered: - Linguistically motivated theories, presented at an introductory level, such as X-bar theory and head- driven phrase structure grammar, - Recent trends in formalisms which will be familiar to readers with a background in AI, such as Montague semantics and situation semantics.