Mô tả
Ôn tập các kỹ thuật cơ bản của logic mệnh đề và logic vị từ. Quy nạp tự nhiên và cây nhất quán. Tính âm thanh và tính đầy đủ. Ngữ nghĩa thay thế. Mở rộng logic cơ bản: đồng nhất, logic modal với ngữ nghĩa thế giới có thể, hệ thống ba giá trị, logic deontic.
Tiền đề
- Tiền đề: PHIL 2001 hoặc có sự cho phép của Khoa.
Điều kiện và thủ tục
- Loại trừ tín chỉ bổ sung cho Loại trừ tín chỉ bổ sung cho PHIL 3305.
- Tiền đề: PHIL 2001 hoặc có sự cho phép của Khoa.
- Ba giờ giảng mỗi tuần.
Văn bản tham chiếu bằng ngôn ngữ gốc
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.
Nguồn và tham khảo
Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.
Nguồn tham khảo : https://calendar.carleton.ca/undergrad/courses/PHIL/