課程說明
命題邏輯與謂詞邏輯基本技巧的複習。自然演繹法與相容性樹。正確性與完備性。替代語義。對基本邏輯的擴充：同一性、具有可能世界語義的模態邏輯、三值系統、義務邏輯。
先修條件
- 先修課程：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/