204年菲尔符号逻辑概论
符号逻辑使用形式化方法，以精确和严格的方式研究论证的性质。在这门课程中，我们将学习命题演算，它处理整个命题之间的逻辑关系，以及谓词演算，一个允许更精确地分析语言结构的系统。本课程将着重于将自然语言翻译成符号形式，以及使用自然演绎进行证明。
学习成果
一般
- 计算以自然语言给出的参数
- 将自然语言转化为命题演算
- 将自然语言翻译成谓词演算
- 在自然演绎系统中构造证明
- 把这些推理技巧运用到学生和公民的生活中
2025年春季
| 部分 | 标题 | 教练 | 书 | eservices |
|---|---|---|---|---|
| 50 | 符号逻辑概论 | 丽莎·A·伯金 | 书PHIL-204-50春季2025 | 课程详细信息PHIL-204-50春季2025 |