Formal Logic (PHIL*2110) | College of Arts

Formal Logic (PHIL*2110)

Code and section: PHIL*2110*01

Term: Winter 2020

Instructor: Karyn Freedman

Details

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.

 

Course outlines

LAND ACKNOWLEDGEMENT
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.