Logic

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