คำอธิบาย
บทนำสู่เทคนิคและนัยทางปรัชญาของตรรกะเชิงรูปแบบ โดยเน้นการแปลงนิพจน์เป็นรูปสัญลักษณ์ การทดสอบความถูกต้องทางตรรกะ การกำหนดและประยุกต์ใช้กฎอนุมาน และความสัมพันธ์ระหว่างตรรกะกับภาษา เปิดรับนักศึกษาปีแรก
เงื่อนไขและข้อกำหนด
- บรรยายสามชั่วโมงต่อสัปดาห์ อาจมีการจัดติวในบางภาคการศึกษา
ข้อความอ้างอิงในภาษาต้นฉบับ
An introduction to the techniques and philosophical implications of formal logic with emphasis on translation of expressions into symbolic form, testing for logical correctness, the formulation and application of rules of inference, and the relation between logic and language. Open to first-year students.
- Lectures three hours a week. Tutorials may be offered in selected terms.
แหล่งที่มาและอ้างอิง
วันที่และแหล่งที่มาถูกเก็บไว้เพื่อช่วยให้คุณตรวจสอบข้อมูล การแปลเสนอเพื่ออำนวยความสะดวกในการอ่าน แหล่งทางการเป็นที่อ้างอิงสำหรับเงื่อนไขและข้อกำหนด
แหล่งอ้างอิง : https://calendar.carleton.ca/undergrad/courses/PHIL/