.jpeg)
林＊胤
2025-07-31 20:44
了解初階邏輯的基本架構，學會以形式化方式思考與表達，有助於提升推理與分析能力。
課程詳情
【本課程為實體課程，如欲修讀此課程，請洽中國文化大學】
本課程是以學習初階邏輯(First-order Logic)為目標。自從十九世紀末德國哲學家弗雷格(G. Frege)認識到數學基礎的問題開始，他認為應該替數學找到一個更堅實的基礎，由於這樣的動機，他成就了創建現代邏輯的非凡成果。也正由於他的努力，使得人們在處理學科的基本問題上有了更強大的工具。雖然他遺留下許多哲學問題尚待現代哲學家們努力，但是顯而易見的是，這些問題反而促進現代邏輯多樣化的發展。初階邏輯包括語句邏輯(propositional logic)和述詞邏輯(predicate logic)，語句邏輯是以語句為單位所建構的邏輯，而述詞邏輯是更深入地分析語句的結構而建構的邏輯。由於處理的對象的差異，述詞邏輯顯然需要更多的考慮，然而也因此會有更強大的解釋力。在本課程中，教師將讓學生認識到初階邏輯的語言、各種處理語言的系統及如何演算。
本課程是以學習初階邏輯(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."
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 04:51
我從命題到述詞邏輯逐步建立邏輯思維能力，也學會如何將日常語言形式化。雖然一開始不容易，但透過練習，還是可以逐漸清楚理解了論證與分析的基本方法。
王＊宜
2025-07-30 21:05
這門課透過命題與述詞邏輯訓練推理能力，深入探討語意與形式邏輯，幫助培養清晰思考與論證能力，對日常表達與分析大有助益。
陳＊齊
2025-07-30 19:06
這門課讓我初步掌握了語句邏輯與述詞邏輯的基本概念與推理方法，透過形式化語言與演算系統的學習，提升了我在邏輯思考與分析問題上的能力，對哲學與數理基礎也有更深刻的理解。
林＊辰
2025-07-29 23:09
這門課讓我對邏輯的基礎有更清楚的了解，尤其是從命題邏輯到述詞邏輯的架構，讓我知道邏輯不只是抽象的理論，而是能幫助我們更精確地表達和分析日常語言的工具。雖然內容有點複雜，但老師的講解讓我逐漸掌握這些概念。