PHI2101: Introduction to Logic 3

Description: This course will introduce students to symbolic logic. In logic we study the principles of correct reasoning as revealed through language. In this course, students will study both how and why good reasoning works. Our focus will be on the principles of deductive reasoning (in contrast to inductive reasoning). In symbolic logic we use artificial, formal languages to study deductive inferences. In this course students will be introduced to and come to understand two such formal languages (sentential logic and predicate logic) in order to assess and construct good deductive arguments and test for other logical properties. This course satisfies a core requirement for the major in Philosophy.