Formal Logic (PHIL*2110) | College of Arts

Formal Logic (PHIL*2110)

Code and section: PHIL*2110*01

Term: Winter 2021

Instructor: Karyn Freedman


Course Description: This course introduces the basic principles and techniques of analyzing arguments formally. Topics to be covered include: translating natural language arguments into symbolic notation, testing validity using truth tables and interpretations, and deduction rules for sentential and predicate logic. This course is introductory and assumes no prior familiarity with formal logic and requires no special aptitude in math.

Method of Delivery:  Because of COVID-19, we will not be meeting face-to-face. Instead, we will be meeting synchronously, that is, during our regularly scheduled class meeting time, which is twice a week. I will also be posting my lecture notes on CourseLink, which you will be able to access at your own convenience.

Course Outline


The University of Guelph resides on the land of the Between the Lakes Treaty No. 3, the territory of the Mississaugas of the Credit. This land is part of the Dish with One Spoon, a covenant between Indigenous nations to live peaceably on the territories of the Great Lakes region. We recognize that today this gathering place is home to many First Nations, Inuit and Métis peoples and acknowledging them reminds us of our collective responsibility to the land where we learn, live and work.