Print and PDF Options

PHIL 3306 [0.5 credit] Symbolic Logic

A review of the basic techniques of propositional and predicate logic. Natural deduction and consistency trees. Soundness and completeness. Alternative semantics. Extensions to basic logic: identity, modal logic with possible world semantics, three valued systems, deontic logic.
Precludes additional credit for PHIL 3305.
Prerequisite(s): PHIL 2001 or permission of the Department.
Lectures three hours a week.