Course Syllabus

Course Information：

Year-Semester Course Number Course Name Phase Credits Hours Required/Elective Instructor Class Student NO. Withdraw Note

Spring Semester
Year 2020 273973 Logical Inference and Application 1 2.0 2 △ ching-ming lin Core Curriculum -Nature (I) 21 1 自然向度,B,1樓教室

Year-Semester	Course Number	Course Name	Phase	Credits	Hours	Required/Elective	Instructor	Class	Student NO.	Withdraw	Note
Spring Semester Year 2020	273973	Logical Inference and Application	1	2.0	2	△	ching-ming lin	Core Curriculum -Nature (I)	21	1	自然向度,B,1樓教室

Course Plan：

Instructor ching-ming lin

Email tomek@ms9.hinet.net

Last Updated 2020-03-04 20:43:16

Course Objective 邏輯是關於推論(inference)的形式研究，古典邏輯所談的推論是真值保存的(truth-preserving)，也就是如何從前提(premise)的真保證結論(conclusion)的真。一般是以邏輯來判定推論是否合理(reasonable)，因此，理性的思考必須合乎邏輯。說明一個演繹系統(system of deduction)，相當於告訴我們理性思考的一種檢驗方法。理性思考是一心理過程，而演繹系統則是檢驗這個過程是否合乎理性的一種方法。在古典邏輯的部分，將介紹命題邏輯與述詞邏輯。命題邏輯是以語句為基本語意單位，述詞邏輯則進入語句的內部結構。日常語言的論證有時只需考慮命題邏輯的邏輯型，但有時必須考慮述詞邏輯的邏輯型。在介紹演繹系統之前，還必須介紹語法與語意的問題。形式邏輯以完構式做為處理對象，所以必須介紹形式語言的語法。語句的真假與論證的有效等是語意學的問題。演繹系統的部分將介紹自然演繹系統與樹枝葉系統。演繹系統所要處理的是證明理論的問題。演繹系統告訴我們某一組前提是否可以導出我們所要的結論，使用推論規則展示這個過程，就是所謂的證明。

Course Schedule 週次日期進度 1週 3/5 導論～第1章有效性(1.1) 2週 3/12 1.2～1.3.1論證與真值表 3週 3/19 1.3.2間接真值表 4週 3/26 第2章邏輯論證與應用 5週 4/2 補假一天(清明節) 6週 4/9 第3章形式系統的建立 7週 4/16 第4章命題邏輯的自然演譯系統 8週 4/23 4.2，期中複習 9週 4/30 期中考 10週 5/7 4.3～第5章述詞邏輯的語法 11週 5/14 5.3 12週 5/21 第6章述詞邏輯中的解釋與模型 13週 5/28 6.2～第7章述詞邏輯的自然演繹系統 14週 6/4 7.1 15週 6/11 7.2～第8章樹枝葉系統 16週 6/18 8.2，期末複習 17週 6/25 端午節放假一天 18週 7/2 期末考

Evaluation and grading policy 平時成績 30﹪ 平時成績以五次作業與課堂問答為評分依據。期中考 30﹪ 第一章至4.2節期末考 40﹪ 4.3節至第七章

Materials All right reserved. Do not reproduce without permission.

Foreign-language textbooks:Yes
教材為自編講義參考書目 (1)David Bostock, Intermediate Logic. Oxford: Oxford University Press, 1997. (2)Paul Tomassi, Logic, London: Routledge, 1999. (3)林正弘，《邏輯》，台北：三民，1970。

The access to curricular consultation

The course corresponds to the SDGs

Does the course incorporate AI

Note
　

Instructor	ching-ming lin
Email	tomek@ms9.hinet.net
Last Updated	2020-03-04 20:43:16
Course Objective	邏輯是關於推論(inference)的形式研究，古典邏輯所談的推論是真值保存的(truth-preserving)，也就是如何從前提(premise)的真保證結論(conclusion)的真。一般是以邏輯來判定推論是否合理(reasonable)，因此，理性的思考必須合乎邏輯。說明一個演繹系統(system of deduction)，相當於告訴我們理性思考的一種檢驗方法。理性思考是一心理過程，而演繹系統則是檢驗這個過程是否合乎理性的一種方法。在古典邏輯的部分，將介紹命題邏輯與述詞邏輯。命題邏輯是以語句為基本語意單位，述詞邏輯則進入語句的內部結構。日常語言的論證有時只需考慮命題邏輯的邏輯型，但有時必須考慮述詞邏輯的邏輯型。在介紹演繹系統之前，還必須介紹語法與語意的問題。形式邏輯以完構式做為處理對象，所以必須介紹形式語言的語法。語句的真假與論證的有效等是語意學的問題。演繹系統的部分將介紹自然演繹系統與樹枝葉系統。演繹系統所要處理的是證明理論的問題。演繹系統告訴我們某一組前提是否可以導出我們所要的結論，使用推論規則展示這個過程，就是所謂的證明。
Course Schedule	週次日期進度 1週 3/5 導論～第1章有效性(1.1) 2週 3/12 1.2～1.3.1論證與真值表 3週 3/19 1.3.2間接真值表 4週 3/26 第2章邏輯論證與應用 5週 4/2 補假一天(清明節) 6週 4/9 第3章形式系統的建立 7週 4/16 第4章命題邏輯的自然演譯系統 8週 4/23 4.2，期中複習 9週 4/30 期中考 10週 5/7 4.3～第5章述詞邏輯的語法 11週 5/14 5.3 12週 5/21 第6章述詞邏輯中的解釋與模型 13週 5/28 6.2～第7章述詞邏輯的自然演繹系統 14週 6/4 7.1 15週 6/11 7.2～第8章樹枝葉系統 16週 6/18 8.2，期末複習 17週 6/25 端午節放假一天 18週 7/2 期末考
Evaluation and grading policy	平時成績 30﹪ 平時成績以五次作業與課堂問答為評分依據。期中考 30﹪ 第一章至4.2節期末考 40﹪ 4.3節至第七章
Materials	All right reserved. Do not reproduce without permission. Foreign-language textbooks:Yes 教材為自編講義參考書目 (1)David Bostock, Intermediate Logic. Oxford: Oxford University Press, 1997. (2)Paul Tomassi, Logic, London: Routledge, 1999. (3)林正弘，《邏輯》，台北：三民，1970。
The access to curricular consultation
The course corresponds to the SDGs
Does the course incorporate AI
Note