課程大綱：

一、課程說明(Course Description)
本課程的主要目的在於複習符號邏輯的基本概念並加深對其之理解，著重後設定理的證明技巧之講解，以期掌握邏輯的形式系統之意義。
課程內容將包含語句和述詞（包含等號）邏輯的討論:（一）形式語言和自然語言的形式化；（二）自然演繹法與公設法；（三）後設定理的語法證明（可證性、可導性、一致性等）；（四）後設定理的語意證明（滿足、有效性、蘊涵、同時滿足等）；（五）最後藉完備性定理證明語法的和語意的邏輯系統之等價關係。

二、指定用書(Text Books)

Richmond H. Thomason, Symbolic Logic: An Introduction. The Macmillan Company, 1970.

三、參考書籍(References)

1. Merrie Bergmann, James Moor, Jack Nelson, The Logic Book, 3rd Edition. McGraw-Hill Publishing Company, 1997.
2. Murray Eisenberg, Axiomatic Theory of Sets and Classes. Holt, Rinehart and Winston Inc., 1971.
3. Geoffrey Hunter, Metalogic: An Introduction to the Metatheory of Standard First Order Logic. University of California Press, 1996.
4. 林正弘，符號邏輯。正中書局 1986。

四、教學方式(Teaching Method)

講演與討論。

五、教學進度(Syllabus)

1. 語句邏輯的公設法、形式語言和自然語言的形式化
2. 語句邏輯的自然演繹法
3. 語句邏輯的語法系統
4. 語句邏輯的語意系統
5. 語句邏輯的完備性
6. 述詞邏輯的形式語言和自然語言的形式化
7. 述詞邏輯的自然演繹法
8. 述詞邏輯的語法系統
9. 述詞邏輯的語意系統
10. 述詞邏輯的完備性

六、成績考核(Evaluation)

家庭作業佔30%； 期中考 30% ；期末考佔40%。