邏輯學
Logic
| 節 | 週二 |
|---|---|
1 08:00–08:50 | 邏輯學 YT104 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.
None
Lectures: Each week, the instructor will present new material in class. Classroom activities: Each week, students will work in groups to solve a number of practice exercises from the textbook. Attendance Policy In order to receive full credit each week, students must attend the entire class meeting; otherwise, no credit will be given. Students who are more than 10 minutes late to class, or who leave class before the end of class, will be counted as absent, and will not receive their attendance and participation credit for that week. Absent students can receive their attendance and participation credit if their absence is excused. In order to receive an excused absence, students must submit their request for leave via NYCU’s Student Leave System (學生請假系統) and have their request approved. No attendance and participation credit will be given for unexcused absences. Students who are absent for more than six course meetings (whether excused or unexcused) will receive a failing grade for the course. Policy on 3C Products Using 3C products (e.g., laptops, phones, tablets) during class is permitted, provided that you use these products responsibly. Using 3C products during exams is strictly prohibited, and if I discover that you are using these products while taking exams, I will give you a zero for the exam.
Attendance and participation: 10% Homework assignments (4): 16% (4% each) Midterm exam: 37% Final exam: 37%
| 週次 | 主題 |
|---|---|
| 第 1 週 | Arguments, The scope of logic For all x, ch. 1 & 2, pp. 2-17 |
| 第 2 週 | First steps to symbolization, Connectives For all x, ch. 4 & 5, pp. 27-48 |
| 第 3 週 | Sentences of TFL, Characteristic truth tables, Complete truth tables Homework 1 assigned For all x, ch. 6, 9, & 11, pp. 49-55, 69-71, 78-85 |
| 第 4 週 | Truth-functional connectives, Semantic concepts Homework 1 due For all x, ch. 10 & 12, pp. 72-77, 86-95 |
| 第 5 週 | The very idea of natural deduction, Basic rules for TFL Homework 1 returned Homework 2 assigned For all x, ch. 16 & 17, pp. 111-143 |
| 第 6 週 | Constructing proofs, Additional rules for TFL Homework 2 due For all x, ch. 18 & 19, pp. 144-171 |
| 第 7 週 | Review for midterm exam Homework 2 returned |
| 第 8 週 | Midterm exam |
| 第 9 週 | Building blocks of FOL, Sentences with one quantifier For all x, ch. 23 & 24, pp. 192-214 |
| 第 10 週 | Multiple generality, Identity For all x, ch. 25 & 26, pp. 215-236 |
| 第 11 週 | Sentences of FOL, Definite Descriptions, Extensionality Homework 3 assigned For all x, ch. 27, 28, & 30, pp. 237-254, 260-267 |
| 第 12 週 | Truth in FOL, Semantic concepts, Using interpretations Homework 3 due For all x, ch. 31, 32, & 33, pp. 268-289 |
| 第 13 週 | Basic rules for FOL, Proofs with quantifiers Homework 3 returned Homework 4 assigned For all x, ch. 36 & 37, pp. 298-323 |
| 第 14 週 | Conversion of quantifiers, Rules for identity Homework 4 due For all x, ch. 38 & 39, pp. 324-330 |
| 第 15 週 | Review for final exam Homework 4 returned |
| 第 16 週 | Final exam |
Magnus, P. D., Button, Tim, Trueman, Robert, and 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.
- 地點
- 知行樓前棟, Room 311
- 時間
- By appointment
- 聯絡方式
- email: jhricko@nycu.edu.tw