Logic

(Cross-listed as LING 33). An introduction to fundamental concepts of modern formal logic, including sentence logic, quantification theory, and identity. Emphasis on the application of formal methods to reasoning in philosophy, mathematics, and everyday affairs.