Close Menu
View Course Sections

Course Description

(Cross-listed as LING 0033). 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.