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. Lectures three hours a week. Tutorials may be offered in selected terms. [0.5 credits]
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. Lectures three hours a week. Tutorials may be offered in selected terms. [0.5 credits]
