Mô tả
Giới thiệu kỹ thuật và hàm ý triết học của logic hình thức với trọng tâm là chuyển dịch biểu thức sang dạng ký hiệu, kiểm tra tính đúng logic, xây dựng và áp dụng các quy tắc suy luận, và mối quan hệ giữa logic và ngôn ngữ. Mở cho sinh viên năm nhất.
Điều kiện và thủ tục
- Bài giảng ba giờ mỗi tuần. Các buổi hướng dẫn có thể được tổ chức trong một số kỳ.
Văn bản tham chiếu bằng ngôn ngữ gốc
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.
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/