一、            課程說明：

本課程有兩個主要目的，第一個主要目的是複習語句邏輯、與述詞邏輯，並複習邏輯推導的技巧，此外，也將觸及一些有關邏輯與自然語言之間關係的哲學問題；第二個主要目的是介紹將上述兩個邏輯系統作為研究對象的後設邏輯(metalogic)，所要探討的是這兩個邏輯系統的形式性質(formal properties)，例如：一致性、完備性、可證性(provability)、可導性(decidability)。

二、            指定用書：

Thomason, Richmond H., Symbolic Logic: An Introduction. The Macmillan Company, 1970. (清大人社圖書館藏有數冊。)

三、            參考書籍：

1. Lemmon, E. J., Beginning Logic, Hackett, 1978.

2. 林正弘，《符號邏輯》。正中書局，1986。

3. Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First Order Logic, University of California Press, 1996.

四、            教學方式：

講演與討論。

五、            教學進度：

按照Thomason一書章節循序討論，內容包括：

1. 邏輯的形式系統與自然語言之間的關係

2. 語句邏輯的自然演繹術

3. 語句邏輯的語法系統

4. 語句邏輯的語意系統

5. 語句邏輯的語意完備性

6. 述詞邏輯的自然演繹術

六、            成績考核：

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