Philosophy (PHIL)
Department of Philosophy Faculty of Arts and Social Sciences
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: PHIL 2001 or permission of the Department.
Lectures three hours a week.
Summer session: some of the courses listed in this Calendar are offered during the summer. Hours and scheduling for summer session courses will differ significantly from those reported in the fall/winter Calendar. To determine the scheduling and hours for summer session classes, consult the class schedule at central.carleton.ca
Not all courses listed are offered in a given year. For an up-to-date statement of course offerings for the current session and to determine the term of offering, consult the class schedule at central.carleton.ca
