PHIL 2001
Introduction to Logic
An introduction to the techniques and philosophical implications of formal logic with emphasis on translation of expressions into symbolic form, testing for logical correctness, the formulation and application of rules of inference, and the relation between logic and language. Open to first-year students.
Topics
- translation of expressions into symbolic form
- testing for logical correctness
- formulation and application of rules of inference
- the relation between logic and language
Course catalogue
Prerequisites & course information
Lectures three hours a week. Tutorials may be offered in selected terms.