Skip to Content

PHI 2208 Symbolic Logic

This course explores techniques in logical analysis using both philosophical and mathematical processes. Students will focus on constructing and evaluating deductive arguments, engage in symbolic translation, recognize formal argument forms, use truth-tables to analyze statements and arguments, conduct proofs, and learn and apply the rules of sentential and predicate logic.

Division: Liberal Arts, Communication and Social Sciences
Department: Philosophy
Repeatable Credit: No
Offered Online: No

Prereqs: DEV 0035 


  • Use a truth table to establish whether or not a biconditional statement is a tautology.
  • Translate an argument stated in natural language into the symbols of formal logic and apply propositional and/or predicate calculus to evaluate the validity of the argument.
  • Use the rules of deduction to construct proofs of conditional statements.

Credit Hours: 3

Classroom Hours: 3