課程資訊
課程名稱
基本邏輯
Elementary Logic 
開課學期
106-1 
授課對象
文學院  哲學系  
授課教師
鄧敦民 
課號
Phl1008 
課程識別碼
104 10400 
班次
 
學分
3.0 
全/半年
半年 
必/選修
必帶 
上課時間
星期四7,8,9,10(14:20~18:20) 
上課地點
水源階梯201 
備註
本課程中文授課,使用英文教科書。
總人數上限:80人 
Ceiba 課程網頁
http://ceiba.ntu.edu.tw/1061Logic 
課程簡介影片
 
核心能力關聯
核心能力與課程規劃關聯圖
課程大綱
為確保您我的權利,請尊重智慧財產權及不得非法影印
課程概述

本課程將會簡介形式邏輯的基本概念,並使學生具備理解哲學文獻中會出現的形式邏輯符號與推論之基本能力。課程分成三個主要的部份:(1)介紹命題邏輯(PL)之語言、語意,以及推論系統;(2)介紹述詞邏輯(QL)之語言、語意,以及推論系統;(3)介紹其它基本邏輯概念,包含簡單的集合論(非公理化式的,包含集合的基本運算以及函數與關係),以及簡單的機率概念與運算。
在本課程中,配合形式邏輯的介紹,一些相關的邏輯哲學議題亦會加以討論,例如關於命題、邏輯連詞、指涉、確定描述詞之哲學討論。
 

課程目標
本課程目標在於使學生能
(1) 對於形式邏輯有基本的認識
(2) 學會如何把自然語言中的論証翻譯至適當的形式語言中,並驗證其有效性
(3) 具備使用形式系統來建構證明與邏輯推論之能力
(4) 具備理解哲學文獻中含有邏輯符號之論証的基本技能
(5) 對於簡單的機率計算有基本的概念
 
課程要求
本課程將部份採用翻轉教室方式進行。每週同學須於上課前看完長約15分鐘的介紹影片並完成預習習題,上課時會補充課程內容,並會在課堂上做習題練習以加強同學對課程的理解。 
預期每週課後學習時數
 
Office Hours
 
指定閱讀
Textbooks:
1. Bergmann, M., Moor, J. and Nelson, J., The Logic Book, 5th ed. McGraw-Hill, 2008.

2. Hacking, I., An Introduction to Probability and Inductive Logic. Cambridge: Cambridge University Press, 2001. 
參考書目
Readings:
1. Smith, P., An Introduction to Formal Logic, Cambridge: Cambridge University Press, 2003.
2. Hurley, P. J., A Concise Introduction to Logic, 11th ed. Boston: Wadsworth, 2012.
3. Barwise, J. and Etchemendy, J., Language, Proof and Logic, 2nd ed., CSLI, 2011.
4. Hodges, W., Logic: An Introduction to Elementary Logic, 2nd ed., Penguin, 2001.
5. Lemmon, E. J., Beginning Logic, 2nd ed., London: Chapman & Hall, 1997.
6. Sider, T., Logic for Philosophy, Oxford: Oxford University Press, 2010.
7. Van Dalen, D., Logic and structure, 5th ed. Springer, 2012.
8. Enderton, H., A Mathematical Introduction to Logic, Second edition, New York: Academic Press, 2001.
9. Halmos, P. R., Naive Set Theory, Springer, 1960.
10. Read, S., Thinking about Logic: An Introduction to the Philosophy of Logic, Oxford: Oxford University Press, 1994
 
評量方式
(僅供參考)
 
No.
項目
百分比
說明
1. 
作業 
25% 
共16次作業,取最高分之5次作業平均。 
2. 
期中考1 
25% 
 
3. 
期中考2 
25% 
 
4. 
期末考 
25% 
 
 
課程進度
週次
日期
單元主題
第1週
9/14  Basic Notions of Logic  
第2週
9/21  Sentential Logic: Symbolisation and Syntax  
第3週
9/28  Sentential Logic: Semantics 
第4週
10/05  Sentential Logic: Truth-Trees 
第5週
10/12  Sentential Logic: Derivations  
第6週
10/19  Midterm Exam (I) 
第7週
10/26  Sentential Logic: Meta-theory 
第8週
11/02  Inductive logic and Probability 
第9週
11/09  Probability Calculus and Bayesian Probability 
第10週
11/16  Predicate Logic: Symbolisation and Syntax (1)  
第11週
11/23  Predicate Logic: Symbolisation and Syntax (2)  
第12週
11/30  Midterm Exam (II) 
第13週
12/07  Predicate Logic: Semantics  
第14週
12/14  Predicate Logic: Truth-Trees 
第15週
12/21  Predicate Logic: Derivations (1) 
第16週
12/28  Predicate Logic: Derivations (2)  
第17週
1/04  Reviews and Q&A 
第18週
1/11  Final Exam