PHIL 1200 - Symbolic Logic

Hours: 4
An introduction to symbolic logic, including propositional logic and first-order predicate logic with multiple quantifiers and the identity function. Emphasis will be on construction derivations, with some focus on translating arguments from ordinary English in symbolic notation.
Prerequisites: A C- or better in MATH 0900 or qualification through Otterbein’s Mathematics Placement Exam.
Notes: Satisfies the general education mathematics requirement for some degree programs. Required for Philosophy majors.

About Otterbein

Apply to Otterbein

Campus Life

On Campus

Contact Otterbein

PHIL 1200 - Symbolic Logic