PHIL 20200 Introduction to Logic
This course introduces students to the basics of modern logic. Topics covered include truth-tables, the rules of inference for the propositional calculus, and introduction to quantification theory. It focuses both on rules for producing formal proofs, and for translating natural language arguments into logical notation. Primarily designed as a preparation for advanced logic (PHIL 32100: Symbolic Logic), the course would also be very useful for anyone expecting to deal extensively with complex reasoning.
Contact Hours
3 hr./wk.