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 context. Format: lecture/discussion. Requirements: participation in discussions, weekly homework, two midterm exams, and a final essay. No prerequisites. No enrollment limit (expected: 20).

Hour: SANDERS