邏輯學
Logic
| 節 | 週二 |
|---|---|
1 08:00–08:50 | 邏輯學 YT202 2 節連堂 |
2 09:00–09:50 |
* 根據陽明交大上課時間表所列
Language is messy, and it’s often difficult to figure out exactly what someone is claiming or whether a particular argument someone makes is any good. Formal logic is a useful tool that can provide clarity in such cases. It allows us to evaluate sentences and arguments in a way that is as rigorous and precise as mathematics. This course serves as an introduction to two formal languages: truth-functional logic (TFL) and first-order logic (FOL). TFL concerns the logic that governs words like ‘and’, ‘or’, ‘if ... then’, and ‘if and only if’. FOL builds upon TFL and concerns the logic that governs words like ‘all’ and ‘some’. We will pay special attention to both semantics (which concerns the conditions under which sentences of these languages are true) and syntax (which concerns the formal rules that govern the languages). Students will learn how to translate from English sentences into sentences of TFL and FOL and how to use the resources of these two formal languages to evaluate sentences and arguments. The overarching goal of this course is to provide students with various resources for thinking more clearly and precisely about claims and arguments in natural languages like English.
https://forallx.openlogicproject.org/
Assignment 16% (Four homework assignments, each worth 4% of a student’s grade). Mid-term Exam 37% Final Exam 37% Discussion 10% (Students must be prepared to answer questions during in-class discussions)
| 週次 | 主題 |
|---|---|
| 第 1 週 | Truth-Functional Logic Arguments, validity, soundness, symbolization |
| 第 2 週 | Truth-Functional Logic Logical connectives, Sentences |
| 第 3 週 | Truth-Functional Logic Truth-tables |
| 第 4 週 | Truth-Functional Logic Semantic concepts |
| 第 5 週 | Truth-Functional Logic Natural deduction |
| 第 6 週 | Truth-Functional Logic Natural deduction |
| 第 7 週 | Truth-Functional Logic Review for midterm exam |
| 第 8 週 | Midterm exam |
| 第 9 週 | First-Order Logic Introduction, Quantifiers |
| 第 10 週 | First-Order Logic Identity, Sentences, Definite descriptions |
| 第 11 週 | First-Order Logic Interpretations |
| 第 12 週 | First-Order Logic Natural deduction |
| 第 13 週 | First-Order Logic Natural deduction |
| 第 14 週 | First-Order Logic Natural deduction |
| 第 15 週 | First-Order Logic Review for final exam |
| 第 16 週 | Final exam |
Magnus, P. D., Button, Tim, Trueman, and Robert, Zach, Richard; with contributions by Loftis, Robert J. and Thomas-Bolduc, Aaron. 2023. For all x: Calgary remix: An introduction to formal logic. Fall 2023 edition. Available here: https://forallx.openlogicproject.org/. Licensed under a Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0/).
- 地點
- 知行樓前棟311
- 時間
- By appointment
- 聯絡方式
- jhricko@nycu.edu.tw