邏輯學
Logic
| 節 | 週二 |
|---|---|
7 15:30–16:20 | 邏輯學 YT301（陽明） 2 節連堂 |
8 16:30–17:20 |
* 根據陽明交大上課時間表所列
本課程的內容大多著重於當代命題邏輯及述詞邏輯的基本觀念及證明,因此把重點放在命題邏輯(propositional logic)及述詞邏輯(predicate logic)中的自然演繹法(natural deduction)上。在本課程中,學生們將會學到一些邏輯的基本觀念與推論規則,像是邏輯運算子、有效性(validity)、真值表(truth-table)、歸謬法......等等。然而,這些非常形式(formal)且抽象化的內容有時難引起學生的興趣,所以我也會在課堂中介紹一些有趣的邏輯問題,有時讓學員對這些問題進行分組討論,目的是要使他們瞭解到,學習邏輯可以幫助他們思考這些問題。另外,我也希望讓同學瞭解到古典邏輯並無法很恰當地掌握到日常的條件句,因此,也會在課堂上介紹幾個針對條件句所做的心理學實驗,讓他們去反思邏輯和日常語言之間的關係。
教師未提供此項資料
無備註
學習邏輯能幫助我們能深入地研究論證(argument)是什麼,最主要是能讓我們瞭解好的論證與不好的論證之區別是什麼。在日常生活以及學術討論中,我們用各式各樣的論證來說服別人接受我們的主張,在這樣的意味下,邏輯成為各個學科很重要的基礎工具。本課程可提供不同的領域中所共通的邏輯思考,培養學生能更敏銳地檢視自己領域上可能遭遇的推論。
本堂會有一次期中考與一次期末考,課堂會要求學員分組,因為課堂會不定時有分組討論的作業,預計有五次左右。另外,課堂會約有四次小考。所佔分數的比例如下: 期中考佔30%;期末考佔30%;分組討論表現佔20%;課堂小考佔20%。
教師未提供此項資料
| 週次 | 主題 |
|---|---|
| 第 1 週 | 命題的分類與邏輯關係認識命題與論證,說明兩者所具有的特性。 2023-02-14(二) 時數：[2023-02-14]劉吉宴(2.00) |
| 第 2 週 | 命題的分類與邏輯關係介紹命題邏輯語言,包含邏輯運算子與完構式。 2023-02-21(二) 時數：[2023-02-21]劉吉宴(2.00) |
| 第 3 週 | 和平紀念日(放假一天) 命題的分類與邏輯關係介紹命題的分類(恆真句、偶真句與矛盾句)、及命題間的邏輯關係(邏輯蘊涵、邏輯獨立、邏輯相容與邏輯等值),接著說明如何用真值表決定命題的分類及邏輯關係。 2023-02-28(二) 時數：[2023-02-28]劉吉宴(2.00) |
| 第 4 週 | 命題的分類與邏輯關係介紹歸謬法,教授如何用歸謬真值表及樹枝法來決定命題的分類。 2023-03-07(二) 時數：[2023-03-07]劉吉宴(2.00) |
| 第 5 週 | 命題邏輯論證有效性的決定與證明方法介紹反例法與真假值指定法 2023-03-14(二) 時數：[2023-03-14]劉吉宴(2.00) |
| 第 6 週 | 命題邏輯論證有效性的決定與證明方法借助真值表法、歸謬真值表法以及樹枝法來決定一個論證是否有效。 2023-03-21(二) 時數：[2023-03-21]劉吉宴(2.00) |
| 第 7 週 | 命題邏輯論證有效性的決定與證明方法本堂先介紹8個蘊涵規則:MP、MT、Conj、Simp、DS、HS、Add、CD。 2023-03-28(二) 時數：[2023-03-28]劉吉宴(2.00) |
| 第 8 週 | 兒童節(放假一天) 命題邏輯論證有效性的決定與證明方法本堂要介紹10個等值規則:DN、DeM、Comm、Assoc、Dist、Contra、Impl、Equiv、Exp、 Taut。 2023-04-04(二) 時數：[2023-04-04]劉吉宴(2.00) |
| 第 9 週 | 期中考 2023-04-11(二) 時數：[2023-04-11]劉吉宴(2.00) |
| 第 10 週 | 述詞邏輯的符號系統與證明方式說明條件證法與反證法此兩種證法。 2023-04-18(二) 時數：[2023-04-18]劉吉宴(2.00) |
| 第 11 週 | 述詞邏輯的符號系統與證明方式講解述詞邏輯的基本概念,例如:單稱命題、通稱命題、全稱命題與存在命題之間的區分;以及個體常元、個體變元、述詞常元、命題函數等概念。 2023-04-25(二) 時數：[2023-04-25]劉吉宴(2.00) |
| 第 12 週 | 述詞邏輯的符號系統與證明方式討論單稱命題、全稱命題、存在命題的真值條件。 2023-05-02(二) 時數：[2023-05-02]劉吉宴(2.00) |
| 第 13 週 | 述詞邏輯的符號系統與證明方式介紹釋模法,說明釋模及命題展開的概念。 2023-05-09(二) 時數：[2023-05-09]劉吉宴(2.00) |
| 第 14 週 | 述詞邏輯的符號系統與證明方式介紹與量限號相關的蘊涵規則:全稱個例化(UI)、存在個例化(EI)、全稱通則化(UG)與存在 通則化(EG)。 2023-05-16(二) 時數：[2023-05-16]劉吉宴(2.00) |
| 第 15 週 | 述詞邏輯的符號系統與證明方式介紹量限號互換規則(QN)。 2023-05-23(二) 時數：[2023-05-23]劉吉宴(2.00) |
| 第 16 週 | 述詞邏輯的符號系統與證明方式介紹我們如何談論多元述詞,說明關係如何用多元述詞來理解,並講解如何將日常中的各種關係命題符號化。 2023-05-30(二) 時數：[2023-05-30]劉吉宴(2.00) |
| 第 17 週 | 述詞邏輯的符號系統與證明方式總結並複習這學期的內容。 2023-06-06(二) 時數：[2023-06-06]劉吉宴(2.00) |
| 第 18 週 | 期末考 2023-06-13(二) 時數：[2023-06-13]劉吉宴(2.00) |
彭孟堯 (2012),基礎邏輯(第二版),學富文化。
- 地點
- 教師未提供此項資料
- 時間
- 教師未提供此項資料
- 聯絡方式
- 教師未提供此項資料