View Descriptor

Descriptor List Export PDF

Descriptor Details

  • Descriptor Title
    Symbolic Logic
  • C-ID Number
    210
  • Units
    3.0
  • Date of Last Revision
    10/12/2017 04:44:06 PM PDT

General Description

This course introduces the principles of valid deductive reasoning.  The course must include a study of formal techniques of sentential logic and predicate logic.

Prerequisites

No information provided

Corequisites

No information provided

Advisories

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

Content

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.

Lab Activities

No information provided

Objectives

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.

Evaluation Methods

Problem sets, quizzes and exams.

Textbooks

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)

Descriptor Administration

  • Public Review Needed
    No
  • Next Descriptor Review
    No information provided
  • Resubmission Requirements for Courses
    No information provided
  • Resubmission Deadline
    No information provided
  • Comments

    No information provided

  • Notes

    No information provided

  • Keywords

    No information provided

Back