劉＊榛
2025-10-08 22:03
課程以有條理的方式講解並分析「邏輯」，雖然看似艱深，但只要掌握其本質與形式，就能學會思辨與運用。這堂課系統性地教授各種邏輯基本原理，是入門邏輯語言與培養思考能力的絕佳機會。
課程詳情
【本課程為實體課程，如欲修讀此課程，請洽中國文化大學】
本課程是以學習初階邏輯(First-order Logic)為目標。自從十九世紀末德國哲學家弗雷格(G. Frege)認識到數學基礎的問題開始，他認為應該替數學找到一個更堅實的基礎，由於這樣的動機，他成就了創建現代邏輯的非凡成果。也正由於他的努力，使得人們在處理學科的基本問題上有了更強大的工具。雖然他遺留下許多哲學問題尚待現代哲學家們努力，但是顯而易見的是，這些問題反而促進現代邏輯多樣化的發展。初階邏輯包括語句邏輯(propositional logic)和述詞邏輯(predicate logic)，語句邏輯是以語句為單位所建構的邏輯，而述詞邏輯是更深入地分析語句的結構而建構的邏輯。由於處理的對象的差異，述詞邏輯顯然需要更多的考慮，然而也因此會有更強大的解釋力。在本課程中，教師將讓學生認識到初階邏輯的語言、各種處理語言的系統及如何演算。
認識邏輯所處理的對象及問題。
論證與形式化的重要性。
初階邏輯語言（包括語句邏輯與述詞邏輯）及演算。
初階邏輯語意學。
如何將日常語言翻譯為邏輯語言。
第一單元：什麼是邏輯？
第二單元：命題與論證
第三單元：命題邏輯語言
第四單元：古典邏輯語意學
第五單元：真質表法
第六單元：函映完備性
第七單元： 真值樹法
第八單元：公理系統
第九單元：自然演繹法
第十單元：傳統語詞邏輯
第十一單元： 述詞邏輯語言
第十二單元： 日常語言與邏輯語言
第十三單元：真值樹法（述詞邏輯）
第十四單元：自然演繹法（述詞邏輯）
第十五單元：常見的謬誤
"1. 傅皓政，(2006)，《思考的秘密》，台北市：三民。
2. Hodges, Wilfrid, (2005), Logic, 2nd ed., London: Penguin Books.
3. Hamilton A. G., (1988), Logic for Mathematics, Cambridge: Cambridge University Press.
4. Jeffery, Richard, (1989), Formal Logic: Its Scope and Limits, 3rd ed., New York : McGraw-Hill.
5. Sainsbury, M., (1991), Logical Form: An Introduction to Philosophical Logic, Oxford, UK ; Cambridge, Mass. : B. Blackwell."
講述教學
推薦適性課程
課程回饋
林＊胤
2025-07-31 20:44
了解初階邏輯的基本架構，學會以形式化方式思考與表達，有助於提升推理與分析能力。
白＊禹
2025-07-31 04:51
我從命題到述詞邏輯逐步建立邏輯思維能力，也學會如何將日常語言形式化。雖然一開始不容易，但透過練習，還是可以逐漸清楚理解了論證與分析的基本方法。
王＊宜
2025-07-30 21:05
這門課透過命題與述詞邏輯訓練推理能力，深入探討語意與形式邏輯，幫助培養清晰思考與論證能力，對日常表達與分析大有助益。
陳＊齊
2025-07-30 19:06
這門課讓我初步掌握了語句邏輯與述詞邏輯的基本概念與推理方法，透過形式化語言與演算系統的學習，提升了我在邏輯思考與分析問題上的能力，對哲學與數理基礎也有更深刻的理解。