PHIL - 105. Logic

3 credit(s)
Logic is the study of what follows from what. It concerns what conclusions we can legitimately draw from a given set of premises. Thinking carefully about logical consequence has played an important role in philosophy and mathematics throughout their histories, and continues to shape how we think about arguments, inferences, language, and learning. Logics are formal models with their own rules that we can use to study logical consequence, and this course will introduce students to two formal models that have shaped much of the development of logic, mathematics, and computer science: propositional logic and predicate logic. Students will learn how to use these logics to study arguments in natural languages, and also some basic philosophy of logic, including the nature of truth and paradox, and the ways in which good reasoning does, and sometimes doesn’t, live up to the standards of logic.

Prerequisite(s): PHIL 101 or PHIL 103.
Attribute: ARTS, CDP, PLG