科號

09910HSS 220000

組別

學分

 3

人數限制

60

上課時間

T3T4Tn

教室

人C403A

科目中文名稱

邏輯

科目英文名稱

Logic

任課教師

鄭志忠

一、課程說明

本課程主要是介紹一些初階形式邏輯的基本概念，諸如論證的形式、論證的有效性、健全性及語句集合的一致性等。首先，將從語意的角度出發闡述這些基本概念，進而從語法的角度闡明。

課程內容包含語句邏輯，和含等號的一階述詞邏輯。主要目的在於理解形式邏輯的系統性建構方法，掌握一套形式語言和自然演繹法系統。除了著重如何判定論證的有效性之外，也將注重自然語言的形式化問題。

視課堂上演練時間的多寡，家庭作業的份量將相對地調整。經由過往的經驗，需要大量的演練才能掌握基本概念與推理技巧，所以作業的份量將不會少。

二、指定用書

A. Hausman /H. Kahane / P. Tidman, Logic and Philosophy, 11^th ed., Wadsworth 2009.

三、參考書籍

林正弘，《邏輯》。三民書局 1988。

M. Bergmann/J. Moor/J. Nelson, The Logic Book, 4^th ed. McGraw-Hill Publishing Company, 2004.

四、教學方式

講演。

五、教學進度

根據以往的教學經驗，第一章的基本概念介紹將分散在相關章節再仔細解說，以利教學與理解。所以，第一次上課除了簡短的基本介紹之外，將直接處理第二章。

1. 語句邏輯的形式語言和自然語言的形式化

2. 真值表法

3. 語句邏輯的自然演繹法

4. 述詞邏輯的形式語言和自然語言的形式化

5. 述詞邏輯的解釋法

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

7. 等同關係(或也包含確定描述詞)

六、成績考核

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