Middlebury

PHIL0180X-S12

Introduction to Modern Logic
Discussion

The aim of this course is to provide a sound understanding of the principles of deductive reasoning through the study of modern symbolic logic. Students will learn how to translate natural arguments into the formal languages of propositional and predicate logic and study both natural deduction and truth-functional derivation systems for these languages, as well as learning techniques for analyzing and evaluating natural arguments. Mastery of these methods and techniques will enable students to evaluate the validity of a wide range of arguments. No prior knowledge of logic, formal mathematics, or computer science is presupposed in this course, which does not count towards the PHL distribution requirement but instead towards the deductive reasoning requirement. 3 hrs. lect., 1 hr. disc.
Course Reference Number (CRN):
21821
Subject Code:
PHIL
Course Number:
0180
Section Identifier:
X

Course

PHIL 0180

All Sections in Spring 2012

Spring 2012

PHIL0180A-S12 Lecture (Grasswick)
PHIL0180X-S12 Discussion (Grasswick)
PHIL0180Y-S12 Discussion (Grasswick)
PHIL0180Z-S12 Discussion (Grasswick)