Middlebury

PHIL0180X-S11

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):
22243
Subject Code:
PHIL
Course Number:
0180
Section Identifier:
X

Course

PHIL 0180

All Sections in Spring 2011

Spring 2011

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