Introduction to Modern Logic

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


PHIL 0180

All Sections in Fall 2011

Fall 2011

PHIL0180A-F11 Lecture (Khalifa)
PHIL0180Y-F11 Discussion (Khalifa)
PHIL0180Z-F11 Discussion (Khalifa)