The goal of this course is to familiarize students with Type-Logical Categorial Grammar (TLCG) as a framework that provides a new perspective on the syntax/semantics interface of natural language. While TLCG has so far been mostly studied in its connection to mathematical logic, our course emphasizes its value to the working linguist as a framework for characterizing linguistic generalizations, especially in empirical domains that have been widely regarded as problematic or even intractable in the mainstream linguistic literature, including both transformational and nontransformational approaches. To this end, we introduce a new version of TLCG which synthsizes two strands of research in the logical tradition, one old (Lambek calculus) and the other relatively new ('Lambda grammars').