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