Type of Credit: Elective
Credit(s)
Number of Students
當代邏輯大師哥德爾 (K. Gödel) 曾指出：邏輯是一門先於其他任何科學的科學。古希臘哲學家德謨克理特用邏輯創造出原子論，而伽利略則是用邏輯推演出自由落體定律。可見邏輯包含了所有科學的基本觀念和原理，其力量足以移山倒海！
不過有些邏輯推論卻似是而非，其妖言足可惑眾。例如：
未經反省的人生是沒有價值的。在這訊息泛濫、真假不分的時代中，邏輯訓練還可以使我們在面對不同學科或社會議題時，有能力分析各主張背後的論據，並且避免一些常見的思考盲點。本課程的目的，即以正規邏輯訓練為經緯，培養同學邏輯分析、掌握問題關鍵、明辨是非對錯等能力，如此才能不為妖言所惑而人云亦云。
能力項目說明
本課程為哲學系必修課，將訓練同學堅實的邏輯推論能力，期能為日後分析事理或學術研究奠定良好基礎。
| 教學週次Course Week | 彈性補充教學週次Flexible Supplemental Instruction Week | 彈性補充教學類別Flexible Supplemental Instruction Type |
|---|---|---|
A. 同學每週課前約需花 2 小時預習，課後則需花 2.5 小時消化課程內容，每週教學時間為 3 小時。
B. 預定討論下列議題 (預定一週討論一個主題)：
1 INTRODUCTION TO LOGIC
2 THE STRUCTURE OF SENTENTIAL LOGIC
3 COMPUTING TRUTH VALUES
4 SYMBOLIZING ENGLISH SENTENCES
5 TRUTH TABLES FOR TESTING VALIDITY
6 FURTHER APPLICATIONS OF THE TRUTH TABLE METHOD
7 THE PROOF METHOD: EIGHT BASIC INFERENCE RULES
8 REPLACEMENT RULES
9 CONDITIONAL PROOF AND INDIRECT PROOF
10 SINGULAR SENTENCES
11 QUANTIFIERS
12 CATEGORICAL PROPOSITIONS
13 COMPLEX SUBJECTS AND PREDICATES
14 QUANTIFIER FORM AND TRUTH-FUNCTIONAL COMPOUNDS OF QUANTIFIER STATEMENTS
15 PROOFS IN PREDICATE LOGIC
16 INVALIDITY IN QUANTIFIER LOGIC
期中考 40%
期末考 60%
1.《邏輯新引》，殷海光著，台北：桂冠圖書公司
2. Klenk, Virginia. 2008. Understanding Symbolic Logic. Fifth Edition. New Jersey: Prentice-Hall Inc.
3.《邏輯》，林正弘著，台北：三民書局
4.《邏輯與哲學》，莊文瑞編譯，台北：雙葉書廊
NCCU moodle