C-ID Descriptor
Symbolic Logic

Eligibility for College Composition (C-ID ENGL 100) or equivalent or Critical Thinking or Introduction to Logic

The concept of and criteria for validity

Symbolization, truth tables, syntax, semantics and natural deduction method in sentential logic

Symbolization, syntax, semantics and natural deduction method in predicate logic.

At the conclusion of this course, the student should be able to:

Demonstrate understanding of deductive reasoning and competence in the basic analytical methods of formal logic.

Problem sets, quizzes and exams.

M. Bergmann,  J. Moor, J. Nelson, The Logic Book

R. M. Martin, Introducing Symbolic Logic

P. Teller,  A Modern Formal Logic Primer (on-line)

P.D. Magnus, For All x An Introduction to Formal Logic (on-line)