説明
命題論理と述語論理の基本技法のレビュー。自然演繹と真理樹。妥当性と完全性。代替意味論。基本論理への拡張：同一性、可能世界意味論を伴うモーダル論理、三値システム、義務論理。
前提条件
- 前提条件：PHIL 2001 または学科の許可。
条件および詳細
- 追加単位の取得を認めない。追加単位の取得を認めない PHIL 3305。
- 前提条件：PHIL 2001 または学科の許可。
- 講義週3時間。
原語による参照テキスト
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/