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 (Philosophy 30600: Symbolic Logic), the course would also be very useful for anyone expecting to deal extensively with complex reasoning.