描述
回顾命题逻辑与谓词逻辑的基本技巧。自然演绎与一致性树。完备性与正确性。替代语义学。对基本逻辑的扩展：同一性、具有可能世界语义的模态逻辑、三值系统、义务逻辑。
先修课程
- 先修课程：PHIL 2001 或经系方许可。
条件与方式
- 不得另计学分：PHIL 3305。
- 先修课程：PHIL 2001 或经系方许可。
- 每周讲课三小时。
原文参考文本
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.
来源与参考
为帮助您核实信息，保留了日期和来源。为便于阅读提供了翻译；以官方来源为准，查看条件和要求。
来源参考 : https://calendar.carleton.ca/undergrad/courses/PHIL/