邏輯學
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 2024-02-20(二) 時數：[2024-02-20]嚴偉哲(2.00) |
| 第 2 週 | Truth-Functional Logic Logical connectives, Sentences 2024-02-27(二) 時數：[2024-02-27]嚴偉哲(2.00) |
| 第 3 週 | Truth-Functional Logic Truth-tables 2024-03-05(二) 時數：[2024-03-05]嚴偉哲(2.00) |
| 第 4 週 | Truth-Functional Logic Semantic concepts 2024-03-12(二) 時數：[2024-03-12]嚴偉哲(2.00) |
| 第 5 週 | Truth-Functional Logic Natural deduction 2024-03-19(二) 時數：[2024-03-19]嚴偉哲(2.00) |
| 第 6 週 | Truth-Functional Logic Natural deduction 2024-03-26(二) 時數：[2024-03-26]嚴偉哲(2.00) |
| 第 7 週 | Truth-Functional Logic Review for midterm exam 2024-04-02(二) 時數：[2024-04-02]嚴偉哲(2.00) |
| 第 8 週 | Midterm exam 2024-04-09(二) 時數：[2024-04-09]嚴偉哲(2.00) |
| 第 9 週 | First-Order Logic Introduction, Quantifiers 2024-04-16(二) 時數：[2024-04-16]嚴偉哲(2.00) |
| 第 10 週 | First-Order Logic Identity, Sentences, Definite descriptions 2024-04-23(二) 時數：[2024-04-23]嚴偉哲(2.00) |
| 第 11 週 | First-Order Logic Interpretations 2024-04-30(二) 時數：[2024-04-30]嚴偉哲(2.00) |
| 第 12 週 | First-Order Logic Natural deduction 2024-05-07(二) 時數：[2024-05-07]嚴偉哲(2.00) |
| 第 13 週 | First-Order Logic Natural deduction 2024-05-14(二) 時數：[2024-05-14]嚴偉哲(2.00) |
| 第 14 週 | First-Order Logic Natural deduction 2024-05-21(二) 時數：[2024-05-21]嚴偉哲(2.00) |
| 第 15 週 | First-Order Logic Review for final exam 2024-05-28(二) 時數：[2024-05-28]嚴偉哲(2.00) |
| 第 16 週 | Final exam 2024-06-04(二) 時數：[2024-06-04]嚴偉哲(2.00) |
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