課程資料

發展願景

傳揚中華文化，促進跨領域創新，與時精進，邁向國際
It is our objective to promote Chinese culture, enhance cross-disciplinary innovation, seek constant advancement, and embrace global community.

辦學宗旨

秉承質樸堅毅校訓，承東西之道統，集中外之精華，研究高深學術, 培養專業人才，服務社會，致力中華文化之發揚, 促進國家發展.
Based on our motto—“Temperament, Simplicity, Strength, and Tenacity,” “inheriting the merits of the East and the West” and “absorbing the essence of Chinese and foreign cultures,” we make it our mission to pursue advanced research, develop professional talents, serve the society, promote Chinese culture and support national development.

校教育目標
校基本素養
校核心能力

院教育目標

培育兼通中西，並知新舊的文、史、哲學專業人才
發揚中華文化創造現代中國新文化
養成寬大胸襟與世界觀的現代文化人

院核心能力

典籍的解讀能力
文字的表達能力
是非的判斷能力
正確的史觀

系教育目標

培養中西哲學的基礎知識
啟發對社會的關懷及對文明的反思

系核心能力

基礎哲學素養
基本分析和判斷能力
理論之理解與應用能力
基礎外語能力
溝通協調及口語表達能力

課程目標

如何有系統地做「對的」，即「有效的」(valid)的論證。此系統包括量化邏輯(加等號)。同時，也要讓學者瞭解什麼是「謬誤」(fallacy)，以及如何避免謬誤

課程能力

基礎哲學素養 (比重 30%)
基本分析和判斷能力 (比重 25%)
理論之理解與應用能力 (比重 25%)
基礎外語能力 (比重 5%)
溝通協調及口語表達能力 (比重 15%)

課程概述

「理則學（邏輯）乃是一門先於其他科學的科學，它包括了所有科學的基本原理和概念」大數學家及大邏輯學家哥代爾(Kurt Gödel)如是說。這一句話把邏輯的重要性說得再清楚不過了。我們這個課程，就是要把這一句話在一年的時間中弄清楚。 於是，（一）我們快速溫習上學期的語句邏輯,（二）進入到量化邏輯A、E、I、O句型的翻譯 講到（三）量化自然演繹法的簡單系統（四）量化邏輯的全方位系統（五）量化邏輯的公理系（六）後設定理（七）謬誤（fallacies）的應用以及科學方法。 This semester we will cover the following important topics: (I) Firstly, we will try to review and refresh what we have learned in the last semester. (II) Then, to learn the quantificational logic. 1. The problems of translations of quatified sentences, especially about the four categories of A, E, I and O types of sentences. 2. To learn firstly the natrual deduction system: the Simple System. 3. Then, to learn the Comprehensive System. 4. To learn the Axiomatic System. 5. To do some applications. (III) Logical fallacies. 1. Its definition. 2. Some classifications and case studies. 3. How to avoid logical and semantical fallies in everyday practices. (IV) Scientific Method Based on Logic. 1. Some examples. 2. Some Applications.

授課內容

邏輯是一門具有趣又重要的科學，本學期我們將討論底下一些課題：
（i）邏輯的定義；
（ii）什麼是有效論證；
（iii）什麼是「語句」；
（ⅳ）什麼「語句連接詞」；
（v）「真值表」的推理法；
（vi）自然演譯法；
（vii）公理系辦法；
（viii）語句邏輯有所不足而需要進入量化邏輯的研究。

   請記住底下這句哥德爾（K. Gödel）的話：「邏輯乃是一門先於其他科學的科學，它包涵了所有科學的基本觀念與原理！」－－這句話將邏輯的重要性說明得再簡單不過了。    

     Logic is a very interesting and important subject. We will cover in this semester the following fundamental topics:
 (i) the definition of logic,
 (ii) the definition of 'valid argument',
 (iii) what is a 'snetence'?
 (iv) the introduction of sentential connectives,
 (v) how to write 'truth tables',
 (vi) to learn a natural deduction method for sentential logic,
 (vii) to learn some axiom systems for sentential logic and, perhaps,   (viii) some discussions of the inadequacy of sentential logic and, then, the introduction of quantificational logic, which will be mainly covered in the second semester.

授課方式

1. 課堂講授與練習。 (說明：除了講授課程內容外，課堂中會鼓勵同學發言並記錄之。)

2. 作業練習與說明。 (說明：每個單元均有作業，同學必須依照規定時間繳交作業，作業的解答與難題也都會在課堂上解說。)

3. 期中考試。 (說明：期中考試的評量內容包括建構形式語言的能力、建構論證的能力、分辨歧義性與含混性的能力、以語意學的角度判斷論證有效性的能力。)

4. 期末考試。 (說明：期末考試的評量內容主要為語法系統的部分，包括理解語句的特質，例如恆真句、矛盾句等，以及語句集合的特質，例如一致與不一致等。真值樹系統的語法規則及演算。)

上課用書

（師生應遵守智慧財產權及不得非法影印）
傅皓政，《思考的秘密》，台北市：三民，2006。
自編教材與講義，相關課程網址：
http://ocw.aca.ntu.edu.tw/ntu-ocw/index.php/ocw/cou/100S105

參考書目

（師生應遵守智慧財產權及不得非法影印）
1.Arnold vander Nat, Simple Formal Logic, NY: Routledge, 2010.

2.Leigh S. Cauman, First-Order Logic, NY: de Gruyter, 1998.

3.Raymond M. Smullyan, First-Order Logic, NY: Dover, 1968, 1995.

課程需求

要考試

輔導時間

• 星期三 10:00-12:00 13:00-15:00
• 星期四 10:00-12:00

教師聯絡資訊

Email：fhz2@faculty.pccu.edu.tw
分機：21131

課程進度

1. 導論：什麼是邏輯？ 指定研讀資料 Simple Formal Logic, pp.1-8

2. 命題與論證 指定研讀資料 Simple Formal Logic, pp.8-35

3. 語句連接詞 指定研讀資料 Simple Formal Logic, pp.52-58

4. 命題邏輯語言 指定研讀資料 Simple Formal Logic, pp.58-63

5. 命題邏輯語言 指定研讀資料 Simple Formal Logic, pp.63-68

6. 真值表法 指定研讀資料 Simple Formal Logic, pp.85-92

7. 簡易真值表法、真值樹法 指定研讀資料 Simple Formal Logic, pp.93-102；             Cauman, First order Logic: pp.86-102

8. 簡介公理法與自然演繹法 指定研讀資料 Simple Formal Logic, pp.93-102

9. 期中考

10. 後設定理：妥當性與完備性 指定研讀資料 Smullyan, First order Logic: pp.25-40

11. 傳統語詞邏輯 指定研讀資料 Simple Formal Logic, pp.148-184

12. 日常語言與邏輯語言 指定研讀資料 Simple Formal Logic, pp.225-236

13. 述詞邏輯演算：真值樹法 指定研讀資料 Cauman, First order Logic: pp.187-219

14. 述詞邏輯演算：自然演繹法 指定研讀資料 Simple Formal Logic, pp.240-285

15. 常見的謬誤 指定研讀資料 Simple Formal Logic, pp.286-324

16. 公理系（一）

17. 公理系（二）

18. 期末考