Submission Information

  • Final
  • Philosophy
  • June 01, 2012

Descriptor Details

  • Symbolic Logic
  • 210
  • 3.0

This course introduces the principles of valid deductive reasoning.  The course must include a study of formal techniques of sentential logic and predicate 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)