Description
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.
Prerequisites
- Prerequisite(s): PHIL 2001 or permission of the Department.
Conditions and arrangements
- Precludes additional credit for Precludes additional credit for PHIL 3305.
- Prerequisite(s): PHIL 2001 or permission of the Department.
- Lectures three hours a week.
Reference text in its original language
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.
- Prerequisite(s): PHIL 2001 or permission of the Department.
- Precludes additional credit for Precludes additional credit for PHIL 3305.
- Lectures three hours a week.
Sources and references
Dates and sources are retained to help you verify the information. Translations are provided to facilitate reading; the official source governs conditions and requirements.
Source reference : https://calendar.carleton.ca/undergrad/courses/PHIL/