|  |
Philosophy (PHIL)Department of Philosophy Faculty of Arts and Social SciencesPHIL 3306 [0.5 credit]Symbolic LogicA 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 |