FORMAL LOGIC

Undergraduate

This course is an introduction to the theory and techniques of classical and modern logic. Students are exposed to the basic concepts of classical propositional and quantificational logic and methods of testing inference. As well, students are exposed to several logical systems that purport to extend classical logic. Lectures: Three hours a week