Introduction to Logic is intended as a first course in logic for students with no previous exposure to the subject. The course treats symbolic logic. Students will learn to formalize reasoning in symbolic languages with precisely defined meanings and precisely defined rules of inference. Symbolic logic is by nature a mathematical subject, but the course does not presuppose any prior coursework in mathematics-only an openness to mathematical reasoning.
18 мар 2018