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.
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.
