課程詳情
【本課程為實體課程，如欲修讀此課程，請洽中國文化大學】
本課程是以學習初階邏輯(First-order Logic)為目標。自從十九世紀末德國哲學家弗雷格(G. Frege)認識到數學基礎的問題開始，他認為應該替數學找到一個更堅實的基礎，由於這樣的動機，他成就了創建現代邏輯的非凡成果。也正由於他的努力，使得人們在處理學科的基本問題上有了更強大的工具。雖然他遺留下許多哲學問題尚待現代哲學家們努力，但是顯而易見的是，這些問題反而促進現代邏輯多樣化的發展。初階邏輯包括語句邏輯(propositional logic)和述詞邏輯(predicate logic)，語句邏輯是以語句為單位所建構的邏輯，而述詞邏輯是更深入地分析語句的結構而建構的邏輯。由於處理的對象的差異，述詞邏輯顯然需要更多的考慮，然而也因此會有更強大的解釋力。在本課程中，教師將讓學生認識到初階邏輯的語言、各種處理語言的系統及如何演算。
本課程是以學習初階邏輯(First-order Logic)為目標。自從十九世紀末德國哲學家弗雷格(G. Frege)認識到數學基礎的問題開始，他認為應該替數學找到一個更堅實的基礎，由於這樣的動機，他成就了創建現代邏輯的非凡成果。也正由於他的努力，使得人們在處理學科的基本問題上有了更強大的工具。雖然他遺留下許多哲學問題尚待現代哲學家們努力，但是顯而易見的是，這些問題反而促進現代邏輯多樣化的發展。初階邏輯包括語句邏輯(propositional logic)和述詞邏輯(predicate logic)，語句邏輯是以語句為單位所建構的邏輯，而述詞邏輯是更深入地分析語句的結構而建構的邏輯。由於處理的對象的差異，述詞邏輯顯然需要更多的考慮，然而也因此會有更強大的解釋力。在本課程中，教師將讓學生認識到初階邏輯的語言、各種處理語言的系統及如何演算。
(OGE網站上無此內容) 認識邏輯所處理的對象及問題。
論證與形式化的重要性。
初階邏輯語言（包括語句邏輯與述詞邏輯）及演算。
初階邏輯語意學。
如何將日常語言翻譯為邏輯語言。
論證與形式化的重要性。
初階邏輯語言（包括語句邏輯與述詞邏輯）及演算。
初階邏輯語意學。
如何將日常語言翻譯為邏輯語言。
第一單元：什麼是邏輯？
第二單元：命題與論證
第三單元：命題邏輯語言
第四單元：古典邏輯語意學
第五單元：真質表法
第六單元：函映完備性
第七單元： 真值樹法
第八單元：公理系統
第九單元：自然演繹法
第十單元：傳統語詞邏輯
第十一單元： 述詞邏輯語言
第十二單元： 日常語言與邏輯語言
第十三單元：真值樹法（述詞邏輯）
第十四單元：自然演繹法（述詞邏輯）
第十五單元：常見的謬誤
第二單元：命題與論證
第三單元：命題邏輯語言
第四單元：古典邏輯語意學
第五單元：真質表法
第六單元：函映完備性
第七單元： 真值樹法
第八單元：公理系統
第九單元：自然演繹法
第十單元：傳統語詞邏輯
第十一單元： 述詞邏輯語言
第十二單元： 日常語言與邏輯語言
第十三單元：真值樹法（述詞邏輯）
第十四單元：自然演繹法（述詞邏輯）
第十五單元：常見的謬誤
"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."
講述教學
推薦適性課程
.png)
課程回饋
尚無相關回饋內容