邏輯學
Logic
| 節 | 週二 |
|---|---|
1 08:00–08:50 | 邏輯學 YX406 2 節連堂 |
2 09:00–09:50 |
* 根據陽明交大上課時間表所列
邏輯的功能在使我們能夠區分開來好的論證與不好的論證(argument),或有效的(valid)論證與無效的論證。由於在日常生活以及嚴格的學術討論中我們都無法避免作論證,邏輯因此成為各個學門的基礎工具與嚴格思維之所需品。本課程置重點於命題邏輯(propositional logic)及述詞邏輯(predicate logic)中自然演繹法(natural deduction)的演算法上。在本課程中,學者們將會學到一些邏輯的基本觀念與技巧,諸如有效性(validity)、真值表(truth-table)、以及推論規則等等。本課程為一基礎性的課程,適合各科系的學生,沒有限修的規定,本課程亦為一般哲學研究所入學必考課目之ㄧ。Basic logical notions, such as "validity", "soundness", and etc., and basic logical methods, such as truth-table, tree method, natural deduction, and etc., will be taught in this course. Before the mid-term exam, students will learn propositional logic. After that, first-order logic will be taught.
選課的學生將於本課程中學得演繹推理(相對於歸納推理)的能力。由於本課程的內容將以「符號」邏輯(又稱「形式」邏輯或「數理」邏輯)為主,故學生亦將從中習得一定的數理與抽象能力。本課程是其它進階邏輯課程、或哲學討論課程所必須的基礎訓練課程。Students will learn the basic reasoning skill from this course.
| 週次 | 主題 |
|---|---|
| 第 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 |
1.課程用書:forall x: Calgary -- An Introduction to Formal Logic, By P. D. Magnus Tim Button. 2.參考書籍:熊明輝、王文方著,《邏輯學導論》,滄海書局。