邏輯 (2020版)

點閱 17,504 次 (4,078 次/本月)

本課程是以學習初階邏輯 (First-order Logic) 為目標。自從十九世紀末德國哲學家弗雷格 (G. Frege) 認識到數學基礎的問題開始，他認為應該替數學找到一個更堅實的基礎，由於這樣的...

本課程共 15 講，包含：
影片檔 15 個教材檔 16 個課程回饋

單元 1．導論：什麼是邏輯？

※ 若 YouTube 影片無法觀看，請點選 [NTU Video] 觀看

內容：導論：什麼是邏輯？ (本影音檔不提供下載) [NTU video]

單元 2．命題與論證

單元 3．命題邏輯語言

單元 4．古典邏輯語意學

單元 5．真值表法

單元 6．函映完備性

單元 7．真值樹法

單元 8．公理系統

單元 9．自然演繹法

單元 10．傳統語詞邏輯

單元 11．述詞邏輯語言

單元 12．日常語言與邏輯語言

單元 13．真值樹法 (述詞邏輯)

單元 14．自然演繹法 (述詞邏輯)

單元 15．常見的謬誤