Symbolic Logic

  • Final
  • Philosophy
  • Symbolic Logic
  • 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.

  • 210
  • 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)

  • June 01, 2012