|
課程名稱 |
邏輯丙
LOGIC (C) |
|
開課學期 |
98-2 |
|
授課對象 |
|
|
授課教師 |
彭孟堯 |
|
課號 |
Phl1504 |
|
課程識別碼 |
104 121C0 |
|
班次 |
|
|
學分 |
2 |
|
全/半年 |
半年 |
|
必/選修 |
|
|
上課時間 |
星期二5,6(12:20~14:10) |
|
上課地點 |
普102 |
|
備註 |
A4:哲學與道德思考領域。
總人數上限：200人 |
|
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/982logicC |
|
課程簡介影片 |
|
|
核心能力關聯 |
本課程尚未建立核心能力關連 |
|
課程大綱
|
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
|
課程概述 |
邏輯乃是一門研究推論結構的形式科學，著眼於論證中前提與結論之間的形式關係，一方面以評判論證的正確與否（演繹論證的有效性），另一方面對於有效論證可藉由邏輯規則與證明方法，從前提形式推演出結論。本門課將介紹論證的基本概念、語法與語意、以及論證的檢驗與證明，以引導學習者進入當代邏輯，內容將包括命題邏輯與述詞邏輯兩大部份。 |
|
課程目標 |
介紹演繹邏輯，包括命題邏輯以及述詞邏輯兩大部分。 |
|
課程要求 |
(1)期中考：40%。
(2)期末考：40%。
(3)作業：20%。
請假及缺曠課悉依學校規定辦理。 |
|
預期每週課後學習時數 |
|
|
Office Hours |
備註： 2:00pm--3:00pm, 週三、週四 |
|
指定閱讀 |
彭孟堯(2009)，《基礎邏輯》。台北：學富文化。
Hausman, A., Kahane, H., & Tidman, P. (2010/2007), Logic and Philosophy: A Modern Introduction, 11th edition. Wadsworth.
Hurley, P. (2008), A Concise Introduction to Logic, 10th edition. Wadsworth. |
|
參考書目 |
彭孟堯(2009)，《基礎邏輯》。台北：學富文化。
Hausman, A., Kahane, H., & Tidman, P. (2010/2007), Logic and Philosophy: A Modern Introduction, 11th edition. Wadsworth.
Hurley, P. (2008), A Concise Introduction to Logic, 10th edition. Wadsworth. |
|
評量方式
(僅供參考) |
|
No. |
項目 |
百分比 |
說明 |
|
1. |
期中考 |
40% |
|
2. |
期末考 |
40% |
|
3. |
作業 |
20% |
|
|
|
週次 |
日期 |
單元主題 |
|
第1週 |
2/23 |
基本概念：語句與論證、演繹與歸納
（彭，chap. 1；HKT: chap. 1） |
|
第2週 |
3/02 |
命題邏輯：日常語言的符號化（一）
（彭，chap. 2, 3, 4；HKT: chap. 2） |
|
第3週 |
3/09 |
命題邏輯的語意和語法
（彭，chap. 2, 3, 4；HKT: chap. 3） |
|
第4週 |
3/16 |
論證有效性之檢定：真值表、歸謬真值表、樹枝法
（彭，chap. 5, 6；HKT: chap. 3, 6） |
|
第5週 |
3/23 |
論證有效性之檢定：真值表、歸謬真值表、樹枝法
（彭，chap. 5, 6；HKT: chap. 3, 6） |
|
第6週 |
3/30 |
命題邏輯的證明：自然演繹
（彭，chap. 7, 8；HKT: chap. 4, 5） |
|
第7週 |
4/06 |
命題邏輯的證明：自然演繹
（彭，chap. 7, 8；HKT: chap. 4, 5） |
|
第8週 |
4/13 |
命題邏輯的證明：自然演繹
（彭，chap. 7, 8；HKT: chap. 4, 5） |
|
第9週 |
4/20 |
期中考試 |
|
第10週 |
4/27 |
一元述詞邏輯：語法和語意
（彭，chap. 9；HKT: chap. 7） |
|
第11週 |
5/04 |
一元述詞邏輯：語法和語意
（彭，chap. 9；HKT: chap. 8） |
|
第12週 |
5/11 |
無效論證
（彭，chap. 10；HKT: chap. 8） |
|
第13週 |
5/18 |
述詞邏輯的證明（量限推論）
（彭，chap. 11；HKT: chap. 9） |
|
第14週 |
5/25 |
述詞邏輯的證明（量限推論）
（彭，chap. 11；HKT: chap. 9） |
|
第15週 |
6/01 |
多元述詞邏輯（關係邏輯）
（彭，chap. 12；HKT: chap. 10, 11） |
|
第16週 |
6/08 |
多元述詞邏輯（關係邏輯）
（彭，chap. 12；HKT: chap. 10, 11） |
|
第17週 |
6/15 |
等同、存在、確定描述詞
（彭，chap. 12；HKT: chap. 13） |
|