PHL245 Modern Symbolic Logic Syllabus

University of Toronto, Summer 2010

About This Course

Philosophical and mathematical logic underlies much important work in a variety of disciplines, including philosophy, mathematics, engineering and computer science. This course is an introduction to logic. It requires no knowledge of philosophy or mathematics, though a mathematical background is helpful. We will learn how to recognize arguments and fallacies in English, and how to translate ordinary English sentences and arguments into formal logic. We will then learn how to prove sentences in logic using rules of inference. At the end of the course we will use what we’ve learned to see how several logical paradoxes can be constructed.