東吳大學教師授課計劃表

檔案產生時間:2013/1/2 下午 06:39:41

一、課程基本資料 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
週次 Wk 日期 Date 課程內容 Content 備註 Note

1

9/21 General Notions   

2

9/28 General Notions   

3

10/5 General Notions   

4

10/12 Propositional Logic   

5

10/19 Propositional Logic   

6

10/26 Propositional Logic   

7

11/2 Propositional Logic   

8

11/9 Propositional Logic   

9

11/16 Mid-term Exam.   

10

11/23 First-Order Predicate Logic   

11

11/30 First-Order Predicate Logic   

12

12/7 First-Order Predicate Logic   

13

12/14 First-Order Predicate Logic   

14

12/21 First-Order Predicate Logic   

15

12/28 First-Order Predicate Logic   

16

1/4 First-Order Predicate Logic   

17

1/11 First-Order Predicate Logic   

18

1/18 Final Exam   
五、考評及成績核算方式 Grading
配分項目 Items 次數 Times 配分比率 Percentage 配分標準說明 Grading Description
出席1830%含Quiz
期中考135% 
學期考135% 
配分比率加總 100%  
六、授課教師課業輔導時間和聯絡方式 Office Hours And Contact Info
●課業輔導時間 Office Hour
週五下午13:00-15:00。
●聯絡方式 Contact Info
研究室地點 Office: EMAIL:wang@phil.ccu.edu.tw
聯絡電話 Tel:0939219119 其他 Others:
七、教學助理聯絡方式 TA’s Contact Info
教學助理姓名 Name 連絡電話 Tel EMAIL 其他 Others
八、建議先修課程 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