Middlebury Institute of International Studies at Monterey

Searchable Course Catalog

header image

PHIL0180Y-S10

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

Course

PHIL 0180

All Sections in Spring 2010

Spring 2010

PHIL0180A-S10 Lecture (Grasswick)
PHIL0180Y-S10 Discussion (Grasswick)
PHIL0180Z-S10 Discussion (Grasswick)