一、課程說明(Course Description)
本課程主要是介紹一些初階形式邏輯的基本概念，諸如論證的形式、論證的有效性、健全性及語句集合的一致性等。首先，將從語意的角度出發闡述這些基本概念，進而從語法的角度闡明。
課程內容包含語句邏輯，和含等號的一階述詞邏輯。主要目的在於理解形式邏輯的系統性建構方法，掌握一套形式語言和自然演繹法系統。除了著重如何判定論證的有效性之外，也將注重自然語言的形式化問題。

二、指定用書(Text Books)
P. Tidman / H. Kahane, Logic and Philosophy, 10th ed., Wadsworth 2006.

三、參考書籍(References)
林正弘，《邏輯》。三民書局 1988。
M. Bergmann/J. Moor/J. Nelson, The Logic Book, 4th ed. McGraw-Hill Publishing Company, 2004.

四、教學方式(Teaching Method)
講演。

五、教學進度(Syllabus)
1. 基本概念介紹
2. 語句邏輯的形式語言和自然語言的形式化
3. 真值表法
4. 語句邏輯的自然演繹法
5. 述詞邏輯的形式語言和自然語言的形式化
6. 述詞邏輯的解釋法
7. 述詞邏輯的自然演繹法
8. 等同關係

六、成績考核(Evaluation)
家庭作業佔30%； 期中考 30% ；期末考佔40%。