課程說明
介紹形式邏輯的技術與哲學含義，著重於將表述翻譯成符號形式、檢驗邏輯正確性、推理規則的制定與應用，以及邏輯與語言之間的關係。開放給一年級學生。
條件與方式
- 每週講課三小時。選定學期可能提供小組討論課。
原文參考文本
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/