課程大綱

課程資訊
學年期 Semester	1142	課程代碼 Course Code	GE3903302
課程名稱 Course Title	邏輯思考概論 Introduction to Logical Thinking
學分數 Credits	2	選必修 Required/Elective	必修 /半學年
上課時間教室 Time/Location	M6(TR-412-2) M7(TR-412-2)
先修課程 Prerequisite(s)
授課教師 Lecturer	林景銘 Ching-ming Lin
專業核心能力 Core Professional Competencies

以下課程內容資料由授課教師提供
課程相關網址 Course Website	http://
課程宗旨 Objective of The Course	邏輯是關於推論的形式研究，古典邏輯所談的推論是真值保存的，也就是如何從前提的真保證結論的真。一般是以邏輯來判定推論是否合理。，因此，理性的思考必須合乎邏輯。說明一個演繹系統，相當於告訴我們理性思考的一種檢驗方法。理性思考是一心理過程，而演繹系統則是檢驗這個過程是否合乎理性的一種方法。在古典邏輯的部分，將介紹命題邏輯與述詞邏輯。演繹系統的部分將介紹自然演繹系統與樹枝葉系統。
課程大綱 Outline of Lectures	○. 導論第一部命題邏輯的形式化 1 有效性 1.1 論證與邏輯型 1.2 真理 1.3 有效性 2 邏輯論證與應用 2.1 如何辨識論證 2.2 如何給出好論證 3 形式系統的建立 3.1 命題邏輯的語法：完構式(well-formed formula) 3.2 翻譯圖式(translation scheme)與邏輯型 3.3 形變規則 4 命題邏輯的自然演譯系統(natural deduction system) 4.1 自然演繹系統的特徵 4.2 自然演繹系統的推論規則 4.3 證明的例子第二部述詞邏輯的形式化 5 述詞邏輯的語法 5.1 述詞邏輯的語法：名稱、變元、述詞字母、量詞與完構式 5.2 量詞的範圍(scope)、拘限變元與自由變元 5.3 自然語言的翻譯 6 述詞邏輯中的解釋與模型 6.1 解釋與模型 6.2 解釋與無效論證 7 述詞邏輯的自然演繹系統 7.1 推論規則：量詞的引進與消去 7.2 證明的例子第三部樹枝葉系統 8 樹枝葉系統(tableaux system) 8.1 命題邏輯的樹枝葉規則 8.2 量詞的樹枝葉規則 8.3 樹枝葉的例子
教科書 Textbook
參考書目 References	David Bostock, Intermediate Logic. Oxford: Oxford University Press, 1997. Raymond M. Smullyan, A Beginner’s Guide to Mathematical Logic. Mineola, New York: Dover Publications, 2014. Restall, Greg 2006. Logic: An Introduction. Montreal: McGill-Queen’s University Press. 林正弘，《邏輯》，台北：三民，1970。
修課學生須知 Notice of course enrollment
評量方式 Grading	平時成績 30﹪ 平時成績以五次作業與課堂問答為評分依據。期中考 30﹪ 第1章-第4章期末考 40﹪ 第5章-第8章
備註說明 Note