邏輯學
Logic
學期
109-1
學分
2
學分
當期課號
A807
永久課號
A7400
開課單位
人文與社會中心
授課教師
王文方
校區
陽明
類別
其他通識
上課時間表
| 節 | 週二 |
|---|---|
1 08:00–08:50 | 邏輯學 YX406 2 節連堂 |
2 09:00–09:50 |
* 根據陽明交大上課時間表所列
週次計畫
| 週次 | 主題 |
|---|---|
| 第 1 週 | 簡介:邏輯學在研究甚麼Thinking (p1~p13) |
| 第 2 週 | 人工語言與自然語言Arguments (p14~p27) |
| 第 3 週 | 命題邏輯語言PStrategy and Primitive (p28~p59) |
| 第 4 週 | 連接詞語意論與基本真值表Sentential and Decision (p60~p97) |
| 第 5 週 | 基本真值表的用途Translation into Sentential (p98~p115) |
| 第 6 週 | 語句分類與邏輯關係The Strategy Applied and Extended (p116~p125) |
| 第 7 週 | 語意樹枝法(一)Deduction I (p126~p135) |
| 第 8 週 | 自然演繹法(一) Deduction II (p136~p146) |
| 第 9 週 | Mid-term ExamSentential and Strategy (p147~p155) |
| 第 10 週 | 自然演繹法(二)Mid-term Exam |
| 第 11 週 | 述詞邏輯與言QPredicate Part I (p156~p179) |
| 第 12 週 | 自然語言的符號化Predicate Part II (p180~p205) |
| 第 13 週 | 自然演繹法(三) Translating into Predicate (p206~p231) |
| 第 14 週 | 自然演繹法(四)Validity (p232~p259) |
| 第 15 週 | 語意樹枝法(二)Identity, Problems and Prospects (p260~p274) |
| 第 16 週 | 模型論(一)Modal (p275~p287) |
| 第 17 週 | 模型論(二) Truth (p288~p308) |
| 第 18 週 | Final Exam |