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