Logic studies the principles of valid, or correct, reasoning. It does this by looking for ways to regiment the relationship between a conclusion and the claims that support it. In this course, we will learn how to translate sentences of English into a symbolic language that brings out their logically relevant properties, and we will study formal methods - methods sensitive only to the form of the arguments, as opposed to their content - that allow us to determine whether the conclusions of arguments follow from their premises. Some consideration is given to the limits of the system itself as well as to the relationship between logic and ordinary language.

Units: 1

Max Enrollment: 25

Prerequisites: None

Instructor: Wearing (Fall); McGowan (Spring)

Distribution Requirements: MM - Mathematical Modeling and Problem Solving; EC - Epistemology and Cognition

Typical Periods Offered: Spring; Fall

Semesters Offered this Academic Year: Spring; Fall