本課程將分為二部份，第一部份介紹形式邏輯的基本概念，並著重在當代初階符號邏輯之命題邏輯的自然演繹法；第二部份則介紹批判思考的基本方法，透過介紹非形式邏輯中日常推論的種種非形式謬誤，使學生掌握辨識不合理論證的技巧。形式邏輯以人工語言研究有效推論的形式結構，所關心的是一個有效論證的特徵及其前提如何確保結論為真。初階符號邏輯是各種進階邏輯的基礎，例如數理邏輯、模態邏輯等，也是研究當代計算機理論的踏腳石。批判思考及非形式邏輯則探討自然語言中語意、語法及語用上各種涉及推理的論證特性。除了介紹演繹、歸納、兩難論證、非形式謬誤（如人身攻擊、偷換論題等）及反駁不良意見的方法外，將利用小組報告與討論的方式帶領學生以較活潑、應用的方式解析GRE等考試中的分析寫作題目，或其他由學生自報章網路所挑選的論述，使學生學會如何指出論述中的邏輯謬誤。綜合二者，一旦學生能掌握思考推論的理則，便能反省與檢視在日常生活與學術討論中的推論是否正確。

第一週 課程內容與要求簡介
第二週 非形式謬誤及反駁不良意見的方法
第三週 Ch1邏輯的基本觀念             
第四週 Ch1邏輯的基本觀念
第五週 Ch2邏輯語言與自然語言；           辨識非形式謬誤小組演練
第六週 Ch2邏輯語言與自然語言；           辨識非形式謬誤小組演練
第七週 Ch3命題邏輯的符號系統；           辨識非形式謬誤小組演練
第八週 Ch3命題邏輯的符號系統；           辨識非形式謬誤小組演練
第九週 期中考(Ch1-3)
第十週 Ch4命題的邏輯分類與邏輯關係；     辨識非形式謬誤小組演練
第十一週 Ch4命題的邏輯分類與邏輯關係；   辨識非形式謬誤小組演練
第十二週 Ch5歸謬原理；                 辨識非形式謬誤小組演練
第十三週 Ch6命題邏輯論證有效性的決定；   辨識非形式謬誤小組演練
第十四週 Ch6命題邏輯論證有效性的決定；   辨識非形式謬誤小組演練
第十五週 Ch7有效論證的證明：直接證法；   辨識非形式謬誤小組演練
第十六週 Ch7有效論證的證明：直接證法；   辨識非形式謬誤小組演練
第十七週 Ch7有效論證的證明：直接證法；   辨識非形式謬誤小組演練
第十八週 期末考（Ch4-7）


1.準時出席10%
2.隨堂練習15%
3.小組報告15%
4.二次小考10%
5.期中考25%
6.期末考25%