This course is an introduction to both formal logic and the study of linguistic meaning. Throughout the course, a formal system of logic will be developed, and its adequacy for describing linguistic meaning will be tested. Topics to be covered include the meaning of words and sentences, first-order predicate logic, logical deduction, interpretation and understanding, and pragmatics. Format: lecture/discussion. Requirements: participation in discussion, weekly homework, a midterm exam, and a final exam. No prerequisites. No enrollment limit (expected: 30).