PHIL 2303 - INTRODUCTION TO FORMAL LOGIC

The purpose of the course is to introduce the student symbolic logic, including syllogisms, propositional and predicate logic, and logical proofs in a system of rules.

Upon completion, students will be able to:

  • Determine the logical structure of English arguments by identifying premises and conclusions.
  • Understand basic concepts in logic, such as truth functionality, validity, soundness, counter-examples, tautology, self-contradiction, logical equivalence, logical contradictoriness, and logical consistence.
  • Translate English statements into propositional and/or predicate notation.
  • Determine the validity of symbolic propositional or predicate arguments using such methods as direct/indirect truth tables, natural deduction, and/or the finite universe method.

Grade Basis: L
Credit Hours: 3
Lecture hours: 48.0

Restrictions:

  • Must meet TSI College Readiness Standard for Reading