教學大綱與進度

課程基本資料：

學年期	課號	課程名稱	階段	學分	時數	修	教師	班級	人	撤	備註
110-2	303062	邏輯推理與應用	1	2.0	2	△	林景銘	博雅課程(二)	50	0	106-108：自然與科學核心。109(含)後：自然與科學

教學大綱與進度：

教師姓名	林景銘
Email	tomek@ms9.hinet.net
最後更新時間	2022-02-19 00:50:58
課程大綱	邏輯是關於推論(inference)的形式研究，古典邏輯所談的推論是真值保存的(truth-preserving)，也就是如何從前提(premise)的真保證結論(conclusion)的真。一般是以邏輯來判定推論是否合理(reasonable)，因此，理性的思考必須合乎邏輯。說明一個演繹系統(system of deduction)，相當於告訴我們理性思考的一種檢驗方法。理性思考是一心理過程，而演繹系統則是檢驗這個過程是否合乎理性的一種方法。 在古典邏輯的部分，將介紹命題邏輯與述詞邏輯。命題邏輯是以語句為基本語意單位，述詞邏輯則進入語句的內部結構。日常語言的論證有時只需考慮命題邏輯的邏輯型，但有時必須考慮述詞邏輯的邏輯型。在介紹演繹系統之前，還必須介紹語法與語意的問題。形式邏輯以完構式做為處理對象，所以必須介紹形式語言的語法。語句的真假與論證的有效等是語意學的問題。 演繹系統的部分將介紹自然演繹系統與樹枝葉系統。演繹系統所要處理的是證明理論的問題。演繹系統告訴我們某一組前提是否可以導出我們所要的結論，使用推論規則展示這個過程，就是所謂的證明。
課程進度	週次 進 度 1週 導論∼第1章 有效性(1.1) 2週 1.2∼1.3.1論證與真值表 3週 1.3.2間接真值表 4週 第2章 邏輯論證與應用 5週 第3章 形式系統的建立 6週 第4章 命題邏輯的自然演譯系統 7週 4.2 自然演繹系統的推論規則 8週 4.3，期中複習 9週 期中考 10週 第5章 述詞邏輯的語法 11週 5.3 自然語言的翻譯 12週 第6章 述詞邏輯中的解釋與模型 13週 第7章 述詞邏輯的自然演繹系統 14週 7.1 推論規則：量詞的引進與消去 15週 7.2 證明的例子 16週 第8章 樹枝葉系統 17週 8.2，期末複習 18週 期末考
評量方式與標準	平時成績 30﹪ 平時成績以五次作業與課堂問答為評分依據。 期中考 30﹪ 第一章至第三章 期末考 40﹪ 第四章至第七章
使用教材、參考書目或其他	【遵守智慧財產權觀念，請使用正版教科書，不得使用非法影印教科書】 使用外文原文書：否 David Bostock, Intermediate Logic. Oxford: Oxford University Press, 1997. Paul Tomassi, Logic, London: Routledge, 1999. 林正弘，《邏輯》，台北：三民，1970。
課程諮詢管道
備註	因應疫情發展，本學期教學及授課方式請依照學校網頁所公布之訊息為準： (https://oaa.ntut.edu.tw/p/404-1008-98622.php?Lang=zh-tw) (1)課程問題，可以寄Email到tomek@ms9.hinet.net 。郵件主旨請註明是邏輯推理與應用。 (2)課程講義會放在北科i學園。其他訊息也會在北科i學園上公告。 (3)如果有遠距教學需求時，會利用Microsoft Teams。同學登入課程群組的帳號是 學號@cc.ntut.edu.tw