Thunder Bay • Orillia

Type A: Humanities - Logic

Philosophy 2411 Logic
An introduction to formal logic from the categorical logic of Aristotle to the first order predicate calculus with emphasis on the problems in translating natural language expressions into symbolic form.
Credit Weight: 0.5
Offering: 3-0; or 3-0
Course Classifications: Type A: Humanities