Logic

Catalog description

This course is an introduction to deductive logic. The course is intended for students who have not taken a logic course before. The course starts with sentential logic, then moves on to natural deduction, quantifiers and predication, and truth trees. The course will include some related topics: vagueness, conditionals or counterfactuals.