描述
介绍形式逻辑的技巧及其哲学含义，强调将表达式译成符号形式、检验逻辑正确性、制定和应用推理规则，以及逻辑与语言之间的关系。本科一年级学生可选。
条件与方式
- 每周三小时讲课。部分学期可能提供辅导课。
原文参考文本
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/