一、課程基本資料 Course Information | ||||||||||||||||||||
科目名稱 Course Title: (中文)進階邏輯 (英文)ADVANCED LOGIC |
開課學期 Semester:96學年度第1學期 開課班級 Class:哲學二 |
|||||||||||||||||||
授課教師 Instructor:王文方 | ||||||||||||||||||||
科目代碼 Course Code:BPH23101 | 單全學期 Semester/Year:全 | 分組組別 Section: | ||||||||||||||||||
人數限制 Class Size:30 | 必選修別 Required/Elective:選 | 學分數 Credit(s):2 | ||||||||||||||||||
星期節次 Day/Session: 五34 | 上課教室 Classroom: B718 | 前次異動時間 Time Last Edited: 96年08月28日18時38分 |
||||||||||||||||||
二、指定教科書及參考資料 Textbooks and Reference (請修課同學遵守智慧財產權,不得非法影印) |
||||||||||||||||||||
●指定教科書 Required Texts 1. Hunter, Geofrey, 1996. Metalogic: An Introduction to the Metatheory of Standard First Order Logic, sexth printing with correction. Berkeley University of Californa=ia Press. 2. 自備講義。 ●參考書資料暨網路資源 Reference Books and Online Resources | ||||||||||||||||||||
三、教學目標 Objectives | ||||||||||||||||||||
在本課程中,我們將介紹命題邏輯與初階(帶等同)邏輯的一些重要後設概念與結果,如模型、功能完備性、健全性、完備性、獨立性、緊致性、Lowenheim-Scholem定理等等。我們將使用公理化系統,並利用Henkin的方法,證明某些命題邏輯系統與初階(帶等同)邏輯系統的健全性與完備性。 | ||||||||||||||||||||
四、課程內容 Course Description | ||||||||||||||||||||
●整體敘述 Overall Description 在本課程中,我們將介紹命題邏輯與初階(帶等同)邏輯的一些重要後設概念與結果,如模型、功能完備性、健全性、完備性、獨立性、緊致性、Lowenheim-Scholem定理等等。我們將使用公理化系統,並利用Henkin的方法,證明某些命題邏輯系統與初階(帶等同)邏輯系統的健全性與完備性。此外,我們也將介紹一些簡單的集合論概念與重要結果,特別是康托的對角化論證。部分定理的證明將十分冗長且複雜,學者最好有心理準備。 |
●分週敘述 Weekly Schedule
|
五、考評及成績核算方式 Grading | ||||||||||||||||||||
| ||||||||||||||||||||
六、授課教師課業輔導時間和聯絡方式 Office Hours And Contact Info | ||||||||||||||||||||
●課業輔導時間 Office Hour 週五下午13:00-15:00。 |
||||||||||||||||||||
●聯絡方式 Contact Info
|
七、教學助理聯絡方式 TA’s Contact Info | |||||
| |||||
八、建議先修課程 Suggested Prerequisite Course | |||||
九、課程其他要求 Other Requirements | |||||
十、學校教材上網及教師個人網址 University’s Web Portal And Teacher's Website | |||||
學校教材上網網址 University’s Teaching Material Portal:http://elearn.scu.edu.tw(於99.09.啟用) | |||||
教師個人網址 Teacher's Website: | |||||
其他 Others: | |||||
十一、計畫表公布後異動說明 Changes Made After Posting Syllabus | |||||