คำอธิบาย
การทบทวนเทคนิคพื้นฐานของตรรกะประพจน์และตรรกะปริมาณ การอนุมานธรรมชาติและต้นไม้ความสอดคล้อง ความสมเสียงและความสมบูรณ์ ความหมายเชิงทางเลือก การขยายตรรกะพื้นฐาน: อัตลักษณ์ ตรรกะเชิงลักษณะเป็นไปได้ด้วยความหมายของโลกเป็นไปได้ (modal logic with possible world semantics), ระบบสามค่า, ตรรกะหน้าที่ผูกพัน (deontic logic)
รายวิชาก่อนหน้า
- ข้อกำหนดเบื้องต้น: 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/